Comprehensive verification toolsuite

RVS includes a range of plugins, which let you perform the activities needed for critical software verification:

  • RapiTest for software functional testing at the system, integration and unit level
  • RapiCover for structural coverage up to and including MC/DC
  • RapiTime for execution time analysis including worst-case execution time
  • RapiTask for visualization of event scheduling and identification of race conditions and rare events

As each plugin is built on the common RVS technology, it usually takes little to no effort to use multiple plugins together.

We're always considering how we can improve RVS. If you would benefit from a particular feature, contact us to discuss custom development opportunities.