MINIMUM NUMBER OF TEST PATHS FOR PRIME PATH COVERAGE

摘要

A system generates a test path set in a very efficient manner. The test path set may be tailored to test a target physical system, such as a complex set of source code, a manufacturing line of multiple process nodes, or other physical system. The system may generate the test path set to meet certain goals in testing the target physical system, for example comprehensive testing of system pa ths, system nodes, or particular subsets. As one example, the system may efficiently generate a test path set that uses the minimum numbe r of test paths to test a coverage goal, for example traversing each of the prime paths in the target physical system.