Minimal Spanning Set for Coverage Testing of Interactive Systems

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 the complementary fault model of the system under test (SUT). Results known from state-based conformance testing and graph theory are used and extended to construct algorithms for minimizing the test sets, considering also structural features of the SUT.

• Type: Conference
• Year: 2004
• Where: ICTAC
• Authors: Fevzi Belli, Christof J. Budnik
• Keywords: Complementary Fault Model, ICTAC 2004, State-based Conformance Testing, Test Sets