Contributo in atti di convegno, 2023, ENG, 10.1109/FormaliSE58978.2023.00014
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
Parametric timed games, Mutant equivalence, Model-based mutation testing
Ter Beek Maurice Henri, Basile Davide
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
CNR authors
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