Run functional tests of software at the unit, integration and system level.
Reduce the time needed to write and execute tests.
Write simple and complex tests easily using user-friendly formats.
Apply stub, mock, spy, fake and dummy behavior to functions.
Observe and test behavior while functions execute, not just at function boundaries.
Run functional tests without modifying object code.
Test and stub private objects without needing specific test code to expose them.
Test multithreaded, non-deterministic software and identify potential race conditions in your code.
Run tests on host computers and test rigs in continuous build environments.
Configure integrations of RVS into your development environment quickly and easily.
Take your test project from creation to completion with an intuitive user-interface.
After integrating one RVS tool to work a development environment, it is trivial to use others.
Multiple users can share the same test environment.
Apply analysis settings easily using a friendly user interface.
Export test results in a variety of formats.
View source code with syntax highlighting and color-coding of results.
Easily filter results to focus your analysis.
Search reports for specific elements using advanced queries.
Collect data from almost any build system.
The recommended build integration strategy requires little if any change to the development environment.
Copy the build system to build and test code with RVS.
Run RVS automatically through Jenkins to collect and archive results.
Run RVS automatically through Bamboo to collect and archive results.
A straightforward migration path helps you upgrade from AdaTEST.
Collect data from almost any embedded target with flexible collection strategies.
Verify critical multicore systems.
Collect verification data from LauterbachTM debuggers.
Collect verification data from iSYSTEMTM debuggers.
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.
Support for mixed languages in the same code base.
Support for testing Assembly code.
Select floating or node-locked licenses with annual or perpetual duration.
Floating licenses support multiple users and shared working environments.
Node-locked licenses support use of RVS within a limited geographical area.
License RVS for use idefinitely.
License RVS in annual increments.
License usage data is exported in a format compatible for tracking using FlexNet Publisher.
Integration and learning resources help you get started verifying your code in no time.
Dedicated support service to resolve technical issues quickly.
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.
Qualification kits available for use in DO-178B/C projects.
Qualification kits available for use in ISO 26262 projects.
Additional evidence to qualify the use of RVS in your development environment.
We notify you of issues that may affect the validity of your results as soon as we identify them.