Data Flow-Based Software Testing

This paper presents a method for test case selection that allows a formal approach to testing software. The two main ideas are that testers create stochastic models of software behavior instead of crafting individual test cases and that specific test cases are generated from the data flow-based models and applied to the software under test. This paper describes a method for creating a data flow-based 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.