基于特征矩阵的工控协议模糊测试方法

作     者：尚文利 李文轩 陈春雨 和晓军 曾鹏 SHANG Wenli;LI Wenxuan;CHEN Chunyu;HE Xiaojun;ZENG Peng

作者机构：中国科学院网络化控制系统重点实验室辽宁沈阳110016 中国科学院沈阳自动化研究所辽宁沈阳110016 沈阳理工大学自动化与电气工程学院辽宁沈阳110159 中国科学院机器人与智能制造创新研究院辽宁沈阳110169 中国科学院大学北京100049 

基　　金：国家重点研发计划资助项目(2018YFB2004200) 国家自然科学基金资助项目(61773368) 工信部2018年工业互联网创新发展工程“工业互联网安全标准体系与试验验证环境建设”项目 

出 版 物：《信息与控制》 (Information and Control)

年 卷 期：2020年第49卷第4期

页      码：436-443,454页

摘      要：针对现有工控协议模糊测试框架生成的测试用例存在覆盖度低和效率低的问题,提出了一种基于特征矩阵的测试用例生成方法.首先通过解析协议规约提取协议特征和约束规则,利用各协议特征的属性值进行笛卡尔积进而构造协议特征矩阵,然后设计针对性的结构变异策略作用于特征矩阵,同时不断采用约束规则降低用例冗余进而得到高质量的组合测试用例集.最后提出基于特征矩阵的测试用例生成算法,并将本方案与Peach框架进行对比实验,其结果表明该方法能够有效地提高测试用例覆盖度和测试执行效率,并具有漏洞检测能力.

主 题 词：工控协议 模糊测试 特征矩阵 约束规则 组合测试 

学科分类：0839[0839] 08[工学] 

核心收录：

D　O　I：10.13976/j.cnki.xk.2020.9466

馆 藏 号：203969076...