Skip to Main content Skip to Navigation
Conference papers

Automatic Test Generation for Data-Flow Reactive Systems with time constraints

Abstract : In this paper, we handle the problem of conformance testing for data-flow critical systems with time constraints. We present a formal model (Variable Driven Timed Automata) adapted for such systems inspired from timed automata using variables as inputs and outputs, and clocks. In this model, we consider urgency and the possibility to fire several transitions instantaneously. We present a conformance relation for this model and we propose a test generation method using a test purpose approach, based on a region graph transformation of the specification.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Friday, October 18, 2013 - 2:42:42 PM
Last modification on : Saturday, June 25, 2022 - 8:29:48 PM
Long-term archiving on: : Tuesday, January 3, 2017 - 5:15:17 PM


Publisher files allowed on an open archive


  • HAL Id : inria-00530584, version 1



Omer Landry Nguena Timo, Hervé Marchand, Antoine Rollet. Automatic Test Generation for Data-Flow Reactive Systems with time constraints. 22nd IFIP International Conference on Testing Software and Systems (Short Papers), Nov 2010, Natal, Brazil. pp.25-30. ⟨inria-00530584⟩



Record views


Files downloads