基于状态间潜在关系的协议模糊测试方法及系统

本发明属于网络安全协议漏洞挖掘技术领域，公开一种基于状态间潜在关系的协议模糊测试方法及系统，该方法包括：在状态建模阶段，跟踪被测程序状态机中的有向边来生成状态位图，所述状态位图包含状态迁移信息；在状态选择阶段，将状态选择问题建模为多臂老虎机优化问题，并使用Epsilon‑Greedy算法和汤普森采样算法，结合状态迁移信息来解决该优化问题。本发明设计一种状态位图表示状态间迁移的情况，保留基本状态信息的同时简化状态机的表示，建立被测协议状态机和状态位图之间的映射关系，将状态间的迁移抽象为状态位图中的状态点，从而简化构建和分析被测协议状态机的过程。