Title
Generating Transition Probabilities To Support Model-Based Software Testing
Abstract
Markov chain usage models support test planning, test automation, and analysis of test results. In practice, transition probabilities for Markov chain usage models are often specified using a cycle of assigning, verifying, and revising specific values for individual transition probabilities. For large systems, such an approach can be difficult for a variety of reasons. We describe an improved approach that represents transition probabilities by explicitly preserving the information concerning test objectives and the relationships between transition probabilities in a format that is easy to maintain and easy to analyze. Using mathematical programming, transition probabilities are automatically generated to satisfy test management objectives and constraints. A more mathematical treatment of this approach is given in References [1] (Poore JH, Walton GH, Whittaker JA. A constraint-based approach to the representation of software usage models. Information and Software Technology 2000; at press) and [2] (Walton GH. Generating transition probabilities for Markov chain usage models. PhD Thesis, University of Tennessee, Knoxville, TN, May 1995.). In contrast, this paper is targeted at the software engineering practitioner, software development manager, and test manager. This paper also adds to the published literature on Markov chain usage modeling and model-based testing by describing and illustrating an iterative process for usage model development and optimization and by providing some recommendations for embedding model-based testing activities within an incremental development process.
Publication Date
8-1-2000
Publication Title
Software - Practice and Experience
Volume
30
Issue
10
Number of Pages
1095-1106
Document Type
Article
Personal Identifier
scopus
DOI Link
https://doi.org/10.1002/1097-024X(200008)30:10<1095::AID-SPE328>3.0.CO;2-H
Copyright Status
Unknown
Socpus ID
0034245469 (Scopus)
Source API URL
https://api.elsevier.com/content/abstract/scopus_id/0034245469
STARS Citation
Walton, Gwendolyn H. and Poore, J. H., "Generating Transition Probabilities To Support Model-Based Software Testing" (2000). Scopus Export 2000s. 814.
https://stars.library.ucf.edu/scopus2000/814