A Method of TTCN Test Case Generation Based on TP Description

摘要

So far, most existing protocol test generation methods are concentrated on complete protocol test, when aiming at some specific TP(test purpose),a mount of unnecessary test cases are generated because of the limitation of these methods. In this paper a method of TTCN (Tree and Tabular Combined Notation) test case generation based on TP description is proposed, in which according to non-formal TP, MSC (Message Sequence Charts) is adopted to describe TP, SDL (Specification and Description Language) is adopted to describe protocol specification, and on the basis of MSC description and SDL model, according to MSC description characteristic and communication circumstance depicted in SDL, the TP description is mapped to TTCN test case. In this method, TP is formally described; particular test case can be generated based on formal description purposefully and under the guidance of TP without generating unnecessary test cases. The validity of this method is verified by an illustration of IP Security protocol test.