基于通讯多端口有限状态机的协议互操作性测试生成方法
授权
摘要
基于通讯多端口有限状态机的协议互操作性测试生成方法属于网络协议测试技术领域,其特征在于所述方法依次含有以下步骤:把协议系统规范描述为一个通讯多端口有限状态机模型,并用基于单激励原则的互操作性测试生成技术生成抽象测试集1;计算测试集1的错误覆盖度,必要时用所述增强测试生成方法生成错误覆盖度更高的抽象测试集2;根据实际测试场景确定分布式测试架构;把测试集2分布到各测试部件上时,通过在测试序列中添加测试部件间的协调消息的方法以解决控制观察问题,得到抽象测试集3;进一步可将其转化为实际的测试脚本。本发明适用于各种不同的分布式测试架构,具有一定的通用性。
基本信息
专利标题 :
基于通讯多端口有限状态机的协议互操作性测试生成方法
专利标题(英):
暂无
公开(公告)号 :
CN1741482A
申请号 :
CN200510086519.7
公开(公告)日 :
2006-03-01
申请日 :
2005-09-27
授权号 :
暂无
授权日 :
暂无
发明人 :
吴建平王之梁尹霞
申请人 :
清华大学
申请人地址 :
100084北京市北京100084-82信箱
代理机构 :
代理人 :
优先权 :
CN200510086519.7
主分类号 :
H04L12/26
IPC分类号 :
H04L12/26 H04L29/06
法律状态
2007-11-07 :
授权
2006-04-26 :
实质审查的生效
2006-03-01 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载