Design recovery for software testing of object-oriented programs

A reverse engineering approach for software testing of object-oriented programs is described. The approach is based on a graphic model which consists of three types of diagrams: object relation diagrams; block branch diagrams; and object state diagrams. These diagrams may be used to provide guidance on the order to test the classes and member functions; prepare member function test cases; prepare test cases for object state dependent behaviors and interaction between such behaviors; and provide graphic display of coverage information to a tester