If software quality matters to you, QuickCheck can help you find bugs early. Developers specify properties of your embedded system and QuickCheck then automatically generates and executes test cases. Better testing, less effort:
You can never write a test for every possible bug–and if you try, you will soon encounter diminishing returns. Don’t fall into that trap, let QuickCheck generate your test cases and cover every corner case for you.
Modern cars contain many software components from a variety of vendors. For a car to function properly it is important that these components work together. The AUTOSAR standard has been established to ensure interoperability between automotive software components. QuickCheck for Automotive can quickly check if a software component adheres to the AUTOSAR specification.
Quviq found more than 200 faults in AUTOSAR Basic Software, including more than 100 inconsistencies in the standard itself.
Tired of writing and maintaining thousands of automated tests? Did you know that repeating tests finds only 15% of your bugs anyway? Let QuickCheck generate new tests for you daily, saving you effort and nailing your bugs earlier!
QuickCheck takes you quickly from specification to identified bug.
We help you in finding general properties that your software should fulfill. We then generate thousands of test cases for you based on those properties. Even better, if we find a bug, we automatically make the test case as small as possible. This makes debugging a lot easier.
How to test inner loops In this blog post we will look at something that has kept me busy for a couple of days, writing tests for code with inner loops. Loops are very common and although it is often easy to understand how they are intended to work, it can be...Learn More
At LambdaJam in Chicago, Joe Norton described how he used QuickCheck to track down a bug in the background compaction that is part of Google’s LevelDB database. The bug is quite amazing: it required a long sequence of API calls to provoke it, but even so...Learn More
Race conditions are among the worst kind of problem to debug: they tend to appear only rarely and unrepeatably, often arise only in long running cases in production, and leave little evidence of what went wrong. Mnesia is a database written in Erlang that is used by...Learn More
Volvo Cars chooses QuviQ QuickCheck to certify embedded basic software. Volvo Cars has a certification strategy for the “operating system” that provides basic services on the microprocessors in cars. Software supplied to Volvo will be certified compliant...Learn More
Speaking in front of 300 delegates at the Stockholm Erlang User Conference in Stockholm, Graham Crowe from Ericsson described how QuickCheck has been used in the development of Ericsson’s new LTE (“4G”) radio base stations. Graham discovered...Learn More
In conjunction with the Erlang Factory in London, QuviQ released QuviQ QuickCheck Mini, a free version of QuviQ’s product with a selection of features comparable to other free versions such as Haskell QuickCheck. QuickCheck Mini makes QuviQ’s technology...Learn More