A reverse engineering approach for software testing of object-oriented programs

Object-oriented features such as encapsulation, inheritance, and state dependent behaviour raise new problems in software testing. In this paper, we describe a reverse engineering approach for software testing of object-oriented programs. The approach is based on a graphic model which consists of three types of diagram: object relation diagrams (ORD), block branch diagrams (BBD), and object state diagrams (OSD). An ORD presents the inheritance, aggregation, and association relations among the object classes. A BBD presents, for a member function, the control structure, the input parameters and output parameters, the external data that are used and affected, and other functions that are invoked. An OSD presents the states and state transitions. These diagrams are generated from C++/Java source code and may be used to 1) provide guidance on the order to test the classes and member functions; 2) prepare member function test cases; 3) prepare test cases for object state dependent behaviours and interaction between such behaviours; and 4) provide a graphic display of coverage information to a tester