RapiCover full feature list

Low-overhead coverage analysis for critical software

Structural coverage analysis

Analyze the code coverage achieved by software tests up to and including the MC/DC level.

Advanced MC/DC analysis

Advanced MC/DC analysis.

Highlight missing MC/DC vectors

RapiCover highlights missing MC/DC vectors to help you refine test cases.

Automatically merge coverage

Merge coverage from different builds automatically, such as system and unit tests.

Automate testing on host and target

Run tests on host computers and test rigs in continuous build environments.

Efficient integration workflow

Configure integrations of RVS into your development environment quickly and easily.

RVS Project Manager

Take your test project from creation to completion with an intuitive user-interface. 

Shared integration with instrumentation-based RVS tools

After integrating one RVS tool to work a development environment, it is trivial to use others. 

Portable test environments

Multiple users can share the same test environment.

Easily configurable analysis

Apply analysis settings easily using a friendly user interface.

Identify tests that hit each element

Identify tests that "hit" each tested element in your source code.

Remove coverage from reports

Remove selected coverage from reports to support continuous development.

Optimal Dataset Calculator

Calculate the minimum set of tests to achieve identical coverage to a previous set of tests.

Customizable workflow

Customize the RVS workflow to best meet your needs.

Template integrations

Create and use template integrations to reduce your effort integrating RVS with your system.

Compare reports

Compare reports from different builds to track project progress over time.

Combine coverage from object code and source code analysis

Combine coverage collected from object code and source code analysis.

Customizable color scheme

Customize the color scheme used to display your results.

Merge Coverage utility

Easily merge coverage from multiple test runs.

Comprehensive verification toolsuite

One tool to meet all your software verification needs.

Configurable export formats

Export coverage results in a variety of formats.

Justify untestable code

Mark code as covered by manual analysis to justify not covering it during tests.

Migrate justifications when code changes

Justifications migrate when code changes, automatically or after manual review. 

Portable justification library

A single store of justifications can be used by all users working on a project. 


Apply a single justification to multiple locations to reduce justification effort.

Justification templates

Create and apply templates to add new justifications more easily. 

Custom fields

Apply and use custom fields for your justifications.


View coverage and hierarchy of code at a glance.

Code viewer

View code with syntax highlighting and color-coding of results.

Easily filter results

Easily filter results to focus your analysis.

Datasets for managing tests

Assign tests to datasets to support easy filtering of results.

Filter by datasets

Apply test datasets, which you can use to filter results and calculate the optimal tests to run when code changes.

Filter by scopes

Filter results by specific files and functions. 

Advanced search function

Search reports for specific elements using advanced queries. 

Integrate with existing build systems

Collect data from almost any build system.

Compiler wrappers

The recommended build integration strategy requires little if any change to the development environment.

Clone integration

Copy the build system to build and test code with RVS.

Flexible integration strategies

Collect data from almost any embedded target with flexible collection strategies.

Multicore support

Verify critical multicore systems.

Low target overheads

Fit more tests on your target and reduce the number of builds you need to run.

Freeze and resume coverage collection

Freeze and resume collection to eliminate incidental coverage from bootup programs.

Collect coverage across power cycles

Stream coverage data to collect it across target power cycles.

Lauterbach debugger

Collect verification data from LauterbachTM debuggers.

iSYSTEM debugger

Collect verification data from iSYSTEMTM debuggers.

Efficient MC/DC target library

Test an almost unlimited number of conditions per decision and get more from the space on your target.


Run RVS automatically through Jenkins to collect and archive results.


Run RVS automatically through Bamboo to collect and archive results.


Support for C, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.


Support for C++, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.


Support for Ada 95, 2005 and 2012, GNAT ProTM and Green HillsTM compilers among others.

Mixed language support

Support for mixed languages in the same code base.


Support for testing Assembly code.

Compiler extension editor

Manage extensions to support non-standard programming languages with an interactive editor.

Flexible licensing options

Select floating or node-locked licenses with annual or perpetual duration.

Floating licenses

Floating licenses support multiple users and shared working environments.

Node-locked licenses

Node-locked licenses support use of RVS within a limited geographical area.

Perpetual licenses

License RVS for use idefinitely.

Annual licenses

License RVS in annual increments.

FlexNet Publisher compatible export format

License usage data is exported in a format compatible for tracking using FlexNet Publisher.

Easy to get started

Integration and learning resources help you get started verifying your code in no time.

Support service

Dedicated support service to resolve technical issues quickly.


Get up to speed with custom training courses delivered by skilled field application engineers.


Learn how to get the most from our verification solutions with simple, interactive tutorials.


Learn how to use RVS features with comprehensive documentation in both printed and electronic formats.

DO-178B/C qualification kit

Qualification kits available for use in DO-178B/C projects.

ISO 26262 qualification kit

Qualification kits available for use in ISO 26262 projects.

Qualified target integration service

Additional evidence to qualify the use of RVS in your development environment.

Assurance issue notification

We notify you of issues that may affect the validity of your results as soon as we identify them.