Skip to Main content Skip to Navigation
Conference papers

Test generation from recursive tiles systems

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Christophe Morvan Connect in order to contact the contributor
Submitted on : Monday, October 22, 2012 - 10:29:16 AM
Last modification on : Friday, February 4, 2022 - 3:17:39 AM
Long-term archiving on: : Saturday, December 17, 2016 - 2:41:09 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads