For more than forty years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security- and business-critical markets. Boasting a worldwide presence, LDRA is headquartered in the UK with subsidiaries in the United States, India and an extensive distributor network. For more information on the LDRA tool suite, please visit www.ldra.com.
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.
Achieving Software Lifecycle Automation with the LDRA tool suite ®
LDRA have produced an integrated tool suite that can be utilised by an entire project team within the software development lifecycle, ranging from developers, QA managers, test engineers, project managers and maintenance/support engineers.
LDRA has developed its tool suite to assist with the 8 major tasks which need to be performed so that an organisation can achieve its software development and maintenance goals. For more information on the individual components that make up the LDRA tool suite ® (Requirements Traceability, Design, Code & Quality Review, Unit Testing, Target Testing, Test Verification and Test Manager) and describes how they can be utilised throughout the software development lifecycle.
The LDRA tool suite ®
At the heart of the LDRA tool suite is LDRA Testbed,providing the core static and dynamic analysis engines for the LDRA suite of tools. This technology analyses both host and embedded software in a rigorous and systematic manner. LDRA Testbed is the proven technology foundation for supporting all software development efforts requiring certification or formal regulatory approvals.
TBvision presents code standard violations and software flaws in the context of the original source code. The interactive environment, enabling the execution of both static and dynamic analysis on a user-defined scope, allows switching between reported violations, the original source code and any of the LDRA Testbed supported coding standards. In so doing TBvision clarifies why an issue is being reported and what remedial action is required. Software integrity can also be measured and reported in terms of quality, security, or simply the presence of defects (including dynamic memory errors). TBvision presents the identified software flaws from any of these perspectives and identifies the issues that need to be addressed to ensure that a software project meets its objectives.
TBrun provides a GUI-driven interface for creating unit and module test cases for either host or target-based software. Test harnesses are automatically generated and TBrun, also supports the creation of stubs for code that is outside the scope of the tests. Structural coverage analysis can also be included in the test harness, helping to ensure that the defined test cases execute 100% of the code under test. Formal test reports are produced and the generated test harnesses serve as a regression test environment for future development phases.
TBreq supports the tracing of requirements through the software development lifecycle. TBmanager adds a task-oriented interface providing a common user experience across all LDRA tool suite modules and across the development team. High-level requirements captured in standard office documents or third party solutions, such as DOORS, Visure Requirements or Requisite Pro can be traced through lower level documents to the code itself. The end result is a Requirements Traceability Matrix (RTM) that captures how each high level requirement was traced to the final software product, including the associated verification activities and results.
LDRAcover utilises LDRA Testbed technology to provide extensive test effectiveness feedback generated through structural coverage analysis reporting facilities. LDRAcover addresses the rigorous structural coverage objectives of standards such as DO-178B/C (Avionics) up to and including Level A.
LDRArules leverages LDRA Testbed to enforce compliance with industry or user-defined coding standards and provides clear visibility of software flaws that might typically pass through the build and test process to become latent problems. Most industry standard rule sets are supported off-the-shelf with additional compliance checks made available on an as needed basis.
LDRAunit extends LDRA Testbed in a standalone environment by supporting the generation of unit and module test cases for host or target-based software. In addition, users can ensure that the defined test cases execute 100% of the code under test through the application of structural coverage analysis. Formal test reports can be produced and the generated test harnesses serve as a regression test environment for future development phases.
TBmisra provides coding standards checking against MISRA C:2012, MISRA C:2004, MISRA C:1998, MISRA C++:2008, MISRA AC, JSF++ AV, High Integrity C++, DERA and IPA/SEC C.
The TBvision plug-in TBsecure provides secure code standards checking against the Carnegie Mellon Software Engineering Institute (SEI) CERT C secure coding standard and the Common Weakness Enumeration (CWE) dictionary.
TBsafe incorporates an additional set of high-integrity analysis tools to help rigorously test code to exacting standards such as those required for DO-178B/C, Def Stan 00-55 and IEC 61508. Features include Information Flow Analysis, Dynamic Data Flow Coverage, Modified Condition/Decision Coverage (MC/DC) for DO-178B/C Level A and Exact Semantic Analysis.
TBeXtreme revolutionises unit testing by using the information gathered by LDRA Testbed to provide a totally automated solution for test vector generation. TBeXtreme eliminates the traditional time and resource problems associated with bottom-up testing.
TBobjectBox provides an Object Code Verification (OCV) capability, as described in DO-178B/C, offering 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, where necessary, the code coverage at the assembler level.
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.
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.
Target Licence Package (TLP)
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. The TLP allows the user to receive assistance from LDRA in configuring the LDRA tool suite to interface with a specified embedded tool chain.
Tool Qualification Support Pack (TQSP)
Tool qualification is becoming increasingly important if not a requirement in some safety- and security-critical markets. The TQSP supports clients through the process of qualifying the LDRA tool suite for use as a verification tool in their project environments.
LDRA Certification Services (LCS) a division of LDRA, offers the first comprehensive and fully compliant FAA/EASA certification solution. This offering is facilitated by a team of certification industry experts who are credentialed across all aviation disciplines. The LCS Team is also aligned with Development & Verification specialists who use the LDRA tool suite® and other complementary tools to accomplish the activities that get your products ready for certification! Read more and watch a demonstration: www.ldra.com/lcs
LDRA Compliance Management System (LCMS) The comprehensive compliance management solution for: Avionics (DO-178B/C, DO-278A & DO-254), Medical Devices (IEC 62304), Industrial Safety (IEC 61508), Automotive (ISO 26262), Rail Transportation (EN 50128) and Nuclear Power (IEC 60880). Read more: www.ldra.com/lcms
Portside, Monks Ferry
Wirral, CH41 5LH
Tel: +44 151 649 9300
Fax: +44 151 649 9666