RapiCoverZero is a specialized tool designed to reduce the effort required for code coverage verification in critical software systems. It uniquely collects coverage results from systems that produce branch traces, requiring only a disassembly of the application and eliminating the need for source code or instrumentation. This capability allows for the verification of systems up to DO-178C DAL B, including coverage results up to Decision coverage. The software streamlines the testing process through an efficient merge and mark verification workflow. It enables users to collect coverage from system tests, automatically merge it with data from integration and unit tests, and mark any remaining coverage gaps as covered by analysis using RapiCover justifications. This workflow is particularly beneficial for DO-178C testing, assisting in reviewing and updating coverage results and justifications when code changes. RapiCoverZero also simplifies verification by integrating with continuous integration (CI) tools like Jenkins and Bamboo, allowing projects to track progress over time and identify code coverage anomalies as they occur. A significant advantage is its ability to analyze coverage for third-party libraries or other software components for which source code access is unavailable, by processing branch traces and disassembly information.

Features & Benefits

• Collect coverage from systems that produce branch traces
  • Automatically produces coverage results from branch traces, reducing verification effort. It only requires a disassembly of the application, eliminating the need for source code or instrumentation.
• Save time with efficient merge and mark verification workflow
  • Reduces testing effort by allowing collection from system tests, automatic merging with integration/unit tests, and marking coverage holes with justifications, ideal for DO-178C testing.
• Simplify verification through integration with your continuous integration tool
  • Keeps verification on track by integrating with CI tools like Jenkins and Bamboo, enabling tracking of project progress and identification of code coverage anomalies on every new build.
• Collect coverage for libraries without source code
  • Enables coverage analysis for third-party libraries or software components without source code access, by analyzing branch traces and disassembly.