公开(公告)号：CN107423217B

公开(公告)日：2020-02-14

申请号：CN201710555676.0

申请日：2017-07-10

Applicant: 东北大学秦皇岛分校

Inventor： 史闻博 ,  刘明曦 ,  孙璞 ,  董志勇 ,  刘江龙 ,  张起嘉 ,  高华政 ,  曹佳琦 ,  付炜 ,  朱恺康 ,  李成蹊 ,  公伟凯

IPC: G06F11/36

Abstract: 本发明公开了一种基于变异树的黑盒模糊测试方法及系统，包括：S1，构建变异树，生成模糊测试用例组；S2，确定除根节点以外的每个节点的估值并设定估值的阈值；S3，对未遍历的各个节点的估值进行排序，选出估值最大的节点；S4，对目标程序进行检测；S5，判断是否满足中间准则或输出是否存在可疑数据；S6，若满足中间准则或输出不存在可疑数据，则降低该节点及其孩子节点的估值，并判断该节点降低后的估值是否小于阈值；S7，若小于阈值，则剪掉以该节点为根节点的子树，并转到S3；否则调整变异操作，生成新的模糊测试用例组，转到S3，直至遍历完整棵变异树，完成目标程序的模糊测试。本发明解决了漏洞被遗漏的问题，实现充分测试。

公开(公告)号：CN107423217A

公开(公告)日：2017-12-01

申请号：CN201710555676.0

申请日：2017-07-10

Applicant: 东北大学秦皇岛分校

Inventor： 史闻博 ,  刘明曦 ,  孙璞 ,  董志勇 ,  刘江龙 ,  张起嘉 ,  高华政 ,  曹佳琦 ,  付炜 ,  朱恺康 ,  李成蹊 ,  公伟凯

IPC: G06F11/36

Abstract: 本发明公开了一种基于变异树的黑盒模糊测试方法及系统，包括：S1，构建变异树，生成模糊测试用例组；S2，确定除根节点以外的每个节点的估值并设定估值的阈值；S3，对未遍历的各个节点的估值进行排序，选出估值最大的节点；S4，对目标程序进行检测；S5，判断是否满足中间准则或输出是否存在可疑数据；S6，若满足中间准则或输出不存在可疑数据，则降低该节点及其孩子节点的估值，并判断该节点降低后的估值是否小于阈值；S7，若小于阈值，则剪掉以该节点为根节点的子树，并转到S3；否则调整变异操作，生成新的模糊测试用例组，转到S3，直至遍历完整棵变异树，完成目标程序的模糊测试。本发明解决了漏洞被遗漏的问题，实现充分测试。