当前位置: 首页 > 专利查询>清华大学专利>正文

基于变量依赖的并行扩展有限状态机的协议测试生成方法技术

技术编号:7253967 阅读:291 留言:0更新日期:2012-04-11 18:40
本发明专利技术涉及网络协议测试技术领域,公开了一种基于变量依赖的并行扩展有限状态机的协议测试生成方法,依次执行以下步骤:1:在计算机中,把被测试的网络设备的协议规范描述为一个并行扩展有限状态机模型;2:采用忽略变量依赖的扩展有限状态机测试生成技术生成组件状态机抽象测试集;3:针对外部变量,生成可执行化外部前导序列;4:采用链接外部前导序列的方法对组件状态机抽象测试集进行可执行化处理;5:生成关于外部变量的跨状态机抽象测试集;6:将经过步骤4处理的抽象测试集与步骤5生成的抽象测试集合并,删除重复或被包含的测试序列,得到协议状态机的抽象测试集。本发明专利技术解决了变量依赖导致的路径不可执行问题,避免了状态爆炸。

【技术实现步骤摘要】

【技术保护点】

【技术特征摘要】

【专利技术属性】
技术研发人员:王之梁姚姜源尹霞
申请(专利权)人:清华大学
类型:发明
国别省市:

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1
相关领域技术