Unit testing

Race condition testing

Race conditions occur in multi-threaded software when multiple threads attempt to modify a piece of shared data at the same time. This can become a potentially serious problem if the output of one thread’s execution affects another thread’s execution, in a way that causes unexpected or incorrect results.
Read More

Migrating legacy AdaTEST projects

Learn the benefits of upgrading AdaTEST projects to RapiTest.
Read More

Highlights from Ada-Europe 2018

Join us in recounting some highlights from Ada-Europe 2018 in Lisbon, Portugal.
Read More

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. 
Read More

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.
Read More

Pages