Contributo in atti di convegno, 2023, ENG, 10.1109/FormaliSE58978.2023.00014

Mutant equivalence as monotonicity in parametric timed games

Basile D.; ter Beek M.H.; Göttmann H.; Lochau M.

CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy; TU Darmstadt, Darmstadt, Germany; University of Siegen, Siegen, Germany

The detection of faults in software systems can be enhanced effectively by model-based mutation testing. The efficiency of this technique is hindered when mutants are equivalent to the original system model, since this makes them useless. Recently, the application of model-based mutation testing to real-time systems modelled as timed games has been investigated, which has resulted in guidelines for statically avoiding equivalent mutants. In this paper, we recast this problem into the framework of parametric timed games. We then prove a correspondence between theoretical results for the detection of equivalent mutants in timed games and the property of monotonicity that is known to hold for a sub-class of parametric timed games called L/U parametric timed games. The presented results not only simplify the theory underlying the detection of equivalent mutants in timed games, but at the same time they improve the expressiveness of a known decidable fragment of parametric timed games for which monotonicity holds.

FormaliSE'23 - 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, pp. 55–65, Melbourne, Australia, 14-15/05/2023

Keywords

Parametric timed games, Mutant equivalence, Model-based mutation testing

CNR authors

Ter Beek Maurice Henri, Basile Davide

CNR institutes

ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"

ID: 481448

Year: 2023

Type: Contributo in atti di convegno

Creation: 2023-05-15 08:54:11.000

Last update: 2023-08-01 21:14:42.000

External IDs

CNR OAI-PMH: oai:it.cnr:prodotti:481448

DOI: 10.1109/FormaliSE58978.2023.00014

Scopus: 2-s2.0-85165215567

ISI Web of Science (WOS): 001021640100007