Abstract Augmenting Data Flow Criteria for Class Testing

A class is widely considered the basic unit of testing in object-oriented software. Although there has been much recent research on class testing, little attention has been paid to codebased class testing criteria. In this paper, we extend the traditional data ow testing techniques and propose three new code-based class testing criteria. These new criteria help overcome the problems associated with existing data ow techniques. We also show that eachof the new criteria is stricter than its traditional counterpart in the subsume hierarchy.