LDRA tool suite LDRA tool suite is a proprietary software analysis tool providing
static code analysis, and also provides
code coverage analysis, code, quality, and design reviews. It is a commercial implementation of the software test-bed created by Hennell as part of his university research. It is used primarily where software is required to be reliable, rugged, and as error free as possible, such as in safety critical aerospace electronics (or
Avionics). It has also been used in the detection and removal of security vulnerabilities.
LDRA Testbed LDRA Testbed was a set of core
static and
dynamic analysis engines for both host and embedded software. LDRA Testbed is made by
Liverpool Data Research Associates (LDRA). LDRA Testbed provides the means to enforce compliance with coding standards such as
MISRA, JSF++ AV,
CERT C,
CWE and provides visibility of software flaws that might typically pass through the standard build and test process to become latent problems. In addition, test effectiveness feedback is provided through structural coverage analysis reporting facilities, which support the requirements of the
DO-178B standard up to and including Level A. LDRA Testbed automatically checks adherence to programming standards with static analysis. LDRA Testbed reports violations of the chosen set of standards in both textual reports and as annotations to graphical displays. It includes a dynamic coverage analysis module. LDRA Testbed has a software quality metrics breakdown (e.g.
Halstead complexity,
cyclomatic complexity, Knots metric) from static analysis. Some companies using LDRA products include
MathWorks, which has integrated its
Simulink tools, as well as IBM Rational Rose and
Wind River.
FAA/EASA verification In March 2012, LDRA announced a fully compliant
FAA/
EASA certification solution to provide support and guide certification applicants through a wide range of standards including: •
DO-178C(
B), DO-278A,
DO-254 •
IEC 62304 •
ISO 26262 • EN 50128 • IEC 60880 ==Formula One launch control controversy==