Patent ID: 8386851

Claim:
A computerized system comprising: a functional coverage analyzer for analyzing, based on a functional coverage model, a functional coverage of an at least one executed test, wherein the functional coverage model defines at least: functional attributes and associated values, whereby the functional coverage model defines a coverage test-space; a combinatorial test generator for generating at least one additional test based on a pair-wise or more coverage goal, wherein the pair-wise or more coverage goal defines a number of combinations of values that are to be covered, wherein the number is greater than two, wherein said combinatorial test generator is configured to generate the at least one additional test so as to achieve functional coverage of a sub-portion of the coverage test-space defined by the pair-wise or more coverage goal, wherein at least a portion of the at least one additional test is designed to cover a functional aspect not covered in the functional coverage; a model adapter configured to adapt the functional coverage model to a combinatorial model, wherein the model adapter is configured to define a redundant test in the combinatorial model based on covered tests of the test-space according to the functional coverage, wherein a redundant test is a scenario that if tested, does not increase the number of executed tests; and whereby the coverage goal is achieved by generating a test in accordance with the combinatorial model comprising the redundant test, the test covering a first pair-wise or more combination of values covered by the functional coverage and a second pair-wise or more combination of values not covered by the functional coverage, wherein the first pair-wise or more combination of values is associated with the redundant test; and wherein said combinatorial test generator comprises a processor for generating and a computer-readable media for storing the at least one additional test.