Paper Info
Title
Towards optimization of the coverage testing of interactive systems
Abstract
This work introduces a model-based approach for minimization of test costs for interactive systems. Results known from state-based conformance testing and graph theory are used and extended to construct algorithms for test case generation and selection to cover the behavioral model of the system under test (SUT). The test case selection on the basis of the established model is ruled by an adequacy criterion, which provides a measure of how effective a given set of test cases is in terms of its potential to reveal faults. The approach is specification-oriented; i.e., the underlying model represents the system behavior interacting with the user's actions, that are viewed here as events.
Year
DOI
Venue
2004
10.1109/CMPSAC.2004.1342657
Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International
Keywords
Field
DocType
conformance testing,formal specification,graph theory,interactive systems,program testing,interactive system,model-based approach,state-based conformance testing,system coverage testing,system under test,test case selection,test cost minimisation
Test suite,System under test,Systems engineering,Test Management Approach,Computer science,Manual testing,Test script,White-box testing,Model-based testing,Test case
Conference
Volume
ISSN
ISBN
2
0730-3157
0-7695-2209-2
Citations 
PageRank 
References 
0
0.34
5
Authors
2
Name
Order
Citations
PageRank
Fevzi Belli14210.02
Christof J. Budnik29915.38