Quviq releases support for finite-state-machine testing

25th March 2009

Today, Quviq released version 1.16 of QuickCheck, with a major extension providing support for testing finite state machines like the one in the diagram on the right. QuickCheck's new module makes it easy to specify a set of states and transitions, and then generate and run test cases that respect the structure of the state machine. QuickCheck can even help to analyse the distribution of tests before they are run, and assign a suitable weight to each transition, so that hard-to-reach portions of the state graph are tested thoroughly.

This new extension was developed with the support of the EU project ProTest; it is the first output of the project to be released as a part of our product. There will be many more to come!

Licenced users are invited to download the new version, and try out a simple example.