Automate Compliance to any MISRA Version or Subset
The TBmisra module automates source code checking for compliance to MISRA guidelines during unit test, system test, and integration testing to ensure compliance throughout the software development life cycle. This module expedites your team’s path to higher quality software.
Identify Security Vulnerabilities & Meet CERT C and CWE Standards
The TBsecure module provides standards compliance checking against the Carnegie Mellon Software Engineering Institute (SEI) CERT C secure coding standard and the Common Weakness Enumeration (CWE) dictionary. TBsecure lets you easily see how your source code performs against security vulnerabilities, fault-detection, and adherence to required quality standards.
Meet Exacting Standards for High-Integrity Coverage Requirements
DO-178B/C, Def Stan 00-55 & IEC 61508
The TBsafe module incorporates an additional set of high-integrity analysis tools to help rigorously test code to exacting standards such as those required for DO-187B/C, Def Stan 00-55 and IEC 61508. TBsafe is particularly suited to gaining certification from outside bodies and regulatory authorities.
Eliminate Time & Resources Associated with Bottom-up Testing
TBeXtreme revolutionises unit testing by using the information gathered by LDRA Testbed to provide a totally automated solution for test vector generation.
The Only Way to Achieve Code Coverage at the Object Code Level
The TBobjectBox module is used for high-integrity environments such as DO178B/C Level A. TBobjectBox provides object code verification (OCV) capability, as described in DO-178B/C, and is the only direct way to relate code coverage at the source code level with that achieved at the object code level. The tool also provides the mechanism to extend the code coverage at the assembler level where necessary.
Development and Test Management
TBaudit offers development and test managers an automatically generated, user-configurable Microsoft Word report which contains the results of the review and testing activities carried out by the development, QA and testing teams using the LDRA tool suite. TBpublish is a prerequisite for TBaudit.
An optional module that examines exactly which variables were used during run-time execution of the application.
Monitor Code Changes and their Impact
The TBvision plug-in, TBevolve, enables project teams to monitor the impact of code changes on their testing process. As the source code changes TBevolve will compare a baseline copy of a system with new versions and will highlight changed source code lines and report on untested source code which affects the overall code coverage analysis.
TBpublish captures the analysis and test results from the LDRA tool suite and publishes the results, via an HTML index, into a self-contained directory for easy navigation and collaborative reference.
The Target Licence Package (TLP) provides the right to use and to receive support for the LDRA tool suite when it is used for target testing. A key capability for the LDRA tool suite is its ability to support the widest range of target platforms, from 8- and 16-bit microcontrollers all the way up through the latest 64-bit architectures enabled with real-time operating systems. Getting data off of the target for analysis purposes is critical, and LDRA has unique key enabling technologies to provide this level of target insight. The TLP lets you receive assistance from LDRA in configuring the LDRA tool suite to interface with a specified embedded tool chain.
Qualify Your Tools for DO-178B/C
Tool qualification is becoming increasingly important—or required—in safety- and security-critical markets, especially in areas such as avionics and other industries that have adopted all or partial requirements of DO-178B/C. To meet these standards, qualification of a verification (test) tool is needed when the test processes are eliminated, reduced, or automated by the use of a software tool without its output being verified as specified in DO-178B/C. The LDRA Tool Qualification Support Pack (TQSP) supports your process of qualifying the LDRA tool suite for use as a verification tool in your project environment. LDRA provides Tool Qualification Support Packages for both its Programming Standards Checking Tool as well as its Structural Coverage Analysis Tool.