CEDARtools.Coverage for Integration Evidence
Together with TESSY® – CEDARtools.Coverage can deliver trace-based code coverage on integration tests down to MC/DC – even at high compiler optimizations.
Measure your release binary.
Coverage is measured on the actual release build — not on a modified “coverage build.” No behavioral changes, no timing distortion, and no measurement-induced behavioral side effects. You test exactly what you ship.
No software instrumentation.
Traditional coverage tools inject counters into the code, increasing memory footprint and runtime overhead. This probe effect can distort scheduling, cache behavior, and real-time characteristics. Our approach eliminates this software instrumentation entirely.
MC/DC - even on -O3
Compiler optimizations such as -O3 can eliminate visible decision structures, making MC/DC unverifiable with trace-only methods. Our control-flow preservation keeps condition evaluations observable, enabling robust MC/DC evidence with DO-178C-aligned traceability.
Merge with unit test coverage.
Integration and system test coverage seamlessly merges with existing unit test results. TESSY® Hyper Coverage consolidates evidence across test levels, runs, and configurations into one unified view. This reduces redundant unit tests and accelerates structured gap closure.
Fact Sheet
| Supported Target Architectures | ARM® Cortex®-M, Cortex®-A, Cortex®-R, Power Architecture®, TriCore™, Intel®, RISC-V, etc. |
| Supported Target OS | Linux, Bare-metal, VxWorks®, and more. |
| Supported Trace Interfaces | Aurora, Parallel (MIPI®, Mictor), PCIe®, Custom |
| Hardware Dimensions | 169 mm / 200 mm / 82 mm (L / W / H) |
| Supported Host OS | Windows 10 Ubuntu |
| Supported Host Interfaces | 10/100/1000 Ethernet, USB 2.0 |