Engineering Software Resources
Download&Training
2 Articles

Tags :LDRA testbed

LDRA testbed 10.3-Engineering software Download

LDRA testbed 10.3

Overview of LDRA Testbed 10.3 LDRA Testbed is the foundational component of the LDRA tool suite, a comprehensive platform developed by LDRA (formerly Liverpool Data Research Associates) for static and dynamic software analysis, testing, and verification. It serves as the core engine powering code compliance checks, quality metrics, unit testing, and requirements traceability in safety-critical and security-sensitive applications. Version 10.3 represents an incremental update in the LDRA ecosystem, focusing on enhanced performance, broader language support, and deeper integration with modern development workflows. Released around mid-2024, it builds on the strengths of prior versions (e.g., 10.2) by improving automation for embedded systems and cloud-based CI/CD pipelines, while maintaining compatibility with standards like DO-178C, ISO 26262, and MISRA. LDRA Testbed 10.3 is...

LDRA testbed 9.8.6

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? What coding standards are supported? What types of structural coverage analysis are supported? What add-on components are available? What supplementary reports are available? Additional information 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...