Methods Of Automatic Generation Of Test Sequence Based On The System State Transitions

With the increasing of space mission complexity and development of information technology, embedded software has been widely used in aerospace systems, acting as control units or other important components. The failures of such software surely may cause some degree of function losing, or more seriously, tragedy system failure. As a common practice, software testing could find buges of the software as much as possible, improve the software quality and enhance system reliability. So, research software test-case generating technology is important factor to improve software testing caverage, and to software quality.First, this thesis carry out survey of software state transition based software testing technology, and sum up advantages and diaadvantages on relative research which can be used in practice. Then analysis and refinement of practical method of state transition based software test case generating technology are studied, leading a guideline based on Statecharts. Second, refine the Statecharts grammar to fullfil the test-case generation purpose. Third, an algorithm of automatic test case generation based on state transition coverage criteria and computer aided software tool is developed.Finally, this thesis applies the automatic test case generation method and software tool to practical embedded software. Analysising of the test cases generated by the refined method with the test cases generated by traditional way, show the validity and sufficiency of the generated test cases. Such method makes a good guidance to the embedded software with the state transition controlled system.