Abstract: As a formal description language for test suite, TTCN is widely used in test. After a brief introduction on the basic concept of concurrent TTCN, it comes to the operational semantics of TTCN2 and the corresponding algorithm, finally proposes the scheduling algorithm of parallel test components.

摘要： TTCN作为一种形式化的测试集描述语言，已经得到了广泛的应用。在介绍了并发TTCN的基本概念之后，接着介绍TTCN2的操作语义及相关算法，然后结合TTCN执行机的实现给出了并发测试组件的调度算法。

关键词: 并发TTCN, 操作语义, 协议一致性测试, 测试组件

CLC Number: 

• TP311.52