Control strategies for off‑line testing of timed systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Formal Methods in System Design Year : 2022

Control strategies for off‑line testing of timed systems

Abstract

Partial observability and controllability are two well-known issues in test-case synthesis for reactive systems. We address the problem of partial control in the synthesis of test cases from timed-automata specifications. We extend a previous approach to this problem from the untimed to the timed setting. This extension requires a deep reworking of the models, game interpretation and test-synthesis algorithms. We exhibit strategies of a game that try to minimize both cooperations of the system and distance to the satisfaction of a test purpose or to the next cooperation, and prove they are winning under some fairness assumptions. This entails that when turning those strategies into test cases, we get properties such as soundness and exhaustiveness of the test synthesis method. We finally propose a symbolic algorithm to compute those strategies.
Fichier principal
Vignette du fichier
FMSD_notre_version.pdf (607.57 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03932770 , version 1 (10-01-2023)

Licence

Copyright

Identifiers

Cite

Léo Henry, Thierry Jéron, Nicolas Markey. Control strategies for off‑line testing of timed systems. Formal Methods in System Design, 2022, pp.48. ⟨10.1007/s10703-022-00403-w⟩. ⟨hal-03932770⟩
30 View
36 Download

Altmetric

Share

Gmail Facebook X LinkedIn More