Tags :MC/DC Coverage

TESSY 5.1.7: Unit & Integration Test Tool for Embedded C/C++ TESSY 5.1.7 is a version of the embedded software testing tool designed for automated unit and integration testing of C and C++ code . It is used in safety-critical industries including automotive, aerospace, medical devices, and industrial control . Key Features in TESSY 5.1 Test Cockpit View Provides a project-wide dashboard summarizing test results and coverage at the source file level, helping teams track overall testing progress . Code Access Analysis Detects hidden or untested code and variations before test execution. After module analysis, any untested code sections are highlighted, giving quick visibility into coverage gaps . Hyper Coverage Combines coverage results across different tests, testing levels, and test tools....

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...