Detalle del congreso

Autores: González, Ariel; Cristiá, Maximiliano; Luna, Carlos.

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.

Tipo de reunión: Conferencia.

Tipo de trabajo: Artículo Completo.

Producción: Mutants for Metric Temporal Logic Formulas.

Reunión científica: XXII Iberoamerican Conference on Software Engineering (CIbSE 2019).

Lugar: La Habana.

Publicado: Sí

Lugar publicación: La Habana

Mes de reunión: 9