Test Cases Generation Of Class Testing Based On CHAM

Software testing is an extremely important part in software development, but the software testing is a complex, time-consuming and repetitive work. In order to improve the efficiency of the software testing, people have developed a variety automated testing tools of software life cycle.Test cases are the basis for software testing, test cases have a significant influence on the quality and efficiency of software testing, so the automatic generation of test cases and simplify of test cases set are important research direction for software test automation. With wide application of object-oriented software development technology, such characteristic features of object-oriented as:polymorphism, inheritance and encapsulation, etc., have proposed new requirements for software testing.This paper introduces both the foreign and domestic status of research on software testing, and analyzes briefly the influence of software testing on some the features of object-oriented software development technology. In this paper the current major test case generation method are introduced, and object-oriented automated test case generation techniques are analyzed.Class test cases mainly include the test sequence and test data. This paper are analyzes object-oriented test sequence generation methods which are based on formal specification and based on state, and structural test data generation technique, and introduces application of modern heuristic algorithm in test data generation.In this paper, class test sequence generation method based on the chemical abstract machine is proposed. This paper use the chemical abstract machine to describe the state of the class, and applies reaction rules of the chemical abstract machine to represent the interactions between states. This paper selects label transition system as a tool for the dynamic behavior of the chemical abstract machine. Finally, according to state test coverage criteria test sequences are generated. Based on the above analysis, this paper taking ATM state diagram as example, introduces the CHAM model construction, solution reaction process and LTS establishment, on the basis of the LTS, the corresponding testing sequences are generated according to status and transition coverage criteria. The algorithms involved are achieved in the VC environment.