Publication:
Empirical and theoretical evaluation of USE and OCLE tools

Simple item page
dc.contributor.authorGranda Juca, María Fernanda
dc.contributor.authorParra González, Luis Otto
dc.contributor.authorVera Mejía, Carlos Darwin
dc.contributor.ponenteGranda Juca, María Fernanda
dc.date.accessioned2021-11-05T15:15:52Z
dc.date.available2021-11-05T15:15:52Z
dc.date.issued2021
dc.descriptionValidar 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.
dc.description.abstractValidating 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.
dc.description.cityLisboa
dc.identifier.doi10.5220/0000145500002861
dc.identifier.isbn0769528953, 978-076952895-3
dc.identifier.issn0000-0000
dc.identifier.urihttp://dspace.ucuenca.edu.ec/handle/123456789/37281
dc.identifier.urihttps://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=
dc.language.isoes_ES
dc.publisherINSTICC
dc.sourceMODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development
dc.subjectUML
dc.subjectUSE
dc.subjectOCLE
dc.subjectControlled experiment
dc.subjectClass Diagram
dc.subjectValidation
dc.titleEmpirical and theoretical evaluation of USE and OCLE tools
dc.typeARTÍCULO DE CONFERENCIA
dc.ucuenca.afiliacionVera, C., Universidad de Cuenca, Departamento de Ciencias de la Computación, Cuenca, Ecuador
dc.ucuenca.afiliacionGranda, M., Universidad de Cuenca, Departamento de Ciencias de la Computación, Cuenca, Ecuador
dc.ucuenca.afiliacionParra, L., Universidad de Cuenca, Departamento de Ciencias de la Computación, Cuenca, Ecuador
dc.ucuenca.areaconocimientofrascatiamplio2. Ingeniería y Tecnología
dc.ucuenca.areaconocimientofrascatidetallado2.2.4 Ingeniería de La Comunicación y de Sistemas
dc.ucuenca.areaconocimientofrascatiespecifico2.2 Ingenierias Eléctrica, Electrónica e Información
dc.ucuenca.areaconocimientounescoamplio06 - Información y Comunicación (TIC)
dc.ucuenca.areaconocimientounescodetallado0613 - Software y Desarrollo y Análisis de Aplicativos
dc.ucuenca.areaconocimientounescoespecifico061 - Información y Comunicación (TIC)
dc.ucuenca.comiteorganizadorconferenciaSlimane Hammoudi, Luis Ferreira Pires y Bülent Adak
dc.ucuenca.conferencia9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021)
dc.ucuenca.correspondenciaGranda Juca, María Fernanda, fernanda.granda@ucuenca.edu.ec
dc.ucuenca.fechafinconferencia2021-02-10
dc.ucuenca.fechainicioconferencia2021-02-08
dc.ucuenca.idautor0702952441
dc.ucuenca.idautor0102214749
dc.ucuenca.idautor1400896435
dc.ucuenca.indicebibliograficoSCOPUS
dc.ucuenca.numerocitaciones0
dc.ucuenca.organizadorconferenciaINSTICC
dc.ucuenca.paisPORTUGAL
dc.ucuenca.urifuentehttps://www.scitepress.org/ProceedingsDetails.aspx?ID=ETEqn5Cq5J0=&t=1
dc.ucuenca.versionVersión publicada
dc.ucuenca.volumenVolumen 0, número 0
dspace.entity.typePublication
relation.isAuthorOfPublication2d2e9d9b-a64f-461b-9731-eefbfcf6c358
relation.isAuthorOfPublication.latestForDiscovery2d2e9d9b-a64f-461b-9731-eefbfcf6c358

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
documento.pdf
Size:
914.78 KB
Format:
Adobe Portable Document Format
Description:
document
Download

Collections

Publicaciones