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
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.