LDRA

Since 1975, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security- and business-critical markets. Working with clients to achieve early error identification and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA has headquarters in the United Kingdom, United States, Germany, and India coupled with an extensive distributor network.

LDRA has spent 50 years supporting critical software developers by

• providing certified software quality tools and expertise
• reducing critical software development costs and schedule risk
• automating software quality analysis, verification, requirements traceability, and standards compliance

3. Structural Coverage Analysis with TBsafe

The TBsafe module incorporates high-integrity analysis tools to rigorously test code as required to comply with the highest assurance levels of functional safety standards.

The core capability provided by TBsafe is Modified Condition Decision Coverage (MC/DC) analysis, a requirement of many safety standards including DO-178C, ISO 26262, IEC 61508 and others. Using TBsafe ensures your software will be safer and of higher quality and reduces effort and risk in gaining certification from regulatory authorities.

4. Automated Unit (low-level), integration, and system test with TBextreme

The automated test case generation provided by TBextreme and TBextremePLUS offers numerous advantages. Automation produces comprehensive test patterns that ensure extensive code coverage, identifying more potential issues, reducing the time and cost associated with manual test case creation, and accelerating the testing process. As a result, it frees up human resources to concentrate on more complex testing tasks and analysis, minimizes the potential for human error, and delivers consistent, repeatable test results for routine test work.

5. Requirements Traceability with TBmanager

• Integrates with tools such as IBM DOORS, Siemens Polarion Requirements, Microsoft Word and Excel, Atlassian JIRA and Codebeamer

6. Execution Time Analysis including Worst-Case Execution Time (WCET) in critical embedded systems

Whether on the factory floor, in a medical device, or in an aircraft, real-time critical embedded systems demand quick decision-making processes. They deploy closed-loop control, allowing only a tight time window to gather data, process that data, and update the system. The challenge for developers is that proving that execution times never exceed their allotted window is always a challenge, and even more difficult when using multicore processors.

LDRA offer product bundles in the form of “Productivity Packages” which are tailored for industry standards compliance. Data sheets can be found here on the LDRA website.