RapiCover full feature list

RapiCover
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.


Automatically merge coverage

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


Highlight missing MC/DC vectors

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


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 source 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. 


Multi-justifications

You can apply a single justification to multiple locations, reducing the effort involved in managing justifications in projects with many coverage holes of the same type.


Justification templates

Create and apply templates to add new justifications more easily. 


Custom fields

Apply and use custom fields for your justifications.


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 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.


Compare reports

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


Configurable export formats

Export coverage results in a variety of formats.


Treemaps

View coverage and hierarchy of source code at a glance.


Source code viewer

View source 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.


Dataset Manager

Filter results by the test cases used to generate them.


Scope Manager

Filter results by specific functions in source code. 


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.


Jenkins

Run RVS automatically through Jenkins to collect and archive results.


Bamboo

Run RVS automatically through Bamboo to collect and archive results.


C

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


C++

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


Ada

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.


Assembly

Support for testing Assembly code.


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.


Tutorials

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


Documentation

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 kit

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.