TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation

Lina Marsso 1 Radu Mateescu 1 Wendelin Serwe 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We present TESTOR, a tool for on-the-fly conformance test case generation, guided by test purposes. Concretely, given a formal specification of a system and a test purpose, TESTOR automatically generates test cases, which assess using black box testing techniques the conformance to the specification of a system under test. In this context, a test purpose describes the goal states to be reached by the test and enables one to indicate parts of the specification that should be ignored during the testing process. Compared to the existing tool TGV, TESTOR has a more modular architecture, based on generic graph transformation components , is capable of extracting a test case completely on the fly, and enables a more flexible expression of test purposes, taking advantage of the multiway rendezvous. TESTOR has been implemented on top of the CADP verification toolbox, evaluated on three published case-studies and more than 10000 examples taken from the non-regression test suites of CADP.
Document type :
Conference papers
TACAS 2018 - 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2018, Thessaloniki, Greece. Springer, 10806, pp.211-228, 2018, Lecture Notes in Computer Science. 〈10.1007/978-3-319-89963-3_13〉
Liste complète des métadonnées

Cited literature [42 references]  Display  Hide  Download

https://hal.inria.fr/hal-01777861
Contributor : Radu Mateescu <>
Submitted on : Wednesday, April 25, 2018 - 10:36:21 AM
Last modification on : Friday, April 27, 2018 - 1:18:37 AM

File

Marsso-Mateescu-Serwe-18.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Lina Marsso, Radu Mateescu, Wendelin Serwe. TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. TACAS 2018 - 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2018, Thessaloniki, Greece. Springer, 10806, pp.211-228, 2018, Lecture Notes in Computer Science. 〈10.1007/978-3-319-89963-3_13〉. 〈hal-01777861〉

Share

Metrics

Record views

164

Files downloads

26