期刊文献+

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

Operational Semantics of Concurrent TTCN and Related Algorithm
下载PDF
导出
摘要 TTCN作为一种形式化的测试集描述语言,已经得到了广泛的应用。在介绍了并发TTCN的基本概念之后,接着介绍TTCN2的操作语义及相关算法,然后结合TTCN执行机的实现给出了并发测试组件的调度算法。 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.
作者 张卫星 蒋凡
出处 《计算机工程》 CAS CSCD 北大核心 2003年第4期77-78,117,共3页 Computer Engineering
关键词 操作语义 形式化测试集描述语言 算法 协议一致性测试 测试组件 并发TTCN语言 Concurrent TTCN;Operational semantics;Protocol conformance test Test component
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部