Abstract

When testing real time system, Automating timed test suite generation has much advantages over manual test suite generation. Formal models are usually used to describe the complex system behaviours, such as TIOA (Timed Input Output Automaton) and MSC (Message Sequence Charts). Therefore, test suite can be generated from the formal model of the specification. Exhaustive test are preferred to cover all faults in a test, but it is almost impossible. Test purpose represents the partial requirements to be tested. In this thesis, we present a new method for automatically generating timed test suite based on the test purpose expressed in MSC, and the specification expressed in TIOA. A set of integrated algorithms is provided to process input test purpose and specification to generate timed test suite. In this method, MSC is transformed to TIOA, and the test purpose and the specification are synchronized as one single product. This single product is then sampled to construct a grid automaton. Finally, a traversal algorithm is applied to the grid automaton to generate test suite. We implemented this method and experimented it with different examples. Comparing with other methods, test cases generated by our method have a smaller number, and they are self-evident and can be easily represented by TTCN (Tree and Tabular Combined Notation)