基于范式语法的工控协议 Fuzzing 测试技术

• 作者: 吴礼发 孙贺 康红凯 张亚丰 洪征
• 来源期刊: 计算机应用研究
• 关键词: 工控协议 模糊测试 范式语法 漏洞挖掘
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2433-2439
• 页数: 7页
• 分类号: TP309.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2016.08.043

摘要

针对工控协议 Fuzzing 测试存在测试脚本编写工作量大、测试用例的覆盖面小、测试效率低等问题，提出了一种基于范式语法的工控协议 Fuzzing 测试方法。首先以改进的扩展巴科斯范式（modified augmented Back-us-Naur form，MABNF）来描述工控协议；然后根据范式语法模型，将报文样本解析为范式语法变异树，进而生成范式语法变异树的描述脚本；提出了基于 MABNF 变异树的测试用例生成算法（MABNF-mutation-tree based test-cases generating method，MTGM），先对 MABNF 变异树进行深度优先遍历，再采用语义变异策略对节点实施变异；最后利用 MTGM得到冗余少、有效性高的测试用例集。使用该方法，实现了基于 Peach 的工控协议 Fuzzing 测试原型系统 M-Peach，对供水 SCADA 系统进行了测试。与 Peach 的对比实验表明，所提出的方法能有效减少测试冗余，提高测试用例集的覆盖面和测试效率。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴礼发	解放军理工大学指挥信息系统学院	70	709	12.0	25.0
2	张亚丰	解放军理工大学指挥信息系统学院	4	29	3.0	4.0
3	洪征	解放军理工大学指挥信息系统学院	27	199	9.0	13.0
4	孙贺	解放军理工大学指挥信息系统学院	5	30	3.0	5.0
5	康红凯	解放军理工大学指挥信息系统学院	3	18	2.0	3.0