QuickCheck for C

QuickCheck for C

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.

Learn More
Automotive

Automotive

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.

Learn More
Erlang QuickCheck

Erlang QuickCheck

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.

Learn More

QuviQ makes your property-based testing a success

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.

QuviQ & Research

nSafeCer

Oct 8, 2013

nSafeCer

Read More
Prowess

Oct 8, 2013

Prowess

Read More
AcSäpt

Oct 8, 2013

AcSäpt

Read More

Success Stories

QuickCheck helps debug Google LevelDB

QuickCheck helps debug Google LevelDB

Posted by alex on Sep 15, 2010

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
Debugging race conditions

Debugging race conditions

Posted by alex on Sep 15, 2010

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

Volvo Cars chooses QuviQ QuickCheck

Posted by alex on Sep 15, 2010

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
Ericsson’s 4G base stations tested with QuickCheck

Ericsson’s 4G base stations tested with QuickCheck

Posted by alex on Sep 15, 2010

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
QuviQ released a free version of QuickCheck

QuviQ released a free version of QuickCheck

Posted by alex on Sep 15, 2010

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