Publication:
Empirical and theoretical evaluation of USE and OCLE tools

Thumbnail Image

Files

documento.pdf (914.78 KB)

Date

2021

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

INSTICC

Research Projects

Organizational Units

Journal Issue

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.

Keywords

UML, USE, OCLE, Controlled experiment, Class Diagram, Validation

Citation

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=

Collections

Publicaciones