Concurrent streams in Markov chain usage models for statistical testing of complex systems
Daniel Homm, Jürgen Eckert, Reinhard German · 2015
Model-based statistical testing with Markov chain usage models (MCUMs) represents a highly automated test approach. However, specifying the usage model by hand is not a trivial task, especially if the system under test (SUT) allows concurrent streams of use. Modeling concurrent streams leads to a state space explosion and therefore is an error-prone task. Relevant usage scenarios may not be tested as they are overlooked during the specification of the model.