Concurrent Streams in Markov Chain Usage Models for Statistical Testing of Complex Systems
Author(s): Homm D, Eckert J, German R
Editor(s): ACM New York, NY, USA
Publisher: ACM New York, NY, USA
Publishing place: New York, NY, USA
Publication year: 2015
Conference Proceedings Title: 30th Annual ACM Symposium on Applied Computing
Pages range: 1803-1807
Event: 30th ACM Symposium On Applied Computing (SAC 2015)
Event location: Salamanca, Spain
Start date of the event: 13/04/2015
End date of the event: 17/04/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.
In this paper we show how composite states with regions can be used to formalize concurrent streams in usage models. This allows a simplified and reasonable specification of usage models as it hides the state space explosion. We further elaborate on the required steps for an automatic and configurable test case generation from such models. We also provide a suitable analysis method taking advantage of the model structure for computing relevant parameters to guide the test process.
FAU Authors / FAU Editors Focus Area of Individual Faculties FAU Key Research Priorities How to cite
APA: Homm, D., Eckert, J., & German, R. (2015). Concurrent Streams in Markov Chain Usage Models for Statistical Testing of Complex Systems. In ACM New York, NY, USA (Eds.), 30th Annual ACM Symposium on Applied Computing (pp. 1803-1807). New York, NY, USA: ACM New York, NY, USA.
MLA: Homm, Daniel, Jürgen Eckert, and Reinhard German. "Concurrent Streams in Markov Chain Usage Models for Statistical Testing of Complex Systems." Proceedings of the 30th ACM Symposium On Applied Computing (SAC 2015), Salamanca, Spain Ed. ACM New York, NY, USA, New York, NY, USA: ACM New York, NY, USA, 2015. 1803-1807.