原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第 29 卷 第 11 期 计 算 机 学 报 Vol . 29 No . 11
2006 年 11 月 C H IN ESE J OU RN AL O F COM PU T ER S Nov . 2006
基于通信多端口有限状态机的协议互操作性
测试生成研究
1) 2) 2)
王之梁 吴建平 尹 霞
1) (清华大学信息网络工程研究中心 北京 100084)
2) (清华大学计算机科学与技术系 北京 100084)
摘 要 协议测试是一种保证网络通信协议实现质量的重要技术 ,互操作性测试是一类常用的协议测试技术. 文
章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法. 首先采用已有的基于可达性分析的
方法生成集中式测试序列 ;然后采用单一错误模型对其进行系统的错误覆盖分析 ,为达到更高的错误覆盖度 ,进一
步提出一种增强的测试生成算法 ;最后讨论了互操作性测试中的控制观察问题 ,选择适当的分布式测试架构 ,并进
而生成分布式同步测试序列. 实验结果表明:与原有方法相比 ,该方法可以有效地提高测试集的错误覆盖 ,并具备
一定的可行性和有效性.
关键词 协议测试 ;互操作性测试 ;有限状态机 ;错误覆盖 ;分布式测试架构
中图法分类号 TP393
Protocol Interoperabil ity Test Generation Based on Communicating
Multi Port FSMs
WAN G ZhiLiang1) WU J ianPin g2) YIN Xia2)
)
1 ( N et w ork R esearch Center , Ts i ng h ua Uni vers i ty , B eij i ng 100084)
)
2 ( D ep art ment of Comp uter S cience Technol ogy , Ts i ng h ua Uni vers ity , B eij i ng 100084)
Abstract Protocol t e stin g i s one of t he imp ort ant t echnique s to en sure t he qualit y of imp lemen
t ation s of net wor k co mmunication p rotocol s an d int erop erabilit y t e sting i s a widely u sed p rotoc
文档评论（0）