Article Dans Une Revue Studia Informatica Universalis Année : 2004

From the feasibility analysis to real-time test generation

Résumé

Testing real-time systems is an important and not obvious step in the validation process of critical systems. This paper proposes an efficient o((n*k)^2) algorithm for solving the feasibility problem corresponding to a path of length n in a timed automaton, with k clocks. The given solution, combined with synchronous product, allows in particular, generating both the fastest and the slowest timed test cases for a given test purpose.

Fichier principal
Vignette du fichier
SUI04.pdf (295.55 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00408368 , version 1 (30-07-2009)

Licence

Identifiants

  • HAL Id : hal-00408368 , version 1

Citer

Ismail Berrada, Richard Castanet, Patrick Felix. From the feasibility analysis to real-time test generation. Studia Informatica Universalis, 2004, 3 (2), pp.141-168. ⟨hal-00408368⟩
214 Consultations
367 Téléchargements

Partager

  • More