Control strategies for off‑line testing of timed systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Formal Methods in System Design Année : 2022

Control strategies for off‑line testing of timed systems

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

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⟩
28 Consultations
36 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More