Blog

Integrating RVS with Bamboo

Learn how to integrate the RVS RapiTest and RapiCover tools with Bamboo, the continuous integration system from Atlassian.
Read More

WCET analysis of object code with zero instrumentation

Worst-case execution time (WCET) analysis is critical for the verification of safety-critical real-time embedded systems. This analysis is typically performed by instrumenting source code and obtaining timing data from an instrumented build.
Read More

Merging coverage data from multiple test runs

One of the questions we are asked most frequently is how we merge coverage data from multiple test runs. This seems to be an unnecessary bottleneck that we have solved for many of our customers.
Read More

It’s a bad idea to hide problems from customers – so we don’t

What’s the one thing you’ll almost never hear in your meeting with a software sales representative? An admission that the software you may be thinking of buying has bugs in it.
Read More

Highlights from Ada Europe 2016

I write this on the plane home from the Ada Europe 2016 conference in sunny Pisa, Italy. It's been a good week. Here are a few highlights. Ada Firstly, it was good to see the key industrial sponsors like AdaCore pushing and supporting the Ada language itself. PCT, Ansys and others seem to have stepped up their Ada support too. 
Read More

Pages