Un lenguaje de dominio específico para mutación de modelos
"Las técnicas de mutación de software se utilizan en campos diversos como las pruebas de mutación, la pruebas de programas, la prueba de fórmulas lógicas, los algoritmos genéticos y la generación automática de ejercicios. Las soluciones existentes suelen utilizar un enfoque a medida, construyendo desde cero una solución específica para el problema que pretenden abordar. Este enfoque conlleva un esfuerzo elevado de implementación para cada caso, es propenso a errores, supone un alto coste de mantenimiento, y tiene como resultado la creación de numerosas soluciones cada una de las cuáles sólo resuelve un problema en concreto.
Con el objetivo de proporcionar un enfoque genérico que ayude a superar estos inconvenientes, esta tesis presenta un lenguaje de dominio específico para mutación de modelos llamado Wodel, y su entorno de desarrollo. Wodel es independiente del dominio y puede utilizarse con cualquier lenguaje definido por medio de un meta-modelo. Incluye primitivas de mutación para creación, modificación, borrado, retipado y clonado de objetos, y para creación, modificación y borrado de referencias. Wodel proporciona facilidades de soporte al proceso de mutación, como la validación de los mutantes, un registro de las mutaciones aplicadas y la detección de mutantes equivalentes. También da soporte a la ingeniería de operadores de mutación mediante la generación de métricas de mutación y la síntesis automática de modelos semilla que aseguran la cobertura de todas las instrucciones de un programa Wodel, facilitando de este modo su prueba y validación.
Además, Wodel es extensible y permite aprovechar sus funcionalidades para la mutación de modelos en aplicaciones de post-procesado. Para ilustrar dicha extensibilidad, esta tesis presenta dos de estas extensiones a Wodel: una para la generación automática de ejercicios de auto-evaluación para estudiantes, a la que se ha llamado Wodel-edu; y otra para facilitar la creación de herramientas de pruebas de mutación para lenguajes de programación o de modelado, a la que se ha llamado Wodel-test."
Leer más »
Artículos de Pablo Gómez Abajo
Ver blogSoy de origen rural. Nací en Burgos. Mi padre es natural de un pueblecito muy pequeño de la provinci ...
* Wodel is an Eclipse plugin to develop and analyse domain-independent mutation operators. · * It pr ...
(with Esther Guerra, Juan de Lara and Mercedes G. Merayo) · Mutation testing (MT) targets the assess ...
Puede que te interesen estos puestos de trabajo
-
Modelo de peluqueria
Encontrado en: beBee S2 ES - hace 4 días
Kitsch modelos Sin especificar, España OTHERPara evento en memoria de LLONGUERAS estamos buscando una MODELO PARA CORTE Y COLOR dispuesta a hacerse este look. · Cabello claro, preferiblemente liso u ondulado, altura mínima 1,65cm . · El casting es online y el trabajo el 6 de marzo en horario de 15h a 21h . Pagamos 200€ · S ...
-
Modelos juveniles: fotografía
Encontrado en: beBee S2 ES - hace 1 día
Broadway management Sin especificar, España OTHERBuscamos las chicas más guapas y expresivas . Trabajo para televisión, fotografía, moda, eventos, presentación de programas, shows, espectáculos, desfiles de moda, imagen. Requerimos buena imagen, con o sin experiencia. · Somos una agencia de modelos en Madrid con muchos años de ...
-
Agencia de Modelos Necesita Chicas Chicos
Encontrado en: beBee S2 ES - hace 4 días
Broadway management Sin especificar, España TEMPORARYSomos una agencia de modelos en Madrid con muchos años de experiencia en el sector. · Cada día muchos aspirantes a modelo pasan por nuestras manos y les ayudamos y guiamos a través de este difícil camino que es la moda. · En nuestra Broadway Model, agencia de modelos, seleccion ...
Comentarios