article · 2001

Model-based Software Testing

James A. Whittaker

Cited by 0Abstract and details only

Abstract

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.

Cite this paper

APA 7

Whittaker, J. A. (2001). Model-based Software Testing.

MLA 9

Whittaker, James A. “Model-based Software Testing.” 2001.

Chicago

Whittaker, James A. 2001. “Model-based Software Testing.”

Harvard

Whittaker, J.A. (2001) ‘Model-based Software Testing’.

BibTeX

@article{whittaker2001model,
  title = {{Model-based Software Testing}},
  author = {Whittaker, James A.},
  year = {2001}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.