Skip to Main content Skip to Navigation
New interface
Conference papers

Model-Based Test Selection for Infinite-State Reactive Systems

Abstract : This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of reactive systems. Efficient solutions to this problem have been proposed in the context of finite-state models, based on the ioco conformance testing theory. An extension of these is proposed in the context of infinite-state specifications, modelled as automata extended with variables. One considers the selection of test cases according to test purposes describing abstract scenarios that one wants to test. The selection of program test cases then consists in syntactical transformations of the specification model, using approximate analyses.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Mister Dart Connect in order to contact the contributor
Submitted on : Wednesday, February 9, 2011 - 2:18:12 PM
Last modification on : Tuesday, August 2, 2022 - 4:24:18 AM
Long-term archiving on: : Tuesday, November 6, 2012 - 1:45:33 PM


Files produced by the author(s)


  • HAL Id : inria-00564604, version 1


Bertrand Jeannet, Thierry Jéron, Vlad Rusu. Model-Based Test Selection for Infinite-State Reactive Systems. Formal Methods for Components and Objects, 2006, Amsterdam, Netherlands. ⟨inria-00564604⟩



Record views


Files downloads