Skip to Main content Skip to Navigation
Conference papers

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

Abstract : Model-based conformance testing of reactive systems consists in taking benefit from the model for mechanizing both test data generation and verdicts computation. On-line test case generation allows one to apply adaptive on-the-fly analyzes to generate the next inputs to be sent and to decide if observed outputs meet intended behaviors. On the other hand, in off-line approaches, test suites are pre-computed from the model and stored under a format that can be later performed on test-beds. In this paper, we propose a two-passes off-line approach where: for the submission part, a test suite is a simple timed sequence of numerical input data and waiting delays, and then, the timed sequence of output data is post-processed on the model to deliver a verdict. As our models are Timed Output Input Symbolic Transition Systems, our off-line algorithms involve symbolic execution and constraint solving techniques.
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, March 3, 2017 - 3:17:10 PM
Last modification on : Friday, February 18, 2022 - 3:35:19 AM
Long-term archiving on: : Tuesday, June 6, 2017 - 12:45:37 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall. Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.119-135, ⟨10.1007/978-3-642-34691-0_10⟩. ⟨hal-01482398⟩



Record views


Files downloads