LDRA Tool Suite Testbed 10.3.0 | Software Verification & Standards Compliance Platform
LDRA Tool Suite Testbed 10.3.0 is a comprehensive software verification and static/dynamic analysis toolset used to ensure the reliability, safety, and security of embedded and critical systems. It automates code review, unit testing, and structural coverage analysis to meet stringent industry standards (DO-178C, ISO 26262, IEC 61508).
Core Functionality Overview:
-
Automated Code Review & Static Analysis: Performs deep static analysis to enforce coding standards (MISRA C/C++, CERT C), detect code quality issues, and identify security vulnerabilities and unreachable code.
-
Dynamic Analysis & Structural Coverage: Instruments source code to perform dynamic unit/integration testing, generating detailed test reports and verifying requirements-based test coverage (statement, branch, MC/DC).
-
Requirements Traceability & Certification Support: Provides full traceability from requirements to source code and test cases, generating the audit-ready documentation required for safety-critical system certification.
