CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Mutants for Metric Temporal Logic Formulas
Autor/es:
GONZÁLEZ, ARIEL; LUNA, CARLOS; CRISTIÁ, MAXIMILIANO
Lugar:
La Habana
Reunión:
Conferencia; XXII Iberoamerican Conference on Software Engineering (CIbSE 2019); 2019
Resumen:
This paper presents a work that continues previous works by the authors. The work integrates DEVS, a formalism for modeling and simulation of discrete event systems, temporal logic, model-checking and mutation, model-based testing. Properties of a DEVS model are described in temporal logic and checked with a model-checker. Then, we propose some mutants for these temporal logic formulas. The model checker is used again to generate counter examples for the mutant formulas. These counter examples could be used as the basis for the test cases with which the implementation of the DEVS model is tested.
