Software engineering tool that verifies mission-critical code in avionics and defense applications introduced by LDRA
BOSTON, 20 Sept. 2012.Software design tools expert LDRA Technology Inc. in San Bruno, Calif., is introducing LDRAcover, a stand-alone code coverage tool that verifies the source code of an application has been structurally tested.
This software engineering tool can help companies that must meet stringent levels of code verification in applications such as avionics, defense, industrial controls, automotive, and medical devices. LDRA introduced the software testing tool this week at the Design East conference and trade show in Boston.
Many applications now contain hundreds of thousands of lines of code, and require tools that confirm all possible lines, decisions, and test paths have been executed during testing to ensure that an untested component will not be called inadvertently when the software is deployed, which could cause critical system failure or even loss of life, LDRA officials say.
LDRAcover contains several tools. 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 TRUE and FALSE; Branch Condition Combination checks that all unique combinations of Boolean condition operands executed TRUE and FALSE; and 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 affect the overall decision outcome independently.
LDRAcover can increase the quality of code and improves the overall testing process vital not only for immediate application debugging, but also in reducing failure rates, integration testing and maintenance costs once the application is in service, LDRA officials say.
LDRAcover performs coverage analysis for the C, C++, Ada, and Java languages. LDRAcover works on the host development platform as well as embedded target environments.
For more information contact LDRA online at www.ldra.com.
Follow Military & Aerospace Electronics and Avionics Intelligence news updates on Twitter
John Keller | Editor-in-Chief
John Keller is the Editor-in-Chief, Military & Aerospace Electronics Magazine--provides extensive coverage and analysis of enabling electronics and optoelectronic technologies in military, space and commercial aviation applications. John has been a member of the Military & Aerospace Electronics staff since 1989 and chief editor since 1995.