Research On Techniques Of Automatic Test Platform Based On Model-Driven Development

The model-driven embedded software testing method is a hot research in recent years at home and abroad,it used to describe the function of the software,solved the embedded software hardware constraints,reduced the difficulty of embedded software testing.Due to the complexity of the process,the existing model-driven embedded software testing tools often focus on one aspect about the testing requirements.However,it is not very useful to most software requirements.This thesis analyzes the function and requirement of the embedded software system(UAV)in real project,and designs the testing scheme of the target system based on the model-driven testing technology.The model of the flight control system is described by the UML sequence diagram,and the formal model of the system is obtained by converting and validating it.The model is analyzed and processed by the formal model to get the set of test cases,And the test cases are optimized on the basis of it.Then generated the optimized test case to get the software test report.In order to improve the efficiency of the test solution,this thesis studies the formalization of the model and optimization of test cases.In order to solve complex system combination fragment nested case in UML sequence diagram,guarantee the correctness of the system model,and improve the test efficiency and quality.This thesis proposes a formal transformation and consistency verification algorithm,based on the collection system of UML sequence diagrams describe parsing,build the network relations and transform it to get reliable consistency verification was carried out on the model of formalized model.Based on the formal model automatically generate initial test case set.The test cases of concentration is randomly generated,there will be a redundant test cases,execution efficiency is low,in order to solve this problem,this paper presents the test case reduction method of optimization,the method of the initial set of test cases classification,sorting,reduction by optimizing test case set,so as to improve the efficiency of test case execution.Based on the above test scheme,this thesis implements the embedded software testing platform.The reliability of the UML sequence diagram is verified by the flight control system as the tested object,and it verify the safety and reliability of the time automaton network model.To optimize the test cases for the formal model generation reduction to get optimized set of test examples.Contrast to perform initial test case set and optimization of test with the result of example sets,this reduction algorithm is proved to be correct.The experimental results show that this algorithm can obviously improve test case execution efficiency.The whole test platform to the comprehensive testing embedded flight control system,and the ability to output a credible test results.