^

Products

Products

LDRA Testbed® and TBvision®

LDRA Testbed together with TBvision provide static and dynamic analysis, along with visualizations, to easily understand and navigate standards compliance, quality metrics, and code coverage analyses.

What are LDRA Testbed and TBvision?

Static analysis is a generic term that includes any validation and verification (V&V) technique based on an automated “inspection” of the source code. Conversely, dynamic analysis includes any V&V technique that involves the execution of some or all of the code base.

The LDRA Testbed component of the LDRA tool suite provides the core static analysis and dynamic analysis engines for the other components.  LDRA Testbed includes a proprietary parsing engine rather than a commercial or open-source parsing engine. This proprietary technology enables LDRA to quickly and easily incorporate new analysis techniques required to meet new and evolving standards, keeping the LDRA tool suite at the forefront of technology.

The TBvision component of the LDRA tool suite allows users to visualize coding 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. Software integrity can also be measured and reported in terms of quality and security, or the simple 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.

Static analysis techniques include coding standards compliance, checking for violations of coding rules that results in code that is difficult to understand and test, contains functional errors, and contains security vulnerabilities.

Beyond coding standards compliance, LDRA’s static analysis techniques also measure the overall quality of the code, including clarity, maintainability, and testability.  Different thresholds for these metrics can be specified based on the level of design assurance or criticality of the code.  Source code that fails to meet the specified thresholds can easily be identified and remedied.

The LDRA tool suite’s static analysis techniques include data flow and control flow analysis. These provide the means to examine and visualize the architecture and structure of the source code.  It would be almost impossible to fully understand and document the control and data coupling in source code simply by looking though the code itself.  Static analysis tools automate this error prone task and create an easy to understand representation of the coupling.

Dynamic analysis techniques enable the functionality of the code to be tested, and optionally expose the parts of the code that have been exercised by those tests. TBvision provides the means to instrument and exercise copies of the source code under test to allow structural coverage to be measured. Structural coverage analysis provides evidence of the extent to which source code has been tested, leaving no chance for the code to exhibit unintended or unexpected functionality.

What coding standards are supported?

The TBvision component of the LDRA tool suite enables software teams to effectively enforce industry or company coding standards.  LDRA provides comprehensive “out of the box” support for industry C, C++, Java, and Ada coding standards.  Custom company coding standards can easily be created based on industry standards or from scratch.

For a complete list of supported coding standards, please contact us.  Here is a list of some of the more common coding standards supported by LDRA tools: 

  • AUTOSAR C++ 
  • BARR C 
  • CERT C/CERT C++/CERT J 
  • CWE 
  • DERA 
  • EADS C, EADS C++ 
  • HIC++
  • HIS 
  • JPL 
  • JSF++ AV 
  • MISRA C:2023, MISRA C:2012, MISRA C:2004, MISRA C:1998, MISRA C++:2008, MISRA-AC  
  • SEC C, SEC C++ 
  • VSOS 

What types of structural coverage analysis are supported?

LDRA tools offer the structural coverage metrics demanded by functional safety and cybersecurity standards:

What add-on components are available?

Unit and integration testing are provided for by the TBrun component of the LDRA tool suite, supported by optional dynamic analysis modules, namely: TBextreme,  TBjustify, TBobjectbox, TBpublishDynamic Data-Flow Coverage (DDFC)Target License Packages (TLPs), and Tool Qualification Support Packages (TQSPs).

What supplementary reports are available?

The supplementary reports available for the LDRA tool suite include Function Coverage and Call Coverage Reports, and the ISO 26262 Compliance Report (shown).

Additional information

FREE 30 Day
TRIAL

Email Us

Email: info@ldra.com

Call Us

EMEA: +44 (0)151 649 9300

USA: +1 (855) 855 5372

INDIA: +91 80 4080 8707

Connect with LDRA