发明名称 |
基于并行扩展有限状态机的协议层次化测试生成方法 |
摘要 |
本发明公开了一种基于并行扩展有限状态机的协议层次化测试生成方法,包括:将待测试的网络设备的协议规范描述为一并行扩展有限状态机模型;将并行扩展有限状态机模型中各个组件模型间的变量使用情况描述为一状态机依赖图;根据状态机依赖图,采用自底向上的可达图生成算法生成组件状态机可达图;根据组件状态机可达图生成组件状态机本地测试集;根据状态机依赖图,采用自顶向下的生成算法将组件状态机本地测试集生成组件状态机并行测试集。本发明通过引入依赖图,在测试生成的过程中,依据依赖图,使用自底向上的可达图生成与自顶向下的测试生成,确保了生成的测试序列的可执行性,同时使用层次化生成减缓了状态爆炸问题。 |
申请公布号 |
CN103391224A |
申请公布日期 |
2013.11.13 |
申请号 |
CN201310308805.8 |
申请日期 |
2013.07.22 |
申请人 |
清华大学 |
发明人 |
王之梁;姚姜源;施新刚;尹霞 |
分类号 |
H04L12/26(2006.01)I;H04L29/06(2006.01)I |
主分类号 |
H04L12/26(2006.01)I |
代理机构 |
北京聿宏知识产权代理有限公司 11372 |
代理人 |
吴大建;刘华联 |
主权项 |
一种基于并行扩展有限状态机的协议层次化测试生成方法,包括:步骤1,将待测试的网络设备的协议规范描述为一并行扩展有限状态机模型;步骤2,将所述并行扩展有限状态机模型中各个组件模型间的变量使用情况描述为一状态机依赖图;步骤3,根据所述状态机依赖图,采用自底向上的可达图生成算法生成组件状态机可达图;步骤4,根据所述组件状态机可达图生成组件状态机本地测试集;步骤5,根据状态机依赖图,采用自顶向下的生成算法将所述组件状态机本地测试集生成组件状态机并行测试集。 |
地址 |
100084 北京市海淀区100084信箱82分箱清华大学专利办公室 |