Title

Generating transition probabilities to support model-based software testing

Authors

Authors

G. H. Walton;J. H. Poore

Abbreviated Journal Title

Softw.-Pract. Exp.

Keywords

Markov chain usage model; model-based testing; test automation; test; planning; Computer Science, Software Engineering

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. Copyright (C) 2000 John Wiley & Sons, Ltd.

Journal Title

Software-Practice & Experience

Volume

30

Issue/Number

10

Publication Date

1-1-2000

Document Type

Article

Language

English

First Page

1095

Last Page

1106

WOS Identifier

WOS:000088690800002

ISSN

0038-0644

Share

COinS