Research On Embedded Software Test Case Generation Method

With the continuous development of embedded computer technology, safety-critical embedded systems were applied in many areas of more and more complex structure and function, once the failure of these systems will bring immeasurable social life and property losses. How to effectively improve the reliability of embedded software has become focus of by the industry and academia in general. Embedded software testing plays an important role in enhancing the credibility of embedded software systems, and model-based statistical testing has been widely used because of its high credibility and high efficiency at home and abroad.This dissertation focuses on the statistical tests used in embedded software to automate generated test case. Firstly, analysis the unique nature of embedded software testing and researches all aspects of the status and ideas, proposed testing model which applies the feasibility of embedded software testing and built embedded software usage model; secondly, using the model framework based on this study to generate the test model, especially analysis the method uses the constraints of the Construction Rules. The processes of establishing the test model, the test model to use the model of achieve convergence, optimization and realization of the implementation steps. Also studied the convergence of efficient algorithm, solution precision specified circumstances to obtain the optimal solution fast convergence. The final usage model is based on the actual use of software, can be widely applied in Markov usage model process of software statistical testing. Experiments show that this method can not only improve the automation level of statistical tests and can effectively reduce the model complexity to improve test efficiency, saving the cost of test.Finally, based on the model-based testing theory of the statistical tests, this dissertation implements it in the embedded processor SPARC simulation project. It absorbs the advantages of the appear test model, firstly introduced the model to embedded software testing to generate test cases, and implemented the conversion of usage model to test-model parameter analyzes and features such as automatic generation the test cases. Improve the level of test automation tools and improve the statistical tests tools which dropped theory behind, and provide a reference for test automation.