The Test System Design of Real-Time Embedded Software System

Abstract

Real-time embedded system has the widely application and becomes more and more complex. The effective test can find errors and improve performance in time. Design and produce the complete collection of test cases is the key to test. Formal method is the basis of precise modeling, but it is difficult to implement. In this paper, the real-time extension scheme of state diagram, and the test case generation algorithm based on the test tree is analyzed according to the UML state diagram, in order to improve the accuracy of the test case construction method.