A tool for domain-independent model mutation
* Wodel is an Eclipse plugin to develop and analyse domain-independent mutation operators.
* It provides a domain-specific textual language with high-level mutation primitives, and an automatic seed model generator.
* It computes static and dynamic metrics of mutation programs to obtain meta-model coverage and detailed execution traces.
* It can be extended for specific applications (like testing) by means of extension points.
Mutation is a systematic technique to create variants of a seed artefact by means of mutation operators. It has many applications in computer science, like software testing, automatic exercise generation and design space exploration. Typically, mutation frameworks are developed ad-hoc by implementing mutation operators and their application strategies from scratch, using general-purpose programming languages. However, this is costly and error-prone.
To improve this situation, we propose Wodel: a domain-specific language and tool for model-based mutation that is independent of the domain meta-model. Wodelenables the rapid development and application of model mutations. It provides built-in advanced functionalities like automatic generation of seed models, and static and dynamic metrics of operator coverage and applicability. It offers extension points, e.g., to post-process mutants and describe domain-specific equivalence criteria. As an example, we illustrate the usage of Wodel for the mutation of security policies, and present an empirical evaluation of its expressiveness.
Full-text is now available with 50 days of free access at: https://authors.elsevier.com/a/1X0rPc7X4rEHb
Artículos de Pablo Gómez Abajo
Ver blogEl pasado día 14 de julio realicé la defensa de mi tesis doctoral 'Un lenguaje de dominio específico ...
I copy here the definition of schizoaffective disorder from the English Wikipedia: · "Schizoaffectiv ...
Our work 'A Tool for Domain-Independent Model Mutation' is now available online. Thanks to my superv ...
Puede que te interesen estos puestos de trabajo
-
Reparación de una cinta de correr pro-for 575i
hace 4 días
Cronoshare Terrassa (Barcelona), EspañaNecesito un servicio de Servicio técnico con las siguientes características:Tipo de servicio que se necesita · Reparación · Problema(s) detectado(s) en la máquina · Fallo electrónico · Marca y modelo · Pro-For 575i · Nivel de urgencia del servicio · Soy flexible · Horario de pref ...
-
Modelo de ecografía
hace 1 semana
SIGLO XXI AZAFATAS A Coruña, España De jornada completaBuenos días, seleccionamos azafatas/os en A Coruña: · Fecha: 16 de abril de 2024 · Lugar: Hotel Herperia A Coruña Centro. Rúa Juan Flórez, 16, 15004 A Coruña · Horario: 13:00h a 14:00h y de 15:00h a 17:00h · Salario: 36€ brutos · Funciones: Modelo de ecografía · Uniforme: r ...
-
Modelo de recogidos pago
hace 5 horas
BARCELONA HOSTESS León, España Sin especificarnecesitamos modelos de recogido para leon dia martes 21 de mayo de 8:30 a h solo chicas con pelo largo a ser posible con mechas pelo de una solapieza sin flequillo y no escalados. interesadas apuntaros para mas eventos Experiencia: Se requiere Idiomas: Español – Básico Jornada: C ...
Comentarios