Skip to Main content Skip to Navigation
Journal articles

Test Generation from Recursive Tile Systems

Sébastien Chédor 1 Thierry Jéron 1 Christophe Morvan 1, 2 
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : This paper explores the generation of conformance test cases for Recursive Tile Systems (RTSs) in the framework of the classical ioco testing theory. The RTS model allows the description of reactive systems with recursion, and is very similar to other models like Pushdown Automata, Hyperedge Replacement Grammars or Recursive State Machines. Test generation for this kind of infinite state labelled transition systems is seldom explored in the literature. The first part presents an off-line test generation algorithm for Weighted RTSs, a determinizable sub-class of RTSs, and the second one, an on-line test generation algorithm for the full RTS model. Both algorithms use test purposes to guide test selection through targeted behaviours. Additionally, essential properties relating verdicts produced by generated test cases with both the soundness with respect to the specification, and the precision with respect to a test purpose, are proved.
Document type :
Journal articles
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01091672
Contributor : Christophe Morvan Connect in order to contact the contributor
Submitted on : Wednesday, December 10, 2014 - 6:43:51 PM
Last modification on : Thursday, January 20, 2022 - 5:29:29 PM
Long-term archiving on: : Wednesday, March 11, 2015 - 10:11:05 AM

File

chedor.pdf
Files produced by the author(s)

Identifiers

Citation

Sébastien Chédor, Thierry Jéron, Christophe Morvan. Test Generation from Recursive Tile Systems. Journal of : Software Testing, Verification and Reliability, Wiley, 2014, 24 (7), pp.532-557. ⟨10.1002/stvr.1525⟩. ⟨hal-01091672⟩

Share

Metrics

Record views

206

Files downloads

135