Test generation from recursive tiles systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Test generation from recursive tiles systems


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
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-00743941 , version 1


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⟩
93 View
87 Download


Gmail Facebook Twitter LinkedIn More