基于通信多端口有限状态机的协议互操作性测试生成研究-清华大学.PDF

第 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