摘要 |
A method for testing software under test (SUT), including selecting a type of coverage for testing the SUT, and receiving from a human operator a Boolean predicate to be used in evaluation of the SUT. In response to the type of coverage and the predicate, a test of the SUT is generated. The method also includes performing an execution of the test so as to identify elements of the SUT that belong to the selected type and that are exercised by the test. The method further includes automatically evaluating the predicate for each of the identified elements, and determining the elements exercised by the test for which the predicate evaluates to true to be covered elements of the SUT.
|