LDRA Testbed

LDRA Testbed provides the core static and dynamic analysis engines for both host and embedded software. 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.

Liverpool Data Research Associates (LDRA) was founded in 1975 by Professor Michael Hennell to commercialize a software test-bed created to perform quality assessments on the mathematical libraries on which his Nuclear physics research at the University of Liverpool depended.

LDRA Testbed 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 was the first commercial product to include support for the Linear Code Sequence and Jump software analysis method, which resulted from the same 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 is a part of a tool suite from LDRA, and some of the capabilities of LDRA Testbed include the following.

Static Analysis initiates LDRA Testbed activity by undertaking lexical and syntactic analysis of the source code for a single file or a complete system.