Homm D, Eckert J, German R (2015)
Publication Language: English
Publication Type: Conference contribution, Conference Contribution
Publication year: 2015
Publisher: ACM New York, NY, USA
City/Town: New York, NY, USA
Pages Range: 1803-1807
Conference Proceedings Title: 30th Annual ACM Symposium on Applied Computing
Event location: Salamanca, Spain
ISBN: 978-1-4503-3196-8
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.
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). Salamanca, Spain, ES: 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.
BibTeX: Download