Research And Implementationon Colored Petri Nets Modeldrivenbasedoncloud Test Generation Services

Conformance testing is designed to find errors or defects which express the inconformity between implementations and specifications of software. At present, correlational researches and practices of conformance testing are inclined to improve automation level and reliability of the execution of conformance testing, but test cases are still largely depend on hand-created, which results in a low degree of automation of test case generation and poor test efficiency.Model-based testing methods build a model of functional behavior of the software system, and the model of functional behavior orients test requirement, this model can generate a large number of real executable conformance test cases, improve the degree of automation and test efficiency, and it also can ensure the comprehensiveness, accuracy and enforceability of test case generation efficiently. When there exists a large number of operations which can be executed in parallel during the process of the automatic generation of test cases and this method is applied to large-scale applications of conformance testing, this thesis not only can further improve test generation efficiency and capability and quality of test generation service, but also can solve the low automatic degree, poor availability and low productivity during the current test case generation process efficiently by taking advantages of cloud computing in large-scale information processing, parallel computing capability and supply of high reliable service and realizing collaborative integration between the cloud computing and model-based test generation methodsThis thesis focuses on hierarchical colored Petri nets network(Coloured Petri Nets, CPN) model of consistency test generation method, and this method realizes cloud service system platform which can provide generation service of cloud test, ensures the correctness and enforceability of the generated test cases, raises automation degree, efficiency and the ability of application of the generation process of large-scale test cases, by utilizing clouding computing to support the generation process of test cases of level-based CPN model.This thesis completes the following three aspects:(1)implement the transformation method of test models which are supported by cloud computing:in view of the traditional hierarchical CPN model can not be directly applied to the cloud testing environment, this thesis implements a conversion method of a hierarchical CPN model based on MapReduce architecture, through this method the storage structure and data structure of each model can beconverted for testing needs, the above conversion makes converted test model can be used directly in test case generation process. Mainly includes functions of upload and automatically parse of hierarchical CPN model,the generation of required input and output trans and the marks of observable location, and the display of hierarchical CPN model and so on.(2)implement the methods of test cases generation about hierarchical CPN model manually and automatically:on the basis of the implementation of model simulation execution about generating test cases, focuses on the design and implementation of the description of the hierarchical test case generation and the process of arc expressions and defense expressions. Test cases are generated manually step by step by the execution of user-driven model, when the model is more complex and there exists concurrent execution path, we can use the way of automatic generation of test cases, the achievement of the generation of test case in one-touch operation way without the intervention of users generation can be achieved by generating multiple test cases which can meet the conditions based on MapReduce architecture automatically. Test case model can be saved and reused for future modifications.(3)implement the provision of platform which can provide efficient and available cloud testing generation service:The architecture and portal of platform are designed, focus on the completion of user service management, the visual execution of test generation, the management of test model and log and other functional modules, and implement a set of available test generation cloud service systems. This thesis chose an on-line teaching system to verify the generation and execution of this plateform, and the result show that this test generation service platform can provide practical and available services of conformance test generation...