Research On Object-Oriented Software Testing Technology

Software testing is an important way to ensure software quality. The object-oriented technology brings new challenge to software testing due to its inherent characteristics. It is obvious to see that the need for using object-oriented software testing technology becomes more and more urgent with the development of applications of object-oriented technology.This thesis mainly makes research on object-oriented software testing technology. Aiming at the inherent characteristics of encapsulation, inheritance and polymorphism of object-oriented and the influence it imposes on software testing, the thesis proposes correlative testing coverage strategies about inheritance and polymorphism particularly. In this thesis, proposes three testing guide lines about the testing coverage of classes on inheritance are proposed, including complete property coverage, complete method coverage and complete subclass coverage. Other six testing guide lines are also proposed about the testing coverage of classes on polymorphism, such as composite state coverage, composite state-migration coverage, composite state coverage without circulation, composite state coverage with simple circulation, composite state coverage with non-simple circulation and fake-all-path composite state coverage. The thesis also makes axiomatic evaluations about all of the guide lines proposed and gives the correlative realizingalgorithm of the seven guide lines with a stronger practicality respectively according to the evaluation result, that is, complete property coverage, complete method coverage, complete subclass coverage, composite state-migration coverage, composite state coverage without circulation, composite state coverage with non-simple circulation and fake-all-path composite state coverage. By using the methods of graph theory, the thesis analyses and solves the algorithms of composite state coverage without circulation, composite state coverage with non-simple circulation and fake-all-path composite state coverage. Finally, the thesis realizes the algorithm and gives a conclusion through the analysis of the execution result and performance.