节点文献
并发TTCN的操作语义及相关算法
Operational Semantics of Concurrent TTCN and Related Algorithm
【摘要】 TTCN作为一种形式化的测试集描述语言,已经得到了广泛的应用。在介绍了并发TTCN的基本概念之后,接着介绍TTCN2的操作语义及相关算法,然后结合TTCN执行机的实现给出了并发测试组件的调度算法。
【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;
操作语义;
协议一致性测试;
测试组件;
【Key words】 Concurrent TTCN; Operational semantics; Protocol conformance test; Test component;
【Key words】 Concurrent TTCN; Operational semantics; Protocol conformance test; Test component;
- 【文献出处】 计算机工程 ,Computer Engineering , 编辑部邮箱 ,2003年04期
- 【分类号】TP311.52
- 【被引频次】1
- 【下载频次】79