我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:主页 > 变迁系统 >

标号变迁系统 的翻译结果

归档日期:09-16       文本归类:变迁系统      文章编辑:爱尚语录

  对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段.在本文中我们提出了一种基于并发TTCN操作语义的互操作性测试系统的构造方法.并发TTCN是一种能够处理并发测试行为描述的语言,我们通过使用形式化地定义了它的操作语义,并描述了基于这种语言的操作语义的互操作性测试系统的测试执行和测试判决过程.我们认为这种方法对研究形式化的协议互操作性测试理论是很有帮助的.

  探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节.本文提出了一种形式化的基于测试描述语言TTCN的操作语义的测试执行方法,并使用标号变迁系统刻画了这一方法的整个执行过程,同时讨论了这个方法的一个具体实现.这种形式化的基于TTCN的测试执行方法非常适合于构造通用的协议测试系统,同时也是进行测试集的自动验证的有效手段

  首先 ,依照 ISO 96 46的定义 ,阐述了协议一致性测试的基本概念 .然后 ,介绍标号变迁系统(L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 .第 3,表述了实现关系在测试生成中的地位和作用 ,定义了输入输出系统 ,并在输入输出系统以及Δ变换的基础上引入实现关系 ioco.根据实现关系 ioco给出了一个测试集自动生成算法 .该算法能很好地适用于递归的 L TS.

本文链接:http://foungjampee.com/bianqianxitong/59/