The Study Of On-The-Fly Testing Method Based On CPN

With the rapid development of information technology and the coming era of networking, all kinds of Web application systems have been applying in our daily life, work and study with a high frequency. For multiple concurrencies Web system, the scale of state diagram is exponential growing in the number of concurrency, which makes the verification and testing work more difficult. In addition, the test cases generation and the test execution are separated, which leads testing work costly and time consuming. In order to avoid traversing the entire state graph in the process of testing generation, and make the test generation and test execution implementing synchronously, the thesis adopted the on-the-fly testing algorithm based on CPN hierarchy modelling to test Web application system, This thesis includes the following aspects:First of all, through researching and concluding the origin, core idea and application of on-the-fly algorithm, the thesis outlines the definition of on-the-fly algorithm.Secondly, by means of understanding and mastering the main process of the on-the-fly testing algorithm deeply, the thesis descripted the process of the on-the-fly testing algorithm using CPN hierarchy modelling and extended reachability graph, this section consists of the following sections:(1) The thesis presents the definitions of models involved in the on-the-fly algorithm, such as the specification model and testing purpose model. And then the process of the on-the-fly testing algorithm based on the CPN hierarchy modelling method is proposed.(2)In order to ensure the correctness and practicability of the implemented algorithm, the thesis tested and assessed the synchronization product algorithm, and put forward the theoretical design of the depth-first traversal process combining with IUT responses.(3) Studying the principle of on-the-fly testing algorithm in UPPAAL TRON tool, which provides the direction of improving current work in the future.Thirdly, the train ticket-selling system was tested using on-the-fly testing algorithm based on reachability graph. Then the testing results were analyzed and compared with the traditional test results.