Research On Some Key Technology Of Software Testing Reuse Based On Formal Method

With the rapid growth of the application of information technology, computer soft-ware system has been penetrated into all fields of social life. The losses caused by soft-ware defects extend from the military, aviation, medical and other fields gradually toeveryday life. Software testing, as one of the most important means to acquire the qual-ity metric and to find software defects, constantly catches people's attention. Softwaretesting gradually becomes an independent business and social division of labor,alongwith the rapid development of software engineering. Software testing accounts for morethan forty percent of the entire cost in software life cycle,even sixty percent of theentire cost in the Safety-critical field. The poor software product quality caused by inad-equate testing of the software has become one of the important factors which constrainChina's software industry development. Reuse of test cases plays a very important role inimproving software quality, shortening the testing cycle,improving the testing coverage.The research on software testing reuse has become a vital branch of testing engineeringresearch.The research project in this paper has significance in improving the testing skilland process capability maturity, promoting the development of China's software industry.Software testing cases reuse research at home and abroad, tends to focus on specificstage of the reuse process, either on the generation of test cases or on the organization andstorage of test cases. The Testing Capability Maturity provides a guidance for the soft-ware testing process, but the process improvement cost is very high because of the lack ofeffective means of modeling and simulation before the practice. The lack of semantic de-scription of test cases and systemize research impact testing cases reuse. The research onreuse of test cases has great theoretical value and broad application prospects. In this pa-per,we will carry out deep research on the test process modeling and simulation, reusabletest cases generation, the description of test case based on ontology. The achievementsand main works in this dissertation are listed as following:I The testing process model based on Hierarchical Timed Colored PetriNets(HTCPN) was presented in this paper, and the simulation and reuse was im-plemented. According to the basic elements of the testing process, we used classicpetri net to simulate and analyze all the stages of testing process including test plan,test design, test execution, defect repair, testing result evaluation and other aspects.On this basis,software process modeling and the dynamic simulation process was implemented by HTCPN tools in accordance with the model of top-down. Thetesting process optimization and resource schedule was achieved by adjusting thevarious process parameters, avoiding the time and economic loss caused by lowtesting process.I The web browser page sequence testing coverage criteria and interaction testingcoverage criteria was proposed and described in Z Notation. The web applicationhas a non-status, multi-entrance uncertain ?ow characteristics,which has broughtnew challenges for web application testing. The web sequence coverage criteriawas proposed based on the sequence of different web page according to applica-tion logic. This paper also discuss interaction coverage between web applicationand browser in Z Notation. The subsumption of these coverage criteria was ana-lyzed. These coverage criteria is very usable to reduce complication, to improvethe accuracy of criteria description and reusability.I Anewautomatictestcasegenerationalgorithmbasedongeneticalgorithmforpair-wise testing was put forward. The algorithm is called GACT. To find the smallestset of testing cases which satisfies the pairwise combination is non-deterministicpolynomial complete problem. The tool based on GACT can generate satisfactorytest case set. Compared to the similar algorithm abroad, GACT can decrease thenumber of test cases when the number of combination is very large.I Thedescriptionmodel,usedforreuseoftestcase,wasproposed. Thetestingontol-ogy and software classification ontology were introduced to describe the semanticrelationship between the test cases. Test cases ontology similarity matching calcu-lation methods and retrieval process of test cases were discussed after building testcases ontology. Formal method was used to describe three sources of the reusablesoftware test case to increase the reuse capacity of test cases. These source are thefixed properties field test, the state decomposition and state comparison, and thetest template framework of reusable test cases.I Aftersurveyingofthequalityofsoftwaretestingandenterprisesoftwareconfigura-tion, the causal relation between testing software quality and the test configurationwas analyzed. On this basis, a test case reuse support environment - SoftwareTesting Management Platform(STMP) was implemented according to the achieve-ment of this paper. This support environment was applied in a actual third-party testing organization, according to statistics over the past year,the testing efficiencyincreased by 20% on average. Part of the research results of this paper won thethird prize for Progress of Science and Technology of Shanghai.