RapiTest is the leading tool for functional testing of critical software.

Used globally in the aerospace and automotive industries, it reduces the cost of functional testing at all levels, including system, integration and unit testing. 

As part of the RVS toolsuite, it forms part of a software verification solution that also includes tools for structural coverage analysis and worst-case execution time analysis. 

RapiTest works by using input tests in a variety of formats and an understanding of the program structure achieved through dynamic analysis to produce test harnesses that it executes on the native build system to collect test results. When collecting data from hardware targets, data can be collected from almost any target hardware by a variety of approaches.

RVS tools can be run on the following x86-64 operating systems:

• Windows 10 and 11
• Windows Server 2019+
• Variety of Linux distributions (including Ubuntu and Red Hat)

RVS tools can be used on projects with unsupported operating systems by using a clone integration to split the process and delegate parts of it to the unsupported machine.

RVS tools can be integrated to work with almost any embedded target. Our engineers can work with you to determine the optimal strategy for integrating the tool with your target, even for multi-core architectures. For more information on the hardware architectures we have integrated RVS tools with, see the compatibility information on our RVS product pages.

RapiTest can be integrated to work with almost any compiler and target hardware. Our integration service promises to deliver a robust integration of RapiTest into your build system.

RapiTest supports C, C++ and Ada projects, including mixed-language ones.

RapiTest is designed to meet the most stringent needs of certification processes, such as the DO-178B/C process used in the aerospace industry and the ISO 26262 process used in the automotive industry. We can provide developer qualification documents, a template integration qualification report and on-site tests to support you in qualifying RapiTest in projects requiring certification.

RapiTest results are presented in a friendly user-interface. When you run a test, your results are displayed based on just the subprograms you tested, letting you quickly check your results against requirements. 

You can also view RapiTest results in continuous integration software, allowing you to track your verification process over time. 

You can include as many tests as you want to in a single build on your target, subject to the resources available on your target and your data collection strategy. As with all our RVS tools, RapiTest has a very low overhead, meaning you can complete your test cycle in fewer builds than using other tools.

The test generation algorithms RapiTest uses are powerful and support generation of all types of stubs used in the industry, including stubs, mocks, fakes, spies and dummies. 

RapiTest provides flexibility in test authoring by letting you write tests in one of three formats. These are the RapiTest Editor (an integrated testing interface), spreadsheets, and scripts, with each format having its advantages. You can also convert tests at any time between formats (though you cannot convert test scripts to other formats as they include more complex features). 

RapiTest is customizable to support existing or alternative test formats. If necessary, we can develop a converter for RapiTest to interpret tests written in your existing non-RapiTest format.

You can use RapiTest to generate code for testing both high- and low-level requirements, and it supports the generation of tests for various levels and definitions understood in the industry, such as unit, module, integration and system tests.  

You can request a trial version of RVS, which includes RapiTest. You can also arrange a demonstration, where a member of our team will work with you to show the benefits RapiTest can offer you.

If you're interested in RapiTest in academia, you can search for it in the academic press. 

RVS tools are designed to handle very large code bases. Because of the efficient algorithms used by RVS tools, there is no fundamental limitation to the number of lines of code that RVS can process, and our RVS tools have been used on projects with millions of lines of code.

We offer both “Node-locked” and “Floating” licenses, and a license server to support use of our tools in your specific development environment. 

For more information on our licensing models, see our RVS licensing FAQs.

All RVS licenses include access to our dedicated in-house support team, who will work with you to provide a rapid fix to your issue. This is a critical part of our vision. During 2021, we resolved 63% of our support requests within 7 working days and 93% within 30 working days. We also inform our customers of known issues via our website and email.

We provide an extensive set of RVS documentation with each of our products, and offer training courses guiding you through the most effective use of RVS tools. All our users can benefit from privileged access to our website, which includes downloads for new product releases. 

RapiTest supports your traceability workflow by interfacing with your requirements management and traceability software, allowing you to reuse information about requirements and test artifacts that you have already defined.   

RapiTest’s part in the traceability workflow is simple, involving import, assignment, reporting and export. 

You can import information about requirements and test artifacts in formats including Word, Excel, and the Requirements Interchange Format (ReqIF), which is compatible with many requirements traceability tools. If you’re using Jama Connect®, you can configure RVS to automatically pull in information on requirements or test artifacts from the software. 

With this information in your project, you can tag your tests with the requirements they test and/or assign the test artifact IDs you use to identify each test uniquely.  

After running your tests, RapiTest displays your requirements coverage and the status of each test tagged with each requirement, and lets you export your results in RapiTest exports. If you're using Jenkins or Bamboo, you can view your requirements coverage in each build and follow the trend in requirements coverage throughout your project. 

If you’re using Jama Connect®, you can automatically export key information such as test pass/fail status back into the software, so you can continue to monitor your project’s traceability from Jama Connect. 

RVS integrates with a range of continuous integration tools, allowing you to collect unit test, coverage and execution time results with every new build, track your verification progress over time and easily identify anomalies in your software's behavior as they are introduced.

RapiTest, RapiCover and RapiTime (including zero-footprint versions) include custom plugins to integrate with Jenkins and Bamboo. RapiTest and RapiCover results can also be displayed in a range of other continuous integration tools through the JUnit and Cobertura plugins, which are compatible with most continuous integration software. 

We recommend that, when using RVS tools to perform functional testing of safety-critical applications for a final run-for-score, you run your full test suite both with and without coverage instrumentation applied, then confirm that the results match. This provides evidence that coverage instrumentation has not changed the functional behavior of your code.

Yes. RapiTest integrates with ANSYS® SCADE® Test™, letting you perform back-to-back testing of your SCADE models. By interpreting and executing your model-based tests against generated source code for both on-host and on-target testing, RapiTest improves efficiency by letting you reuse your SCADE tests through all phases of the verification lifecycle.

If you’re using the RapiTest Editor, RapiTest’s integrated testing interface, this provides guidance throughout the test authoring process, making it easy to set up new test vectors and stubs and including real-time error reporting and context-sensitive links to RapiTest’s user documentation. If you have any questions on specific topics, this is available through a dedicated help system, which also highlights relevant example projects and tests for the task at hand. 

RapiTest lets you quickly generate templates that you can use to write your tests. When generating templates, you can quickly link requirements to your tests, set input and expected output values for units under test and stubbed functions, and set configuration options. 

RapiTest can also automatically generate test vectors to test functions that handle numeric inputs – this generates tests for the min, max, and optionally step values of the function under test. 

RapiTest makes it easy to select the tests you run with each build of the test harness. Test selection options in the RVS Project Manager help you to quickly select to run only new or modified tests, tests that are failing, tests for specific requirements, or any combination thereof.

If your code has changed, you can use the Optimal Dataset Calculator to automatically select the most efficient set of tests to run to achieve the same coverage you did in a previous report. This helps you quickly ensure that your coverage hasn’t been affected by the code changes before committing to running your full test suite.

We support the migration of unit tests produced for use with a variety of unit testing tools, including both commercial and internally developed tools, into RapiTest tests. We work with you to create a solution, which may be a combination of automatic test conversion, manual conversion by our engineers, and review.

The formats we can migrate unit tests from include, but are not limited to:

• VectorCAST® tests
• Legacy Ada testing tool tests
• Google® Test tests

For more information and to see how we can help you, contact us at info@rapitasystems.com.

Google® is the trade mark of Google LLC.
VectorCAST® is the trade mark of Vector Software, Inc. registered in USA under number 4949992.

The Rapita Verification Suite (RVS) has been used in the critical embedded industry for over 15 years and supported a number of avionics projects globally. Qualification kits for qualified RVS products have supported more than 20 DO-178B and C certification projects up to and including DAL A.

Yes, we can. Contact us if you want to learn more.

Floating RVS licenses follow an “Enterprise” model. You can use them across geographical boundaries*, in different projects, with different users, and share them with suppliers working on the same project.

^*Some floating licenses may be restricted to use within a specific geographical region. Where this is the case, this is agreed before licenses are issued.

Yes, you can create and manage groups of users for your floating RVS licenses. You can restrict each group to only serve licenses to specific hostnames or IP addresses. This allows you to reserve licenses for specific groups or specific purposes such as supporting the use of RVS on a continuous integration server.

Any licenses that you don’t reserve will remain available as floating licenses that can be shared among different users and geographic locations.

RVS supports the analysis of shared code compiled by build systems with multiple executables by letting you specify the source files that will be compiled in each executable. 

If you have functions that are declared in multiple components with the same name but have different definitions, RVS can treat each such function uniquely, for example to provide separate coverage in RapiCover and separate execution time results in RapiTime.

RVS analyzes the structure of your code and presents information on your code’s structure, helping you understand your code and its dependencies in a variety of forms such as the following:

• RVS analyzes the McCabe complexity of your code and presents the complexity of each code element, letting you easily identify code with high complexity. 
• RVS Treemaps present the hierarchy of your code’s components and source files graphically.
• RVS lets you view and explore the call dependencies in your code.  

RapiTest lets you write support functions in C or C++ code that you can include in your RapiTest tests. These let you define reusable test logic to perform functions such as initialization or teardown, defining complex sets of checks, implementing complex stubs, and instantiating templates.  

RapiTest can let you test your unmodified object code. This capability can be set up as part of an RVS integration. For more information, contact us.

RVS supports meeting standards and guidelines for verification of mission and safety-critical applications including:

• Civil aerospace software guidelines DO-178C (ED-12C), DO-278A (ED-109), AC 20-193 & AMC 20-193
• Military & defense aerospace standards MIL-HDBK-516C, AA-22-01 AMACC, EMACC, ADSM, Def Stan 00-55 & Def Stan 00-56
• Automotive standard ISO 26262
• Space software standards NASA-STD-8739.8B, ECSS-E-ST-40C
• Other standards based on IEC 61508, including IEC 62279, EN50128 & EN 50657 (rail), IEC 61511 (industrial processes), IEC 61513 (power), IEC 60880 (nuclear) & IEC 62061 (machinery)

RapiTest can help you meet DO-178C objectives 6.4.a, 6.4.b, 6.4.c and 6.4.d, which indicate that requirements-based testing is performed on the DO-178C software against both high and low-level requirements.

RapiTest helps you do the analysis needed to meet DO-178C objective 6.4.5.c. When a check fails, RapiTest provides the expected and actual results, making it easy to identify discrepancies, as required to meet the objective.

As RapiTest is designed for on-target execution and supports integration with a wide variety of third-party requirements management software applications, it also helps you achieve DO-178C objectives 6.4.e, 6.4.4.a and 6.4.4.b.

RapiTest is a key part of the MACH¹⁷⁸ solution to provide verification results for multicore timing analysis. When used in this context, it can help you achieve AC 20-193 and AMC 20-193 objectives MCP_Resource_Usage_4 and MCP_Software_1.

For a detailed description of how RVS tools including RapiTest can help you achieve DO-178C certification, see our web page on how to achieve DO-178C certification.

RVS make it easy to get started with a range of resources:

• Interactive tutorials guide you through using each RVS tool.
• Example projects, reports and tests let you explore using RVS with example code, while sandbox projects let you plug in Ada, C and C++ snippets and get started with on-host verification quickly.
• If you’re looking for more detail about specific topics, the RVS documentation is at hand.  

And no matter what your question, RVS’s help search can link you to the most helpful resources at the click of a button. 

RapiTest, when used with RapiTime, lets you configure and review the results of tests to support multicore timing analysis. Using a dedicated test editor, RapiTest lets you write tests that configure the application of RapiDaemons to generate interference and the definition of success criteria for test outcomes. After your tests have run, RapiTest presents the pass/fail status of your tests against their success criteria.