Generating self-checking test cases from a reduced case analysis graph using path constraints

摘要

A method, system and apparatus for constructing a comprehensive test plan for a design under test (DUT) using a case analysis graph is provided. Embodiments of the present invention provide for automatically generating test cases of the test plan from the case analysis graph by traversing paths through the case analysis graph to select a sequence of components to be exercised by a DUT. Selection of the components is constrained by one or more rules. The rules, in aspects of the invention, provide for selection of specified components to be included in the sequence of components.