搜索筛选:
搜索耗时0.0444秒,为你在为你在61,042,059篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：孙宇霖,屈玉贵,赵保华,
来源：通信学报 年份：2001
本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等效的 ,但在处理状态较多的......
[期刊论文] 作者：孙宇霖,屈玉贵,赵保华,
来源：计算机研究与发展 年份：2001
有限状态机模型一般被用来描述通信协议和其它种类的分布式系统 .对于一个多端口的有限状态机 ,需要多个测试单元进行测试 .使用一个包括 K个 (K≥ 2 )测试单元的测试系统可以检查一个多单元通信协议软件的收发行为是否与协议规格一致 .在测试过程中 ,K个测试单......
[期刊论文] 作者：孙宇霖,赵保华,屈玉贵,
来源：计算机学报 年份：2002
使用多测试单元的测试系统可以对多端口协议实现进行一致性测试.但是在进行这种一致性测试时,测试系统各个端口之间可能会出现同步问题.现在,解决同步问题常用的办法是在测试...
相关搜索：
