Research On Automatic Generation Method Of Validation Test Case

Software has been widely used in aerospace systems with the development of technology. The failures of software can lead to the failure of whole task, more seriously, even tragedy. As to software testing, finding errors of the software as much as possible can test the testing target sufficiently and enhance software reliability. It is important to research advanced software testing technology to improve recent software testing technology, and enhance software reliability.First of all, this paper surveys the development of automatic generation method of validation test case around the world, and sum up several efforts on relative research which can be used for reference, and deficiency. Then analysis the advantage and disadvantage of every method be surveyed, the guideline that developing feasible, practical method of automatic generating validation test case which can be used in aerospace applications based on model checking technology has been made. Second, advance an approach that can define the numerical computation characteristic of requirements specifications efficiently based on the guideline that chosen, makes the use of model checking technology to practical aerospace applications possible. Third, advance an algorithm of constructing temporal logic based on MC/DC coverage criteria of requirements model, the generated temporal logic can be imported to the model checkers to generate test cases accord with MC/DC coverage criteria.Based on the above research, sum up a process of the automatic validation test case generation method. The process includes software requirements analysis, formal modeling based on software requirements, verifying the consistency between software requirements and formal model, transforming the temporal logic based on testing criteria and refining the test cases and so on. The process of the automatic validation test case generation method has been detailed described.Finally, this paper applies the automatic validation test case generation method to a practical aerospace software system—the smart power control unit, compare the test cases generated by the automatic validation test case generation method with the test cases generated by handwork, and validate the validity and sufficiency of the generated test cases, the experiment results prove that the method is practical. Such method makes a good guidance to the application of the automatic validation test case generation method on the other aerospace software systems.