| Summary: | La validación de modelos conceptuales es una actividad clave para asegurar la
calidad de software y ahorrar costos, especialmente cuando se adopta cualquier
tipo de metodología de Ingeniería de Software Dirigido por Modelos. En este
contexto, los lenguajes de modelado estándar, como el Lenguaje de Modelado
Unificado -UML, y las herramientas para apoyar las actividades de validación se
vuelven esenciales. El objetivo de este estudio es analizar qué tan buenas son
las herramientas de modelado para apoyar la tarea de validación basada en
pruebas. Nuestro objetivo es extraer las principales características de las
herramientas que soportan este tipo de validación, de manera que en este estudio
se comparen herramientas que ayuden a mejorar el proceso de detección
temprana de defectos en el modelado conceptual. Nuestro estudio emplea dos
enfoques de investigación: (1) el principal es una evaluación empírica que analiza
eficacia, eficiencia y satisfacción de usuario de dos herramientas seleccionadas
que permiten validar requisitos en modelos conceptuales UML y (2) un análisis
teórico que complementa el experimento anterior. El estudio se enfoca en el tipo
más frecuente de diagrama UML, el diagrama de clase y en dos herramientas
ampliamente utilizadas por la comunidad de modelado para realizar una
validación basada en pruebas: USE y OCLE.
|
|---|