Test generation from recursive tiles systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Test generation from recursive tiles systems

Résumé

In this paper we explore test generation for Recursive Tile Systems (RTS) in the framework of the classical ioco testing theory. The RTS model al- lows the description of reactive systems with recursion, and is very similar to other models like Pushdown Automata, Hyperedge Replacement Grammars or Recursive State Machines. We first present an off-line test generation algorithm for Weighted RTS, a determinizable sub-class of RTS, and second, an on-line test generation algorithm for the full RTS model. Both algorithms use test purposes to guide test selection through targeted behaviours.
Fichier principal
Vignette du fichier
main.pdf (350.62 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00743941 , version 1 (22-10-2012)

Identifiants

  • HAL Id : hal-00743941 , version 1

Citer

Sébastien Chédor, Thierry Jéron, Christophe Morvan. Test generation from recursive tiles systems. TAP - 6th International Conference on Tests & Proofs - 2012, May 2012, Prague, Czech Republic. pp.99-114. ⟨hal-00743941⟩
95 Consultations
88 Téléchargements

Partager

Gmail Facebook X LinkedIn More