Kirill Bogdanov – Graphical models for Quickcheck – Erlang User Conference 2015


By Erlang Central | Published: August 17, 2015



Slides and more info: http://www.erlang-factory.com/euc2015/kirill-bogdanov

Quickcheck is a tool that generates test data to fit a model provided by a tester. Such models describe both the kind of data to generate and the constraints it has to satisfy. Moreover, one would usually take stateful nature of systems under test into account by using a test model, containing both abstract state and operations that determine which API calls can be made to a system under test. When building such test models, it is necessary to keep track of the variables describing state transitions of the test model and update them depending on the intended outcome of the API calls. The talk introduces a new tool that makes it possible to define a test model graphically. Using a simple web-based interface, one can construct and edit a state machine that shows which API calls on a system under test are possible and when. The tool automatically updates the corresponding Erlang code, permitting one to immediately run tests and observe outcomes, such as a failed test or a distribution of API calls obtained from a test suite.

Talk objectives:

Introduces the upcoming extension to Quickcheck tool for graphical editing of models.

Target audience:

Everyone using Quickcheck.

Kirill Bogdanov lectures Computer Science at the University of Sheffield, UK. His interests are in software testing, both in test generation methods for software based on extended finite-state machines and in inference of models, where log data is generalised into state machines for subsequent test generation.