Automated Test Case Generation using Coloured Petri Nets

In our efforts to develop a CPN-based library for model-based test case generation, we focus at the moment on Gorums [3], a novel framework for building fault tolerant distributed systems. We have already successfully modelled a simple quorum system with a number distributed servers in CPN Tools and use our library to record test cases from either state space exploration or simulation [1]. The left picture below shows the architecture of the Gorums framework. The right picture shows the overall testing architecture using CPN Tools and our library.

Gorums architecture Testing architecture

You can download the corresponding CPN Tools [2] model here: singlePaxos.cpn.


  1. Wang R, Kristensen LM, Meling H, Stolz V. Application of Model-based Testing on a Quorum-based Distributed Storage . CEUR Workshop Proceedings. 2017
  2. CPN Tools homepage
  3. Tormod Erevik Lea, Leander Jehl, and Hein Meling. Towards New Abstractions for Implementing Quorum-based Systems. In 37th International Conference on Distributed Computing Systems (ICDCS), Jun 2017.