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 metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-01482398
Contributor : Hal Ifip <>
Submitted on : Friday, March 3, 2017 - 3:17:10 PM
Last modification on : Thursday, February 7, 2019 - 4:49:19 PM
Long-term archiving on : Tuesday, June 6, 2017 - 12:45:37 PM

File

978-3-642-34691-0_10_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Boutheina Bannour, Jose Escobedo, Christophe Gaston, Pascale 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⟩

Share

Metrics

Record views

355

Files downloads

131