 |
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.
Cited literature [15 references]
https://hal.inria.fr/hal-01482398
Contributor : Hal Ifip <>
Submitted on : Friday, March 3, 2017 - 3:17:10 PM
Last modification on : Monday, February 10, 2020 - 6:12:35 PM
Long-term archiving on: : Tuesday, June 6, 2017 - 12:45:37 PM
Contributor : Hal Ifip <>
Submitted on : Friday, March 3, 2017 - 3:17:10 PM
Last modification on : Monday, February 10, 2020 - 6:12:35 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