Ivannikov Institute for System Programming of the RAS

High-Performance Testing: Parallelizing Functional Tests for Computer Systems Using Distributed Graph Exploration.


A. Demakov, A. Kamkin, A. Sortov.


Functional testing of complex hardware and software systems has long been recognized as an immensely computerintensive task. Consisting of a huge number of interacting components, computer systems are hard to be verified due to the well-known fundamental problem – combinatorial state explosion. One of the ways to overcome the complexity is to use abstract models for generating test sequences and checking design correctness. However, models of really complex systems
are complex themselves, which leads to enormously long test sequences (tests are usually targeted at covering all model states reachable from the initial one). In this paper, we suggest a method for high-performance generation and execution of modelbased tests based on the distributed exploration of a system’s graph model. The key feature of the method is that parallelization is done dynamically and fully transparently for a user.

Full text of the paper in pdf


functional testing; simulation-based verification; combinatorial state explosion; distributed computing; graph exploration; UniTESK technology.


Open Cirrus, 2011.

Research Group

Software Engineering

All publications during 2011 All publications