Why choose RapiCover?
• Collect coverage for Ada, C & C++ (inc. MC/DC) on-host & target• Reduce test builds needed for analysis on constrained targets
• Save time with efficient merge and mark verification workflow
• Simplify verification by integrating with your CI tool
• Produce evidence for DO-178 and ISO 26262 certification
Collect coverage for Ada, C & C++ (inc. MC/DC) on-host & target
By automating code instrumentation and coverage collection, RapiCover reduces the effort needed to verify your code coverage up to and including MC/DC. Flexible integration strategies ensure efficient verification,regardless of your target hardware.
RapiCover measures code that other tools don’t, such as treating Boolean and bitwise operators as decisions, and lets you test decisions with up to 1000 conditions.
"Compared to previous tools we’ve used in the past, RapiCover’s performance has been much more reliable and robust." - Collins Aerospace Flight Controls
Reduce test builds needed for analysis on constrained targetsBR> RapiCover’s low target overheads help you cut the number of builds you need for coverage analysis on even the most constrained systems. With flexible integration strategies, RapiCover lets you fit more tests on target BR>whether your RAM, code size or execution time are constrained.BR> Customers like Collins Aerospace and OHB Sweden cut the number of builds they needed using RapiCover, reducing their end-to-end testing time by up to 40%.BR> "RapiCover’s very low resource requirements were the difference between success and failure to gather the data needed to support our certification” - PilatusBR> BR>