RapiCover full feature list
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.