Research On Test Case Generation For Object-Oriented Programs Based On Composite Testing Strategy

Software testing is the key to guarantee software quality and reliability, it mainly studies how to select and gain test cases to find faults. In Object-Oriented programs testing, the characteristics of Object-Oriented bring about some new problems to test cases generation. One important research focuses on how to generate test cases for Object-Oriented programs. This thesis mainly studies test cases generation for Object-Oriented programs based on composite testing strategy.Aiming at the disadvantages of state-based testing and data flow testing in Object-Oriented programs class testing(i.e. without analyzing code, state-based testing can't test data members that don't define the states; using data flow testing for class testing is difficult and expensive), this thesis proposes a composite class testing model, which provides data flow analyzing in state-based testing. It contains both the information about the state change of class and information from the source code about the definition and use of the data members. This new testing model not only overcomes the weakness that state-based testing miss the detection of data members that don't define the states, but assures definition-use paths are executive to avoid the expensiveness and inefficiency in data flow testing to a great extent.Using the class diagram, this thesis builds a method-called AOV net, based on which a composite testing method is proposed. Then the method is applied to Object-Oriented program integration testing, by selecting method-called sequences and combine data flow testing to generate test cases. This new test method not only facilitates the generation of test cases but provides sufficient code coverage.According to the architecture of proposed composite class testing model, and combining UML information exchange standard-XMI, this thesis develops a test cases automated generation tool TCAGS for Object-Oriented programs. After the design specifications are saved as XMI format files by software designers, while without caring about what CASE tools are used, testers can readily use TCAGS to analyze the XMI files and source code, finally generate test cases automatically. The new testing tool is able to free testers from variety of design specifications, reduce the workload and improve the efficiency.