Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing - Testing Software and Systems Access content directly
Conference Papers Year : 2012

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.
Fichier principal
Vignette du fichier
978-3-642-34691-0_10_Chapter.pdf (418.13 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01482398 , version 1 (03-03-2017)

Licence

Attribution

Identifiers

Cite

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⟩
247 View
114 Download

Altmetric

Share

Gmail Facebook X LinkedIn More