基于通信多端口有限状态机的协议互操作性测试生成研究
王之梁[1] 吴建平[2] 尹霞[2]
[1]清华大学信息网络工程研究中心,北京100084 [2]清华大学计算机科学与技术系,北京100084
摘 要:
协议测试是一种保证网络通信协议实现质量的重要技术，互操作性测试是一类常用的协议测试技术．文章提出了一种基于通信多端口有限状态机模型的协议互操作忡测试生成方法．首先采用已有的基于可达性分析的方法生成集中式测试序列；然后采用单一错误模型对其进行系统的错误覆盖分析，为达到更高的错误覆盖度，进一步提出一种增强的测试生成算法；最后讨论了互操作性测试巾的控制观察问题，选择适当的分布式测试架构，并进而生成分布式同步测试序列．实验结果表明：与原有方法相比，该方法可以有效地提高测试集的错误覆盖，并具备一定的可行性和有效性． (共11页)
学科分类:
TP393[工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 计算机网络]
相关期刊
关注本文的人:
看过本文的人还看过:
cqvip.com