This paper1 describes an algorithm for testing polymorphic interactions between classes in object-oriented (O-O) software. We propose an Augmented Object Relationship Diagram (AORD), which is an extension of a previously reported ORD representation, to facilitate the algorithm. AORD is a graph representation of the class structure augmented with additional information about the methods dened in each class. This additional information consists of call-graph of all the methods in that class. Information on redened or new attributes in derived classes is also retained. AORD also contains a dynamic model of class behavior in the form of a state diagram. AORD representation is used to derive an order of integration for the classes involved. This integration order is an improvement over the ordering algorithm reported previously. We also use this information to test polymorphic interaction between classes. We propose heuristics to further rene and prune the list of state-message combinat...
Amit M. Paradkar