Research On Tool Of Generating Test Cases Automatically From Model On Requirement

With the rapid development of the software technology in our aerospace filed, it is more important of the dependability of software, especially in the space project software. The failures of software can lead to enormous loss, more seriously, even tragedy. In order to avoiding loss from software errors, on the step of software testing, it should find more and more errors to improve the dependability and reliability of the software. It has great meanings to enhance reliability of software in aerospace filed through researching advanced software testing technology and designing the tools to realize the technology.In this paper, first of all, through the analysis with the method of generating test cases and finishing test automatically around the world, it sums up several efforts on relative research and deficiency. For the problem of identifying and track the variable in the process of model, it realizes the function of orientation based on the efforts during the whole process. The function can track and go to the variable all the time in the formal model so that it enhances the efficiency of modeling. Secondly, on the base of analysis with test coverage criteria, it provides simple path coverage and MC/DC coverage criteria. At the same time, it analyzes detailed this two test coverage criteria. Third, after the formal model checking, it gets the counterexamples from the result of checking. Because of the existence with redundant counterexamples, it designs programmed algorithm to reduce the redundancy. Fourth, it realizes the function of variable identified between input and output so that it can gain the test cases from counterexamples. It changes the cases to test scenarios through some algorithm for finishing the test automatically. At result, it gets the comparison file between the test output and the anticipated output.Based on the above research, it sums up a process of generating test cases and finishing test automatically from the requirement of space project software. The process includes formal modeling, transforming the temporal logic based on testing criteria, model checking, getting counterexamples, deleting the redundancy, gaining test cases and test automatically. Following this process, it designs a test tool to realize these functions. The tool of generating test cases automatically from model on software requirement has been detailed described in this paper.Finally, it applies the tool to a specifically software named cleanroom software. Based on the formal model, it realizes generating test cases and finishing test automatically to prove the validity and practicability of this tool. At the same time, it makes a good guidance to the application of the tool of generating test cases automatically from model on software requirement on the other aerospace software systems.