
An early look at RapiTest
We have been hard at work recently developing RapiTest, a new RVS tool that generates and runs unit, integration and system tests on embedded targets or host systems. RapiTest injects test framework code, builds a test harness, runs this on the target and reports results.
Automating test generation with AUTOSAC
Find out how automated test generation from SPARK Ada pre and post-conditions can cut the effort needed to run test projects.
Race condition testing
Learn more about how RVS supports race condition testing for critical software.