一种有状态协议的规则化状态机模型设计方法
- 专利权人:
- 北京理工大学
- 发明人:
- 胡昌振,马锐,韩雪,单纯,王勇
- 申请号：
- CN201410333944.0
- 公开号：
- CN104142888B
- 申请日:
- 2014.07.14
- 申请国别(地区):
- 中国
- 年份:
- 2017
- 代理人:
- 仇蕾安
- 摘要：
- 一种有状态协议的规则化状态机模型设计方法，本发明针对有状态网络协议，对传统模糊测试进行了改进，使其生成的测试用例不是杂乱无章的，而是有针对性，覆盖面广并且高效的。步骤一、获取待测试网络协议的协议规范，通过对协议的格式解析得到协议规则和初步的协议状态机模型；步骤二、通过初步的协议状态机模型和状态规则信息，生成简化状态空间的规则化状态机模型；步骤三、通过协议规则和规则化状态机模型生成结合状态和规则的状态生成树，通过状态生成树简化状态和消息之间的关系，排除无意义的组合；步骤四、生成初始测试用例；步骤五、对初始测试用例进行有规则的变异，得到最终的测试用例集。
- 来源网站：
- 中国工程科技知识中心
