Skip to main content
FREE 30-day trial
Rapita Systems, Inc.
Rapita Systems Ltd
Schedule a call
WEBINAR: RVS/Deos for MCP Analysis
< Return to the main Rapita Systems blog
Race condition testing
November 20th, 2019
Learn more about how RVS supports race condition testing for critical software.
False positive and false negative in software testing
May 22nd, 2019
‘False positive’ and ‘false negative’ are terms commonly heard in software verification. But depending on whether you are looking at static or dynamic analysis, the level of seriousness each conveys can differ.
Automating test generation with AUTOSAC
July 20th, 2017
Find out how automated test generation from SPARK Ada pre and post-conditions can cut the effort needed to run test projects.
Merging coverage data from multiple test runs
January 31st, 2017
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.
It’s a bad idea to hide problems from customers – so we don’t
January 16th, 2017
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.
Array ( )