Towards quality of model-based testing in the ioco framework

Since testing is an expensive process, automatic testing with smart test selection has been proposed as a way to reduce such expense. Such a selection of tests can be done using specification coverage functions. Model-based ioco theory, however, uses test suites which are not suitable for easy computation of coverage because of interdependence of their test cases. We define a new test suite that overcomes such problems. Using such a test suite we cast the test selection problem to a specification selection problem that aims at transforming the model to which a system under test must conform, in order to reduce the set of test cases. We give a canonical representation for the newly defined test suite.

[1]  Thomas A. Henzinger,et al.  Alternating Refinement Relations , 1998, CONCUR.

[2]  Jan Tretmans,et al.  TorX: Automated Model-Based Testing , 2003 .

[3]  Nicolae Goga,et al.  Test Selection, Trace Distance and Heuristics , 2002, TestCom.

[4]  Arend Rensink,et al.  Compositional Testing with ioco , 2003, FATES.

[5]  Thierry Jéron,et al.  TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .

[6]  Mariëlle Stoelinga,et al.  Model-Based Testing , 2011, Software and Systems Safety - Specification and Verification.

[7]  Arend Rensink,et al.  Action Refinement in Conformance Testing , 2005, TestCom.

[8]  Kim G. Larsen,et al.  Testing Real-Time Systems Using UPPAAL , 2008, Formal Methods and Testing.

[9]  Axel Belinfante,et al.  JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution , 2010, TACAS.

[10]  Stavros Tripakis,et al.  Conformance testing for real-time systems , 2004, SPIN.

[11]  Kenneth J. Turner,et al.  Protocol-Inspired Hardware Testing , 1999, IWTCS.

[12]  Alan Hartman,et al.  The AGEDIS tools for model based testing , 2004, ISSTA '04.

[13]  Jan Tretmans,et al.  Model-Based Testing and Some Steps towards Test-Based Modelling , 2011, SFM.

[14]  Tim A. C. Willemse.  Heuristics for ioco -Based Test-Based Modelling , 2006, FMICS/PDMC.

[15]  Duncan Clarke,et al.  STG: A Symbolic Test Generation Tool , 2002, TACAS.

[16]  G. Nicolael,et al.  Test selections and coverages , 2004, Canadian Conference on Electrical and Computer Engineering 2004 (IEEE Cat. No.04CH37513).

[17]  Jan Tretmans,et al.  Test Generation Based on Symbolic Specifications , 2004, FATES.

[18]  Jan Tretmans,et al.  Model-Based Testing of Environmental Conformance of Components , 2006, FMCO.