Delivering Software Quality and Security through Test, Analysis & Requirements Traceability
LDRA is a specialist technology company. For forty years we have provided automated analysis and testing tools for software applications on which people's lives depend. Blue chip companies in the aerospace, defense, nuclear, medical and automotive sectors use our tools to test their applications to safety-critical standards.
Tool Suite Components
LDRA Testbed®
LDRA Testbed is a unique
quality control tool that provides powerful
source code testing and analysis facilities for the
validation and
verification of software applications. It is invaluable where computer software is required to be reliable, rugged and as error free as possible and its use brings substantial time, cost and efficiency savings.
It is a powerful and fully integrated tool suite, which enables advanced software analysis techniques to be applied at key stages of the development lifecycle.
TBmanager®
TBmanager is a task-based interface to the LDRA tool suite that creates a common user experience among the LDRA modules accommodating regression suites, test scripts and testing of applications developed using multiple programming languages.
TBvision®
Increasing visibility when checking
industry standards compliance, locating security vulnerabilities and for defect and fault detection using
TBvision®.
TBvision continues to advance
automated code analysis and testing tools for the highly complex security-and safety-critical markets common in industry sectors such as military and aerospace, automotive, communications, industrial and medical.
TBreq®
A key feature of
TBreq is its ability to capture
requirements (high-level, derived and low-level) from any management tool and source, while providing an intuitive interface for
traceability, test case generation and requirements verification.
All of these features combine to make TBreq the most effective solution for Requirements Coverage and Traceability on the market today.
TBrun®
The primary goal of unit testing is to take the smallest piece of testable software in the application, isolate it from the remainder of the code, and determine whether it behaves exactly as expected. With
TBrun Each unit is tested separately before integrating them into modules to test the interfaces between modules. Unit testing has proven its value in that a large percentage of defects are identified during its use.
TBsafe®
TBsafe provides developers, testers and managers of high integrity software with a set of analysis tools to test their code rigorously to exacting standards for example D0-178B, Def Stan 00-55 and IEC 61508. TBsafe is particularly suited to gaining certification from outside bodies.
TBevolve®
TBevolve is an additional module to LDRA Testbed that identifies and tracks significant source code changes and enables projects to accurately monitor the impact of these code changes on their testing process.
This is achieved by taking a baseline copy of the software system under test and then highlighting the impact of subsequent code changes so that any knock-on effects from the change can be tracked and tested with minimal effort.
TBsecure®
The
TBsecure plug-in to TBvision comes complete with the Carnegie Mellon Software Engineering Institute (SEI) CERT C secure coding standard. TBsecure identifies security vulnerabilities and enables implementation of the just released CERT C Secure Coding Standard version 1.0.
IRQA®
Requirements Engineering for Embedded Software Development with
IRQA The use of embedded software has ballooned as a cheap way to deliver added value features while reducing time-to-market.
LDRArules™
Increases Visibility for Software Standards Compliance and Security Vulnerabilities
LDRArules provides transparency into source code, enabling managers, teams and developers to better monitor standards compliance, memory management errors and security vulnerabilities.
LDRAcover™
LDRAcover is the LDRA Code Coverage Reporting Tool. It provides users with the ability to quickly and easily view code coverage results such as callgraphs, flowgraphs, and code coverage reports in an interactive easy-to-use interface with powerful filtering capabilities.