A Data Flow Approach to Testing Object-Oriented Java-Programs

In this paper we present an approach to an automated support for generating test cases satisfying data flow criteria for testing object-oriented software. We describe our implementation of the source code instrumentation tool needed therefor. After an overview of the main data flow coverage criteria, we motivate why data flow testing should be done in practice pinpointing at some fault scenarios detectable by data flow coverage and reveal some pitfalls of the latter.