Repositorio de producción científica de la Universidad de Sevilla

Towards Systematic Mutations for and with ATL Model Transformations

Opened Access Towards Systematic Mutations for and with ATL Model Transformations

Citas

buscar en

Estadísticas
Icon
Exportar a
Autor: Troya Castilla, Javier
Bergmayr, Alexander
Burgueño, Loli
Wimmer, Manuel
Departamento: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Fecha: 2015
Publicado en: ICSTW 2015: IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (2015), p 1-10
ISBN/ISSN: 978-1-4799-1885-0
Tipo de documento: Ponencia
Resumen: Model transformation is a key technique to automate software engineering tasks, such as generating implementations of software systems from higher-level models. To enable this automation, transformation engines are used to synthesize various types of software artifacts from models, where the rules according to which these artifacts are generated are implemented by means of dedicated model transformation languages. Hence, the quality of the generated software artifacts depends on the quality of the transformation rules applied to generate them. Thus, there is the need for approaches to certify their behavior for a selected set of test models. As mutation analysis has proven useful as a practical testing approach, we propose a set of mutation operators for the ATLAS Transformation Language (ATL) derived by a comprehensive language-centric synthesis approach. We describe the rationale behind each of the mutation operators and propose an automated process to generate mutant...
[Ver más]
Cita: Troya Castilla, J., Bergmayr, A., Burgueño, L. y Wimmer, M. (2015). Towards Systematic Mutations for and with ATL Model Transformations. En ICSTW 2015: IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (1-10), Graz, Austria: IEEE Computer Society.
Tamaño: 420.4Kb
Formato: PDF

URI: https://hdl.handle.net/11441/73402

DOI: 10.1109/ICSTW.2015.7107455

Ver versión del editor

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones