RapiCover is a specialized software tool designed to automate and simplify code coverage analysis for safety-critical embedded software, particularly for Ada, C, and C++ applications. It significantly reduces the effort required to verify code coverage up to and including Modified Condition/Decision Coverage (MC/DC) by automating code instrumentation and coverage data collection. The tool offers flexible integration strategies, ensuring efficient verification regardless of the target hardware's constraints. A key advantage of RapiCover is its ability to measure code coverage that other tools might miss, such as treating Boolean and bitwise operators as decisions, and supporting decisions with up to 1000 conditions. Its low target overheads are crucial for constrained systems, allowing users to fit more tests on target even when RAM, code size, or execution time are limited, potentially reducing end-to-end testing time by up to 40%. The software streamlines the verification workflow by enabling automatic merging of coverage data from system, integration, and unit tests, and allows for marking remaining coverage holes with justifications, which is highly beneficial for DO-178C testing. RapiCover also integrates seamlessly with continuous integration tools like Jenkins and Bamboo, facilitating early identification of code coverage anomalies. Furthermore, it provides qualification kits and services to help generate the necessary evidence for DO-178C and ISO 26262 certification, leveraging over 15 years of experience in avionics and other safety-critical markets.

Features & Benefits

• Comprehensive Code Coverage Collection
  • Automates code instrumentation and coverage collection for Ada, C, and C++ (including MC/DC), supporting both on-host and target environments, even for complex Boolean and bitwise operators.
• Optimized for Constrained Targets
  • Minimizes target overheads, significantly reducing the number of test builds required for coverage analysis on resource-constrained systems, saving time and resources.
• Efficient Verification Workflow
  • Streamlines testing by allowing automatic merging of coverage data from system, integration, and unit tests, and enables marking coverage holes with justifications, ideal for DO-178C.
• Seamless CI Tool Integration
  • Integrates with continuous integration tools like Jenkins and Bamboo, enabling automated coverage analysis on every new build to track project progress and identify anomalies early.
• Certification Evidence Generation
  • Provides qualification kits and services to help generate necessary evidence for DO-178C and ISO 26262 certification, leveraging qualified features like instrumentation and coverage merging.