Research On Technique Of Software Test Based On Formalization Method

Currently, the technology and the scale of software developing have reached a certain successful, and the question of the software quality has become a focus of the researching. Because the key of software quality is software testing, the status of software testing has been more and more important. The key of software testing is that we choose testing cases reasonably and efficiently. Therefore, how generates the reasonable and efficient testing cases automatically which becomes the important part of software testing. And the other part of researching is how optimizes the software test suite.In this context, we utilize the ACO and UML model to research generating testing cases and the optimizing test suite in this paper.Firstly, this paper introduces the basic theories about the technology of software testing. According to the content of studying, this paper introduces the concepts, classes, rules of software testing and some methods of generating testing cases and optimizing test suite. Secondly, this paper introduces the basic theories of the ACO and the UML model. It describes the development of UML model and kinds of models. In this paper, it makes use of the UML state machine model. At the same time, it offers the introduction of the basic theories and model of the ACO. The thirdly, it integrates the ACO into the UML state machine model. And it introduces the basic theories, processes and the describing of the algorithm of generating testing cases and optimizing test suite in this paper. Apart from what says above, it verifies the proposed method by the simulation.The result of simulation experiment displays the methods of generation testing cases that it integrates the ACO into UML state diagram is superior to the tradition. This method generates testing cases not only the number of testing cases is little, but also the testing cases can satisfy the testing requirement. And the result of optimizing test suite using ACO and UML state diagram finishes the aim of complete optimizing test suite.