Empirical and theoretical evaluation of USE and OCLE tools

Parra Gonzalez, Luis Otto; Vera Mejia, Carlos Darwin; Granda Juca, María Fernanda

Please use this identifier to cite or link to this item: http://dspace.ucuenca.edu.ec/handle/123456789/37281

Title:	Empirical and theoretical evaluation of USE and OCLE tools
Authors:	Parra Gonzalez, Luis Otto Vera Mejia, Carlos Darwin Granda Juca, María Fernanda
metadata.dc.ucuenca.correspondencia:	Granda Juca, María Fernanda, fernanda.granda@ucuenca.edu.ec
Keywords:	Controlled experiment Validation USE UML OCLE Class Diagram
metadata.dc.ucuenca.areaconocimientofrascatiamplio:	2. Ingeniería y Tecnología
metadata.dc.ucuenca.areaconocimientofrascatidetallado:	2.2.4 Ingeniería de La Comunicación y de Sistemas
metadata.dc.ucuenca.areaconocimientofrascatiespecifico:	2.2 Ingenierias Eléctrica, Electrónica e Información
metadata.dc.ucuenca.areaconocimientounescoamplio:	06 - Información y Comunicación (TIC)
metadata.dc.ucuenca.areaconocimientounescodetallado:	0613 - Software y Desarrollo y Análisis de Aplicativos
metadata.dc.ucuenca.areaconocimientounescoespecifico:	061 - Información y Comunicación (TIC)
Issue Date:	2021
metadata.dc.ucuenca.volumen:	Volumen 0, número 0
metadata.dc.source:	MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development
metadata.dc.identifier.doi:	10.5220/0000145500002861
Publisher:	INSTICC
metadata.dc.description.city:	Lisboa
metadata.dc.type:	ARTÍCULO DE CONFERENCIA
Abstract:	Validating the conceptual model (CM) is a key activity in ensuring software quality and saving costs, especially when adopting any type of Model-driven Software Engineering methodology, in which standard modelling languages such as UML and tools support for validation become essential. This paper analyses and evaluates the main characteristics of the tools to support test-based validation in CMs. For this, two research approaches were used: (1) an empirical evaluation to compare the effectiveness and fault detection efficiency in a CM and analyses the level of ease of use of two tools used to validate requirements in UML conceptual models, and (2) a complementary theoretical analysis. The study focuses on the class diagram, the most common type of UML diagram, and two tools widely used by the modelling community for test-based validation: USE and OCLE. Theoretical and empirical comparisons were carried out with the aim of selecting an appropriate tool to validate UML-based CMs with OCLE achieving a better score.
Description:	Validar el modelo conceptual (CM) es una actividad clave para garantizar la calidad del software y ahorrar costos, especialmente al adoptar cualquier tipo de metodología de Ingeniería de Software basada en modelos, en la que los lenguajes de modelado estándar como UML y el soporte de herramientas para la validación se vuelven esenciales. Este artículo analiza y evalúa las principales características de las herramientas para apoyar la validación basada en pruebas en CM. Para ello, se utilizaron dos enfoques de investigación: (1) una evaluación empírica para comparar la efectividad y la eficiencia de detección de fallas en un CM y analiza el nivel de facilidad de uso de dos herramientas utilizadas para validar requisitos en modelos conceptuales UML, y (2) un análisis teórico complementario. El estudio se centra en el diagrama de clases, el tipo más común de diagrama UML, y dos herramientas ampliamente utilizadas por la comunidad de modelos para la validación basada en pruebas: USE y OCLE. Se realizaron comparaciones teóricas y empíricas con el objetivo de seleccionar una herramienta adecuada para validar MC basados en UML con OCLE logrando una mejor puntuación.
URI:	http://dspace.ucuenca.edu.ec/handle/123456789/37281 https://www.scopus.com/record/display.uri?eid=2-s2.0-85103025237&origin=resultslist&sort=plf-f&src=s&sid=825f5ab1e2167a19b5ab479d33912d30&sot=b&sdt=b&sl=73&s=TITLE-ABS-KEY%28Empirical+and+Theoretical+Evaluation+of+USE+and+OCLE+Tools%29&relpos=0&citeCnt=0&searchTerm=
metadata.dc.ucuenca.urifuente:	https://www.scitepress.org/ProceedingsDetails.aspx?ID=ETEqn5Cq5J0=&t=1
ISBN:	0769528953, 978-076952895-3
ISSN:	0000-0000
Appears in Collections:	Artículos

Files in This Item:

File	Description	Size	Format
documento.pdf	document	914.78 kB	Adobe PDF	View/Open

This item is protected by original copyright

Show full item record

Centro de Documentacion Regional "Juan Bautista Vázquez"

Biblioteca Campus Central		Biblioteca Campus Salud		Biblioteca Campus Yanuncay
Av. 12 de Abril y Calle Agustín Cueva, Telf: 4051000 Ext. 1311, 1312, 1313, 1314. Horario de atención: Lunes-Viernes: 07H00-21H00. Sábados: 08H00-12H00		Av. El Paraíso 3-52, detrás del Hospital Regional "Vicente Corral Moscoso", Telf: 4051000 Ext. 3144. Horario de atención: Lunes-Viernes: 07H00-19H00		Av. 12 de Octubre y Diego de Tapia, antiguo Colegio Orientalista, Telf: 4051000 Ext. 3535 2810706 Ext. 116. Horario de atención: Lunes-Viernes: 07H30-19H00