RVS Features

RVS
On-target software verification for
critical embedded systems

Full feature list

Functional testing

Run functional tests of software at the unit, integration and system level.


Efficient test generation

Reduce the time needed to write and execute tests.


Powerful test formats

Write simple and complex tests easily using user-friendly formats.


Flexible stubbing

Apply stub, mock, spy, fake and dummy behavior to functions.


White box testing

Observe and test behavior while functions execute, not just at function boundaries.


Black box testing

Run functional tests without modifying object code.


Access private objects

Test and stub private objects without needing specific test code to expose them.


Multithreaded testing

Test multithreaded, non-deterministic software and identify potential race conditions in your code.


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.


Configurable export formats

Export test results in a variety of formats.


Source code viewer

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


Easily filter results

Easily filter results to focus your analysis.


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.


Jenkins

Run RVS automatically through Jenkins to collect and archive results.


Bamboo

Run RVS automatically through Bamboo to collect and archive results.


AdaTEST

A straightforward migration path helps you upgrade from AdaTEST. 


Flexible integration strategies

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


Multicore support

Verify critical multicore systems.


Lauterbach debugger

Collect verification data from LauterbachTM debuggers.


iSYSTEM debugger

Collect verification data from iSYSTEMTM debuggers.


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.


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. 


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.


Execution time analysis

Analyze the execution time behavior of code as tested on the embedded hardware.


Worst-case execution time analysis

Produce WCET metrics through a hybrid measurement-based/static analysis approach.


Optimize code for timing performance

Easily identify code with the the greatest impact on timing performance.


Produce certification evidence

Produce evidence for certification by following a recommended workflow that focuses analysis.


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. 


Efficient, configurable analysis

Apply instrumentation based on your functions' expected execution frequencies.


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.


Compare reports

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


Configurable export formats

Export timing results in a variety of formats.


View detailed timing metrics at a glance

Specialized charts and tables make it easy to focus your analysis.  


Invocation Timeline Chart

A timeline of your invocations helps you visualize the order of calls and how long each took to execute.


Aggregate Profile Chart

A configurable chart helps you visualize timing data in the context of your code's call tree.


Rewind Trace

Step through execution traces to investigate timing events using a debugger-like interface.


Source code viewer

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


Easily filter results

Easily filter results to focus your analysis.


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.


iSYSTEM debugger

Collect verification data from iSYSTEMTM debuggers.


Lauterbach debugger

Collect verification data from LauterbachTM debuggers.


Jenkins

Run RVS automatically through Jenkins 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.


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.


System event tracing

Automatically analyze the behavior of tasks in your system as it runs.


Understand scheduling behavior

Understand your system's scheduling behavior at a glance.


Locate rare timing events

Scan large traces for specific unusual situations.

Analyze system capacity issues

Identify and analyze capacity issues in your system.


OS-only instrumentation

Collect task scheduling data without instrumenting individual tasks.


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.


Source code viewer

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


Easily filter results

Easily filter results to focus your analysis.


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.


Lauterbach debugger

Collect verification data from LauterbachTM debuggers.


iSYSTEM debugger

Collect verification data from iSYSTEMTM debuggers.


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.


Assurance issue notification

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