Towards minimization of test sets for coverage testing of interactive systems
ISSN der Zeitschrift
Software Engineering 2005
Regular Research Papers
Gesellschaft für Informatik e.V.
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and, complementarily, the fault model of the system under test (SUT). Structural features of the SUT are exploited in order to decrease the complexity of the introduced algorithms. The approach is extended to UML statecharts to increase its applicability.