Test Coverage

The Test Coverage Analyzer Testwell CTC++ can do measurements for all kinds of test coverage criteria requested for "critical software development" in order to get certifications, such as DO-178B of the Federal Aviation Administration (FAA).

Here some further details on the coverage levels:

Function coverage	obtained by examining which functions in the souce code have actually been called. In function coverage CTC++ measures how many times the function has been entered and how many times its closing brace has been reached. This is a quite weak test coverage measure but gives anyway a rough estimate for the thoroughness of the testing
Decision coverage	obtained by examining whether the decisions (the conditions in the if-statements and loops) in the code evaluated both to "true" and "false". It measures that each function has been entered at least once, each branch in a switch statement has been taken, each explicit control transfer (goto, break, continue, return, throw) has been taken and that each exception handler has been visited. In essence this means that the decision coverage measured by CTC++ includes also what is traditionally called statement coverage
Condition (Branch) coverage	obtained by combining the decision coverage and examining whether the atomic conditions have been evaluated to "true" and "false" . Condition coverage is just like decision coverage, the more stringent requirement is that when a decision is composed of two or more atomic conditions, each of them are independently measured for "true" and "false" (gives better sensitivity of the control flow)
Multicondition coverage (Multiple Condition Coverage)	like condition coverage, the more stringend requirement is just that when a decision is composed of two or more atomic conditions , each possible combination for their evaluation is measured independently
Modified Condition/Decision coverage (MC/DC or MCDC)	conforms to the international technical standard DO-178B, which specifies the criteria for software certification for mission-critical equipment and systems within the aviation industry

last updated: 17.03.2007

© 2003-2007 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
all other trademarks of this site are the property of their respective owners.

Code Coverage

Test Coverage