Advertisement

LDRAcover verifies test coverage to meet stringent safety and security levels

September 18, 2012

Toni_McConnel-September 18, 2012

LDRAcover is a stand-alone code coverage tool that verifies the source code of an application has been fully structurally tested. Code coverage encompasses several levels of precision that ranges from simply showing whether a line of source code has been executed at least once by the set of test cases to the stringent requirements of modified condition/decision coverage (MC/DC), where a component is placed under exhaustive testing. MC/DC analysis is reserved for the most stringent levels of testing in DO-178B/C and ISO 26262, where failure of the software can result in loss of life.


Click on image to enlarge.

Code coverage results from within LDRAcover



Click on image to enlarge.

A coverage pass/fail callgraph from within LDRAcover

LDRAcover analysis provides multiple levels of coverage, allowing the developer to select for:
  • Statement—identifies missing test cases, dead code and lines of source code executed
  • Branch/decision—checks control-flow branches and loops
  • Procedure/Function Call—verifies that procedure/function calls and call returns executed
  • Branch Condition—checks that Boolean operands in a condition executed both TRUE and FALSE
  • Branch Condition Combination—checks that all unique combinations of Boolean condition operands executed both TRUE and FALSE
  • Modified Condition/Decision Coverage (MC/DC)—confirms that every point of entry and exit was invoked at least once, every condition in a decision has been taken on all possible outcomes at least once, and each condition has been shown to independently affect the overall decision outcome.

LDRAcover performs all levels of coverage analysis for the C, C++, Ada and Java languages. LDRAcover works on the host development platform as well as embedded target environments. Demonstrations of LDRAcover are available at DESIGN East in Boston on September 18 and 19 in Booth 415. Visitors to the booth can see how code coverage levels are selected for the various software components in an application and how the code is analyzed.

Loading comments...