失效

一种面向状态协议实现软件的模糊测试方法

张博锋、赖志权、吴逸伦、乔林波、王勇军、解培岱、李美剑
中国人民解放军国发科学技术大学

摘要

本发明公开了一种面向状态协议实现软件的模糊测试方法。其步骤包括:1)捕获目标状态协议实现软件的正常交互流量;2)从捕获流量中识别和提取协议交互消息以及消息交换过程,最终生成一定格式的协议脚本文件;3)遍历目标程序协议状态机,产生准备变异的正常测试用例;4)将正常测试用例变异生成畸形测试用例,执行模糊测试。本发明方法通过识别目标程序正常通信的消息及其交互过程,建立状态协议状态机脚本,并通过遍历协议状态机生成测试用例,从而能够显著提高对状态协议实现软件的测试覆盖率。