The Research On OOP Test Case Generating Algorithm Based On Algebraic Specifications

As well as the development of the science of computer and the popularization of computer applications, more and more software systems are needed. Nowadays people always adopt Object-oriented methods to develop software systems, there are a lot of test methods in the testing of software systems, the software testing method based on the formal specification is one of the important and effective testing methods. people always take the formal specifications as the basis of correctness verification in the course of software testing based on the formal specification.At present, the software testing based on the formal specification is mainly used for the software systems which requiring high security and reliability. According to the characteristics of the formal specification language, we used different software testing methods. The main idea of software testing has equivalence testing and nonequivalence testing and so on. The tools used to generate test cases have ground terms, equivalent terms, nonequivalent terms, fundamental pair and so on.In this paper, we propose an effective method to generate test cases which is based on the algebraic specifications. We propose an method to generate the ground term model diagram using the algebraic specifications, and the ground term model diagram could reflect all the object-oriented features of the object-oriented programs. First of all, produce a group of ground terms according to algebraic specifications.To avoid the constraints of choosing a group of ground terms from the ideal ground term sets, we employ the ground term model diagram to produce ground terms, and then obtain the equivalent normal form sets from ground terns. As is well known, in the event of utilizing normal form model tree to get normal forms, the output may not be normal forms and the length of them could be infinitely. So we present a method of splitting the paths of ground term model diagram to solve the problem. Ultimately, we use normal forms to replace the variables of the axiomatic system of algebraic specifications to generate test cases.when produce the test cases using the normal forms, based on the characteristics of the object-oriented programs. such as inheritance, polymorphism an so on. we propose a replacement criteria. With the replacement criteria, we use the normal forms to replace the variables in the axiom system, this ensure the test case could reflect the features of object-oriented programs. We raise a method to regard to the conditional statements and loop statements, and we use the simplified domain-testing strategy to choose the test data filling the test cases.