LDRA Additional Options

Discover more additional features and options of LDRA Tool Suite.

TBmanager®

TBmanager provides a flexible and user-friendly mechanism to automate traceability between standards objectives, requirements, design documents, source code, tests and associated artefacts within the project verification workflow. An automatically generated Requirements Traceability Matrix (RTM) relates each high level requirement to the completed software product and its development and verification artefacts. Impact analysis and regression testing facilities embraces the inevitability of requirements change, initiating the process of regression testing for all dependent source code. TBmanager leverages an appropriate TBmanager Integration Package (TIP) to support a wide variety of document and RTM solutions including Microsoft Office, DOORS, DOORS Next Generation, SILKROAD, Jama, Polarion, Intland, and Jira.

TBmisra®

TBmisra provides checking against MISRA C:2012 (3rd Edition, 1st Revision), MISRA C:2012, MISRA C:2004, MISRA C:1998, MISRA C++:2008, MISRA C:2012 Amendment 1, MISRA AC, AUTOSAR C++, JSF++ AV, High Integrity C++, DERA and IPA/SEC C.

TBsafe®

TBsafe incorporates additional high-integrity analysis tools for use with exacting standards including DO-178B/C, Def Stan 00-56 and IEC 61508. eatures include Information Flow Analysis, Modified Condition/Decision Coverage (MC/DC) for DO-178B/C Level A, and Exact Semantic Analysis.

TBsecure®

TBsecure provides checking against the SEI CERT C, SEI CERT C++, and SEI CERT J secure coding standards, and the Common Weakness Enumeration (CWE) dictionary.

TBextreme®

TBextreme revolutionizes unit testing. It addresses the time and resources challenges of traditional bottom-up testing, using information gathered by LDRA Testbed to automatically generate test case data.

TBextremePLUS®

In addition to TBextreme’s features for automated test case generation, TBextremePLUS adds Linear TBextreme Test Case creation, TBextreme Profile Analysis, TBextreme User Data Entry and TBextreme settings storage.

TBevolve®

TBevolve enables project teams to monitor the impact of code changes on their testing process. By comparing the current code base with a baseline copy, it highlights changes and reports on any untested source code impacting code coverage statistics.

TBpublish®

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.

TBexclude®

TBexclude offers a multi-tier coding violation exclusion capability enabling the suppression of rule violation reports at the project, team or individual user levels – perhaps in support of a MISRA deviation process.

TBjustify®

TBjustify facilitates the addition of a coverage justification run for Documentation purposes and optionally for Statement and/or Branch/Decision coverage where the execution of the code is outside the scope of the test.

TBobjectbox®

TBobjectbox provides an Object Code Verification (OCV) capability, meeting the objectives of the demands of DO-178B/C and offering the only direct way to relate source code coverage to object code coverage. The tool also provides a mechanism to extend assembler code coverage as necessary.

Target Licence Package (TLP)

The Target Licence Package (TLP) affords the right to use the LDRA tool suite for target testing using a specified tool chain, and provides for support in the LDRA tool suite’s configuration and use.

Dynamic Data Flow Coverage

Dynamic Data Flow Coverage is a powerful technique which contributes to the Data and Control Coupling Analysis objective. It analyses the control flow trace originating from the last execution run of the software application under test and uses this information to generate a report which details exactly which variables were utilised at run time.

TBwcet®

Worst-Case Execution Time (WCET) is the maximum allowable time a task can take to execute, ensuring the deterministic operation of software in a specific environment. Verifying WCET is required by CAST-32A & A(M)C 20-193, and is a stated objective in most functional safety standards including DO-178C, ISO 26262, IEC 61508, and EN 50128. The LDRA tool suite provides testing capabilities to measure WCET of software, creates visualizations of the measured WCET, and generates reports that serve as evidential artefacts.

TBhis®

TBhis adds HIS source code quality metrics to LDRA’s source code quality review. With TBhis, the LDRA Static Analysis tool will report code quality metrics as defined and recognised under the Herstellerinitiative Software (HIS) in a dedicated HIS Metrics Report.

LDRA Function Coverage & Call Coverage Reports

The LDRA Function Coverage & Call Coverage Reports are an output of the LDRA tool suite’s Dynamic Analysis and are used to gain certification from regulatory authorities.

DO178C Compliance Report

The LDRA tool suite is an integrated suite of tools for Static Analysis, Dynamic Analysis, Unit Test and Requirements Traceability, automating many of the verification and validation techniques for compliance to DO-178C, from DAL A to C. The customisable DO-178C Compliance Report collates the output of the LDRA tool suite to simplify Pass/Fail compliance reporting.

ISO 26262 Compliance Report

The ISO 26262 Compliance Report provides direct mapping of the ISO 26262 Part 6: Product development: software level Techniques & Measures to the analysis, checks and automated test capabilities of the LDRA tool suite, making it easy to automate results reporting and monitor progress against the standard.

LDRA FACE Conformance Package

The LDRA FACE Conformance Package offers standards conformance capabilities for the FACE Technical Standard Edition . Capabilities include a dedicated Perspective view and Objectives in TBmanager as well as FACE specific Coding Rules, associated artefacts and documentation templates.