摘要 |
A generator generates tests to improve functional coverage. A functional coverage of a first set of tests is examined in respect to a functional coverage model. The functional coverage model is transformed to a combinatorial model. The coverage measurements are used to refine the combinatorial model. The combinatorial model is utilized to generate a second set of tests that have a different functional coverage than the first set of tests. The second set of tests is utilized to examine quality of a tested system.
|