并发TTCN的操作语义及相关算法

摘要：

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

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

所属期刊栏目：29

分类号：TP311.52(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：77-78,117