节点文献

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

Operational Semantics of Concurrent TTCN and Related Algorithm

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 张卫星蒋凡

【Author】 ZHANG Weixing,JIANG Fan (Department of Computer Science and Technology,USTC,Hefei 230026)

【机构】 中国科技大学计算机科学与技术系中国科技大学计算机科学与技术系 合肥230026合肥230026

【摘要】 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.

  • 【文献出处】 计算机工程 ,Computer Engineering , 编辑部邮箱 ,2003年04期
  • 【分类号】TP311.52
  • 【被引频次】1
  • 【下载频次】79
节点文献中: 

本文链接的文献网络图示:

本文的引文网络