Control Flow, Data Dependency, and Interaction Testing

Abstract

In this chapter, we describe testing techniques to deal with complex interactions beyond one-step links in FSMs. Two primary types of such complex interactions are: 1) Interactions along an execution path, where later executions are affected by all that went on before them. 2) More specific interactions among data items in execution, with some of the later ones depending on the definitions and values of earlier ones for their definitions and values. In this chapter. we describe control flow testing (CFT) and data flow testing (DFT) to test the above interactions.