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

https://hal.inria.fr/hal-00743941
Contributor : Christophe Morvan <>
Submitted on : Monday, October 22, 2012 - 10:29:16 AM
Last modification on : Thursday, March 5, 2020 - 4:54:49 PM
Long-term archiving on: : Saturday, December 17, 2016 - 2:41:09 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00743941, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

246

Files downloads

218