Model Based Testing of Concurrent Systems Based on Reachability Graph Reduction
Dmitry I. Cheremisinov, Liudmila D. Cheremisinova · Pattern Recognition and Image Analysis · 2020
Abstract The problem of model based testing reactive control systems with concurrent behavior is discussed. A model of the desired behavior of the system implementation is in the form of parallel automaton that describes concurrent control algorithms and rooted in the Petri net formalism. The considered test case generation approach is based on constructing a reduced parallel automaton reachability graph. To avoid the state explosion problem the technique of partial order reduction is suggested.