A Dependence Representation for Coverage Testing of Object-Oriented Programs.
We propose a dependence-based representation for object-or- iented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features, COSDG captures im- portant object-oriented features such as class, inheritance, and polymor- phism. Novel features of COSDG include details of method visibility in a derived class, and dierent types of method call edges to distinguish be- tween various calling contexts—simple, inherited, and polymorphic. We also propose an algorithm for the construction of COSDG, and subse- quently explain its working with an example. COSDG has been devel- oped primarily to aid test coverage analysis. However, it can be used in a variety of other software engineering applications such as program slicing, software re-engineering, and debugging.