基于有限状态机网络协议半合法化模糊测试用例生成方法

摘要

本发明公开了基于有限状态机网络协议半合法化模糊测试用例生成方法，包括如下步骤：基于有限状态机的网络协议中，根据网络协议规约，解析协议交互过程，构建基于有限状态机的网络协议模型；然后建立针对有限状态机的完整的测试序列，该测试序列为一个由有限状态机中所有状态转移路径组成的集合；构造协议消息m_d变异后的畸形协议消息集合；从m_d的畸形协议消息集合中顺次选取其中的一个用于替代所述完整的测试序列中的m_d，获得一个关于m_d的模糊测试序列，则共获得p个关于m_d的模糊测试序列；最终获得关于m₀～m_n‑1的所有模糊测试序列作为模糊测试用例。使用本发明能够获得更细粒度的网络协议模糊测试用例。