image
Ensure Project ROI
image
Manage your Objectives
image
Faster Unit Testing
image
Industry Standard Compliance

LDRA Software Technology

LDRA is a specialist technology company. For thirty five 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 and automotive sectors use our tools to test their applications to safety-critical standards.

LDRA Tool Suite Key Advantages

Automate Requirements Traceability

Automate Requirements TraceabilityControl project evolution through requirements, design, coding and test, ensuring test completeness by tracing requirements to code, personnel and test results using LDRA's requirements traceability capability including automatic requirements traceability matrix generation.

Streamline Unit Test

Streamline Unit TestMaximize test effectiveness by ensuring that as much code as possible is exercised while ensuring that boundary cases are covered by generating the widest possible range of test cases using LDRA's dynamic analysis and unit test case generation capabilities.

Pinpoint Coding Errors

Pinpoint Coding ErrorsEliminate errors from the outset by identifying defects that escape compilers and testing, while ensuring code readability, testability and maintainability with LDRA's static software analysis.

Feature Article

Feature ArticleBullet-proofing your Software Design. The article is the current cover article for Embedded Systems Design and is featured on embedded.com. It discusses how applying secure programming standards and methodology can reduce vulnerabilities in software.

Our Core Products

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.

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, infrastructure and medical.

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.

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.

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 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 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.

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.

Requirements Engineering for Embedded Software Development

The use of embedded software has ballooned as a cheap way to deliver added value features while reducing time-to-market.

Our Customers

Aerospace

Nuclear

Defense

Railway

Communications

Medical

Space

Automotive

Latest News

    Show All
  • 30th April 2012
    RTCA, the Federal Aviation Committee charged with overseeing aviation standards, will honor LDRA Cer...
  • 26th March 2012
    LDRA Certification Services brings expert medical auditors and customized verification tools for med...
  • 26th March 2012
    LDRA integrates IRQA requirements engineering tools to optimize test management, requirements tracea...

Events

17th May 2012
RTECC
Mahwah, NJ
22nd May 2012
Military, Defence & Aerospace Electronics Technical Conference & Exhibition 2012
Reading, UK
7th Jun 2012 - 8th Jun 2012
Medical Devices Summit West 2012
San Diego, CA

Contact Details

Email: info@ldra.com
Tel EMEA: + 44 (0) 151 649 9300
Tel USA: (650) 583 8880
Tel India: +91 80 4080 8707

Follow Us