Towards quality of model-based testing in the ioco framework

Authors:
Michele Volpato;Jan Tretmans
Affiliations:
Radboud Universiteit Nijmegen, Netherlands;Radboud Universiteit Nijmegen, Netherlands / TNO, Netherlands
Venue:
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Year:
2013

Citing 9
Cited 0

STG: A Symbolic Test Generation Tool

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Protocol-Inspired Hardware Testing

Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Alternating Refinement Relations

CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Test Selection, Trace Distance and Heuristics

TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Heuristics for ioco-based test-based modelling

FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Model-based testing of environmental conformance of components

FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Testing real-time systems using UPPAAL

Formal methods and testing
JTorX: a tool for on-line model-driven test derivation and execution

TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.