Research Of Automatic Generation Technology Of MC/DC Test Case Based On Genetic Algorithm

In the information era of rapid development of science and technology, more and more software products began to enter into all walks of life, how to ensure software quality and reliability has become a focus of attention, the software test is one of the important means. Software testing is a complex process that requires a lot of manpower and material resources and time, It costs roughly the entire software development costs forty to fifty percent.Therefore, ensure the quality of software development, one of the important means of lowering the cost of software development is to improve the automation of software testing, the key problem is to improve the automation of software test cases generated. Thesis topics are from basic research program focused on defense projects, research integrated modular avionics system testing and validation strategy and standardized application software unit testing and integration testing, this paper studied the method to automatically generate unit test cases.Paper briefly introduces the software testing research significance and research status at home and abroad, this paper introduces the basic theory of software testing, test case automatically generated commonly used technology, basic theories of genetic algorithm and simulated annealing algorithm, and the consistent with aviation DO- 178 B standard Modified Condition/Decision Coverage criterion(Modified Condition/Decision Coverage, MC/DC), analyzes the application of simulated annealing genetic algorithm the feasibility of the automatic generation of test cases.On this basis, this paper introduces in detail a kind of MC/DC test based on simulated annealing genetic algorithm is of automatic generation of cases design and its implementation tool. This method through the study of the static analysis of source code,get the program flow chart, and in accordance with the generated each determine minimum MC/DC test cases set, choose the appropriate decision branch points path,path as simulated annealing genetic algorithm to cover this actual search target, so as to automatically generate implementation conforms to the rule of MC/DC coverage of test cases. Considering the classified subject, choose has nothing to do with this topic the triangle category for determining program verification in this paper, the design of tools,determine the input data and generate the type and quantity decision branch point of MC/DC test cases set, determined by the MC/DC path choice, generating meet the path of the test case. The experimental results show that the tool can quickly generate standards to meet the needs of MC/DC test cases, the result is good.