User guide

20-43
Using OpenVera Assertions
• Had successes
• Had failures
Coverage is broken down by module and instance, showing the
number of attempts, failures, and successes for each assertion and
expression. Because if-then constructs register a success anytime
the if portion is false (and so the then portion is not checked), the
report also shows the number of real successes in which the whole
expression matched. This works with nested if statements too.
Functional coverage can also grade the effectiveness of tests,
producing a list of the minimum set of tests that meet the coverage
target. Tests can be graded on any of these metrics:
• Number of successful assertion attempts versus number of
assertions (metric = SN)
• Number of failed assertion attempts versus number of assertions
(metric = FN)
• Number of assertion attempts versus number of assertions
(metric = AN)
• Number of successful assertion attempts versus number of
assertion attempts (metric = SA)
• Number of failed assertion attempts versus number of assertion
attempts (metric = FA)
To generate a report, run the following command:
fcovReport [options]