Using Markov Chain Usage Models to Test Complex Systems

Authors:
S. J. Prowell
Affiliations:
The University of Tennessee
Venue:
HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Volume 09
Year:
2005

Citing 0
Cited 8

Testing software modelling tools using data mutation

Proceedings of the 2006 international workshop on Automation of software test
Calculating the usage probabilities of statistical usage models by constraints optimization

Proceedings of the 5th Workshop on Automation of Software Test
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
A systematic testing approach for autonomousm mobile robots using domain-specific languages

KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
A comfortable testplayer for analyzing statistical usage testing strategies

Proceedings of the 6th International Workshop on Automation of Software Test
An approach to defining requirements for exceptions

Advanced Topics in Exception Handling Techniques
Veritas - a versatile modeling environment for test-driven agile simulation

Proceedings of the Winter Simulation Conference
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

International Journal of Embedded and Real-Time Communication Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-based testing using Markov chain usage models provides a powerful way to address testing concerns. Unfortunately, the use of Markov chain usage models on systems which have multiple streams of control, or which have many modeless dialogs, has required approaches which limit automated testing (strong abstractions) or make models difficult to analyze (notations hiding a state explosion). This paper presents a new approach which relies on applying concurrency operators to the test cases generated from simple Markov chain usage models to create sophisticated test cases. This approach leverages existing tools and notations.