19-09-2012, 11:04 AM
Data Flow Testing
Data Flow Testing.ppt (Size: 1.38 MB / Downloads: 35)
Uses the control flowgraph to explore the unreasonable things that can happen to data. The dataflow anomalies leads to test path selection strategies that fill the gaps between complete path testing and branch and statement testing.
Data flow Testing Basics
Motivation and Assumptions
What is it?
Motivation
New paradigms – Data Flow Machine (Von Neumann Machines)
Fetch instruction from memory
Interpret instruction
Fetch operands
Process
Store Results
Increment Program counter
Goto 1
The Bug Assumptions
Static Versus Dynamic Anomaly Detection
Dead Variables
Arrays
Records and Pointers
Dynamic Subroutine or Function Names in a Call
Fals Anomalies
Recoverable Anomalies and Alternate State Graphs
Concurrency, Interrupts System Issues
Data Flow Models
General
Components of the Model
To every statement there is a node
Exit Nodes
The outlink
Predicate Nodes
Every sequence of simple statements can be replaced.
If there are several data flow actions on a given link for a given variable.
Conversely a link with several data flow actions on it can be replaced by a succession of equivalent links.
Putting It together