论文研究基于范式语法的工控协议Fuzzing测试技术.pdf

针对工控协议Fuzzing测试存在测试脚本编写工作量大、测试用例的覆盖面小、测试效率低等问题，提出了一种基于范式语法的工控协议Fuzzing测试方法。首先以改进的扩展巴科斯范式（modifiedaugmentedBackus-Naurform，MABNF）来描述工控协议；然后根据范式语法模型，将报文样本解析为范式语法变异树，进而生成范式语法变异树的描述脚本；提出了基于MABNF变异树的测试用例生成算法（MABNF-mutation-treebasedtest-casesgeneratingmethod，MTGM），先对MABNF变异树进行深度优先遍历，再采用语义变异策略对节点实施变异；最后利用MTGM得到冗余少、有效性高的测试用例集。使用该方法，