Call coverage
Code Coverage for Ada
When analyzing Ada source code, Code Coverage can provide coverage of function, procedure, or entry calls.
Code Coverage defines as many branches as it encounters function, procedure, or entry calls.
This type of coverage ensures that all the call interfaces can be shown to have been exercised for each Ada unit (procedure, function, or entry). This is sometimes a pass/fail criterion in the software integration test phase.
Related Topics
Selecting coverage types | Code Coverage settings