Streamlined software verification with RVS 3.8

Streamlined software verification with RVS 3.8

Create & run projects through a friendly user-interface

With the new RVS Project Manager, software verification has never been easier. Set up your project using a wizard and get started in minutes.

The new RVS project file stores your project settings in one place, and it’s easy to edit them through the RVS Project Manager, where you can also run your project to produce and view your results.

Produce results through Jenkins

RVS 3.8 lets you collect results every time your code is built using the popular Jenkins continuous integration software.

Trend views let you view changes in unit test, coverage and execution time results from your project over time, and help you easily identify the source of failing tests, missing coverage and aberrant timing behavior.

Easily configurable analysis

With RVS 3.8, it’s easy to control which files and functions are analyzed by RVS, and how they’re analyzed.

The new RVS Project Manager lets you configure how your source code is analyzed while viewing its hierarchy.

View detailed timing metrics at a glance

We’ve put a lot of effort into improving how we display results from timing analysis in RVS 3.8.

As well as restructuring RapiTime reports to make it easier to analyze your results, we’ve added new Invocation Timeline and Aggregate Profile charts, which let you view your results in the context of your code’s call tree.

More features

  • New tutorials
  • Add RapiCover justifications before dynamic analysis
  • RVS License Manager
  • New compiler wrappers and clone scripts
  • Simplified integration with the RTBx
  • Remove coverage from RapiCover reports
  • RVS License Server Control Panel
  • Enhanced support for Ada, C and C++ analysis

About RVS

RVS (Rapita Verification Suite) collects verification data from critical software while it runs either on host machines or embedded targets. Using RVS, aerospace and automotive electronics engineers can tackle the challenges involved in developing and maintaining critical embedded systems.