Research On Cloud Test Generation Based On Colored Petri Nets Model

Test generation is an important part of software testing. Most of existing test generation method rely on testers to generate test case manually. Not only the test generation efficiency is low, test cases in terms of usability are also not satisfactory. Colored Petri Nets (CPN) Model Based Conformance Testing Generation Approach is a mature theory of test generation and can effectively improve usability of test case. Although this test generation method is very excellent, it still could not automatically generate test case. For this problem, Cloud Computing was used to support this method, and could effectively improve the efficiency of test generation. The main contributions of this dissertation are as follows:1) A Cloud Model transformation approach. Traditional CPN models couldn’t be used directly in the cloud, so a kind of model transformation solution was designed to solve this problem. This solution could transform Traditional CPN model to a valid PT-Cloud Model. The process of model transformation was described, and a Cloud based model transformation algorithm has been put forward. At last, the behavior conformance between traditional CPN model and PT-Cloud Model has been proved.2) An automatic test generation approach. In term of automatic test generation, CPN Model Based Conformance Testing Generation Approach was supplemented by this approach. At the beginning, the under test model was preprocessed. Then a kind of test generation method based on Stand-alone environment and two kinds of test generation methods based on Cloud Computing environment were put forward. In the end, the test generation process and related algorithm was described.3) A SaaS test generation tool, PT-Cloud Tool. PT-Cloud Tool was designed to provide on-demand test generation service. Firstly, the user scenario and the architecture of PT-Cloud Tool were represented. Secondly, the prototyping of PT-Cloud Tool was implemented. Thirdly, the tool was tested by stop-and-wait protocol which shown that the tool can do conformance test generation well.