Annals of Software Engineering

, 4:115

Stochastic software testing

  • James A. Whittaker

DOI: 10.1023/A:1018975029705

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


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

Authors and Affiliations

  • James A. Whittaker
    • 1
  1. 1.Florida Institute of TechnologyMelbourneUSA