基于协议状态机遍历的模糊测试优化方法

• 作者: 冯文博 周胜利 张洪泽 洪征
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 模糊测试 协议状态机 协议状态迁移 中国邮路问题 UIO序列
• 年，卷（期）: 2020,（4）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 82-91
• 页数: 10页
• 分类号: TP309
• 字数: 11770字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1811-0190

摘要

针对现有的协议模糊测试技术存在报文重复交互、输入盲目等问题,提出一种基于协议状态迁移遍历的模糊测试优化方法.该方法将协议状态迁移遍历问题转化为中国邮路问题,求解遍历所有协议状态迁移的最短路径,并依据该最短路径对各个状态迁移进行测试.在测试过程中,通过分析协议实体在执行测试用例后的响应报文,动态调整后续的报文输入,进而避免无效交互.同时利用UIO序列判断协议实体状态是否发生异常迁移,及时检测协议逻辑漏洞.实验结果表明,该模糊测试优化方法可以显著提高测试效率与漏洞挖掘能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周胜利	浙江警察学院计算机与信息技术系	9	19	3.0	3.0
2	张洪泽	中国人民解放军陆军工程大学指挥控制工程学院	1	1	1.0	1.0
3	洪征	中国人民解放军陆军工程大学指挥控制工程学院	4	3	1.0	1.0
4	冯文博	中国人民解放军陆军工程大学指挥控制工程学院	5	3	1.0	1.0