Towards quality of model-based testing in the ioco framework
conference paper
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. © 2013 ACM.
TNO Identifier
477641
DOI
https://dx.doi.org/10.1145/2489280.2489293
ISBN
9781450321617
Source title
1st International Workshop on Joining AcadeMiA and Industry Contributions to Testing Automation, JAMAICA 2013, 15 July 2013 through 15 July 2013, Lugano
Pages
41-46
Files
To receive the publication files, please send an e-mail request to TNO Repository.