Synopsys, Inc.
TEST CASE SELECTION AND ORDERING WITH COVERT MINIMUM SET COVER FOR FUNCTIONAL QUALIFICATION

Abstract:

Techniques and systems for test case selection and ordering with covert minimum set cover for functional qualification are described. Some embodiments can determine a first set of test cases by, iteratively, identifying a set of faults that is covered by a smallest set of test cases, determining whether or not a test case that covers a fault is able to detect the fault, and selecting and adding a test case to the first set of test cases. Next, the embodiments can execute a minimum set cover process on the first set of test cases by using coverage scores for test cases in the first set of test cases for ranking.