Concurrent Streams in Markov Chain Usage Models for Statistical Testing of Complex Systems

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 ES

ISBN: 978-1-4503-3196-8

DOI: 10.1145/2695664.2695914

Abstract

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.

Authors with CRIS profile

Daniel Homm Computer Science 7 (Computer Networks and Communication Systems) Jürgen Eckert Computer Science 7 (Computer Networks and Communication Systems) Reinhard German Computer Science 7 (Computer Networks and Communication Systems)

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). 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