Test Cost Reduction for Interactive Systems.
Fevzi Belli, Christof J. Budnik · Sicherheit · 2005
A model-based approach for minimization of test sets for human-com- puter interactions is introduced. Test cases are efficiently generated and selected to cover the behavioral model of the system under test (SUT) and its fault model that is constructed by complementing the original model. Results known from state- based conformance testing and graph theory are used and extended to construct al- gorithms for minimizing the test sets, considering structural features of the SUT.