Annals of Software Engineering

, 4:115

Stochastic software testing

Authors

  • James A. Whittaker
    • Florida Institute of Technology
Article

DOI: 10.1023/A:1018975029705

Cite this article as:
Whittaker, J.A. Annals of Software Engineering (1997) 4: 115. doi:10.1023/A:1018975029705

Abstract

This paper presents a method for test case selection that allows a formal approach to testing software. The two main ideas are (1) that testers create stochastic models of software behavior instead of crafting individual test cases and (2) that specific test cases are generated from the stochastic models and applied to the software under test. This paper describes a method for creating a stochastic model in the context of a solved example. We concentrate on Markov models and show how non‐Markovian behavior can be embedded in such models without violating the Markov property.

Copyright information

© Kluwer Academic Publishers 1997