CN110147310B - 一种基于变异策略的并行模糊测试调度方法及装置 - Google Patents
一种基于变异策略的并行模糊测试调度方法及装置 Download PDFInfo
- Publication number
- CN110147310B CN110147310B CN201910261097.4A CN201910261097A CN110147310B CN 110147310 B CN110147310 B CN 110147310B CN 201910261097 A CN201910261097 A CN 201910261097A CN 110147310 B CN110147310 B CN 110147310B
- Authority
- CN
- China
- Prior art keywords
- test
- strategy
- variation
- target program
- mutation
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000012360 testing method Methods 0.000 title claims abstract description 338
- 238000000034 method Methods 0.000 title claims abstract description 76
- 230000035772 mutation Effects 0.000 claims abstract description 94
- 230000008569 process Effects 0.000 claims abstract description 36
- 230000002159 abnormal effect Effects 0.000 claims abstract description 35
- 230000008901 benefit Effects 0.000 claims abstract description 23
- 239000003471 mutagenic agent Substances 0.000 claims description 33
- 230000003068 static effect Effects 0.000 claims description 10
- 238000004364 calculation method Methods 0.000 claims description 9
- 238000005457 optimization Methods 0.000 claims description 6
- 238000010606 normalization Methods 0.000 claims description 5
- 238000012545 processing Methods 0.000 claims description 5
- 230000001360 synchronised effect Effects 0.000 claims description 4
- 238000003780 insertion Methods 0.000 claims description 3
- 230000037431 insertion Effects 0.000 claims description 3
- 238000012544 monitoring process Methods 0.000 claims description 2
- 230000000694 effects Effects 0.000 abstract description 14
- 230000007246 mechanism Effects 0.000 description 5
- 238000005516 engineering process Methods 0.000 description 4
- 238000010998 test method Methods 0.000 description 4
- 238000005065 mining Methods 0.000 description 3
- 201000004569 Blindness Diseases 0.000 description 2
- 230000009471 action Effects 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 238000005259 measurement Methods 0.000 description 2
- 238000011160 research Methods 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 238000001514 detection method Methods 0.000 description 1
- 238000002474 experimental method Methods 0.000 description 1
- 238000012812 general test Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000006467 substitution reaction Methods 0.000 description 1
- 230000001960 triggered effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3676—Test management for coverage analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3684—Test management for test design, e.g. generating new test cases
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Abstract
本发明公开了一种基于变异策略的并行模糊测试调度方法及装置。本方法为:1)对模糊测试器中用于生成测试用例数据的变异策略进行静态分配,为并行的不同测试实例分配不同的变异策略;2)各测试实例根据分配的变异策略生成测试样本对设定目标程序进行模糊测试过程中,收集不同变异策略对该目标程序作用时产生的异常数目和测试覆盖率信息;3)根据各变异策略对应的异常数目和测试覆盖率信息,计算各变异策略对该目标程序的优势权重;4)根据变异策略的优势权重建立并行调度模型,动态优化并行模糊测试调度方案。本发明利用优势变异策略来优化不同目标程序的并行模糊测试执行效果,具有普遍适用性。
Description
技术领域
本发明涉及并行模糊测试领域的调度技术,主要是结合模糊测试中变异策略(Mutator Strategy)对目标程序的作用效果进行动态并行调度,提高并行模糊测试执行效率。
背景技术
模糊测试作为一项重要的漏洞挖掘技术,由于其对程序源代码依赖程度低,从发现漏洞到复现漏洞容易等特点,被广泛的应用到了数据库应用程序、安全产品(如防火墙等)、操作系统、WEB应用、应用程序、网络设备(交换机等)等目标的漏洞挖掘过程中。例如,微软在将其产品推向市场之前大约有20%到25%的漏洞都是通过模糊测试发现的。但是,由于在模糊测试的黑盒特性,在生成测试用例过程中所使用到的变异方法是随机的,随机的变异方法容易产生冗余用例,从而严重的影响到了模糊测试的效率。因此,如何避免模糊测试应用过程中的冗余测试,提高模糊测试路径覆盖率和异常触发率便成为了安全领域研究人员研究热点。
模糊测试作为一种随机自动化测试技术需要消耗大量的计算资源,随着云计算应用的普及,各大厂商和机构均利用并行化方法提高模糊测试效率。如谷歌的并行化模糊测试系统ClusterFuzz利用数百台虚拟机器进行并行测试;微软推出的Project SpringField项目利用基于云的并行系统为软件开发者提供软件安全检测服务。可见,并行模糊测试已成为工业界的通用测试方法,并行模糊测试方法能够有效缓解模糊测试随机性和盲目性导致的测试效率低等问题。但是现有的并行模糊测试方法由于缺少实例间协同机制,单纯的利用计算资源进行多实例并行方法不能有效缓解模糊测试的高冗余、低覆盖率等问题。
在现有的基于变异的模糊测试方法中,模糊测试器会对输入样本进行两个阶段的处理,第一阶段是对输入样本进行确定性的有序变异,即对样本完整的进行逐位翻转等有序变异,第二阶段是对输入样本进行随机变异,在随机变异阶段,模糊器随机选取一种变异策略对样本随机位置进行变异,并通过重复执行该过程实现对输入样本的变异。由于这种变异方法产生的输入用例具有很大的随机性,在多实例上对一个测试目标的模糊测试在一定程度上增加了模糊测试覆盖到更多程序路径以及触发更多异常的概率。但是直接以多实例并行的方法进行模糊测试规模化应用存在如下问题:
(1)由于模糊测试本身的随机性、盲目性的限制,在多实例上直接使用并行模糊测试会造成大量的冗余,不能充分提高并行模糊测试的效率。
(2)虽然随机变异阶段产生变异的位置不是确定的,但是针对不同的被测程序,可能会有不同的优势变异策略集合(优势变异策略是指应用其所产生的输入用例相对于其他变异策略来说可以触发更多的新路径),因此在多实例中直接使用传统的变异方式进行并行模糊测试难以充分发挥优势策略的变异优势,不能充分提高并行模糊测试的效率。
综合上述并行模糊测试和基于变异模糊测试方法的背景,为了提高并行模糊测试中的测试综合覆盖率和漏洞挖掘效果,本发明提出了一种基于变异策略并行的模糊测试调度方法及装置。
发明内容
并行模糊测试可以利用大规模的计算资源作为测试实例并行的进行模糊测试,每个测试实例都可以对相同的被测程序进行模糊测试,大规模并行模糊测试可以有效的提高模糊测试的效率。但是如果在每个测试实例对相同的被测试程序都使用相同的变异策略集合随机进行组合应用来生成测试用例,容易出现大量的冗余,从而影响并行模糊测试的效率。因此如何在大规模的并行模糊测试的测试实例中优化变异策略的调度,以实现在限定时间内挖掘出尽可能多的安全漏洞是一个值得研究的问题。
为了克服现有并行模糊测试技术的不足,本发明提出了基于变异策略的并行模糊测试调度方法,利用确定性变异和基于优势变异策略的随机变异结合的方式,提高并行模糊测试的效率。
本发明的技术方案为:
一种基于变异策略的并行模糊测试调度方法,其步骤包括:
1)对模糊测试器中用于生成测试用例数据的变异策略进行静态分配,为并行的不同测试实例分配不同的变异策略;
2)各测试实例根据分配的变异策略生成测试样本对设定目标程序进行模糊测试过程中,收集不同变异策略对该目标程序作用时产生的异常数目和测试覆盖率信息;
3)根据各变异策略对应的异常数目和测试覆盖率信息,计算各变异策略对该目标程序的优势权重;
4)根据变异策略的优势权重建立并行调度模型,动态优化并行模糊测试调度方案。
进一步的,计算变异策略的优势权重的方法为:
21)基于测试实例i所分配的变异策略i对初始输入种子测试用例进行变异,生成多个待测试样本;
22)执行该目标程序并使用插桩工具对该目标程序进行插桩;
23)调度测试实例对步骤11)中生成的测试样本进行逐一的测试并对该目标程序进行实时监控,以获取程序异常数Mbug;
24)对该目标程序运行过程中插桩获取的信息进行统计,更新该目标程序的测试覆盖率信息Ccov;
25)判断步骤24)中收集到的测试覆盖率信息是否覆盖到了该目标程序的新路径,如果是则记录该测试样本为有效测试用例;
26)分别统计所有测试样本对应的程序异常数和测试覆盖率信息,并进行归一化处理,得到该变异策略i的归一化异常率crashmutator和归一化测试覆盖率coveragemutator;
27)根据该变异策略i的异常率crashmutator和测试覆盖率coveragemutator计算该变异策略i的优势权重。
进一步的,使用公式scoremutator=α*crashmutator+β*coveragemutator计算出每个变异策略对应的优势权重scoremutator;其中,α、β表示两个因素的影响系数,α、β取值在0至1之间,且α+β=1。
进一步的,根据变异策略优势权重建立并行调度模型,动态优化并行模糊测试调度方案的方法为:
41)选取优势权重靠前的K个变异策略作为该目标程序的优势变异策略,记为MRK;然后更新每个测试实例上采用的变异策略集合;其中,测试实例i初始静态分配的变异策略集合为MRi,更新后的变异策略集合MRi’=MRi U MRK,每个变异策略被调度到的概率为scorem表示测试实例i中变异策略m的优势权重,表示测试实例i中所有变异策略MRi’的优势权重之和;
42)测试实例i基于变异策略集合MRi’生成该目标程序的测试样本,对该目标程序进行测试;
43)测试实例i运行时间T后,将保留的有效测试用例发送给其他测试用例;并接收其他测试实例发送过来的有效测试用例;其中,测试实例i生成的测试样本a对该目标程序进行测试的测试覆盖率信息覆盖到了该目标程序的新路径,则该测试样本a为有效测试用例;
44)测试实例i将其他实例同步过来的有效测试用例作为种子用例继续进行生成该目标程序的测试样本,对该目标程序进行测试。
进一步的,采用四元组(目标程序,变异策略,异常数,路径覆盖率)记录变异策略对应的异常数目和测试覆盖率信息。
一种基于变异策略的并行模糊测试调度装置,其特征在于,包括静态分配模块、信息采集模块、优势权重计算模块、优化调度模块和多个测试实例;其中,
静态分配模块,用于对模糊测试器中用于生成测试用例数据的变异策略进行静态分配,为并行的不同测试实例分配不同的变异策略;
测试实例,用于根据分配的变异策略生成测试样本对设定目标程序进行模糊测试;
信息采集模块,用于收集模糊测试过程中,不同变异策略对该目标程序作用时产生的异常数目和测试覆盖率信息;
优势权重计算模块,用于根据各变异策略对应的异常数目和测试覆盖率信息,计算各变异策略对该目标程序的优势权重;
优化调度模块,用于根据变异策略的优势权重建立并行调度模型,动态优化并行模糊测试调度方案。
本发明设计的基于变异策略调度方法的测试对象是一个测试软件,测试软件可以对应一个或者多个输入种子集合和变异策略的集合,测试过程中的动态调度是针对模糊测试器所包含的变异策略进行的。每次调度是为一个测试实例的测试软件选取优势变异策略,每次调度过后会将优势变异策略加入到其他测试实例中,然后针对该待测试软件以及对应的输入进行指定数目的迭代测试,测试完成后进行下一轮的调度过程,直到整个测试任务的完成。
本发明在并行模糊测试的基础上利用测试过程的执行信息进行反馈指导变异策略的调度,在保证并行模糊测试执行效率的基础上,同时能够动态的调整各个实例上所使用的变异策略集合,更加有效的发现不同的安全漏洞。实现基于变异策略的并行模糊测试调度方法需要解决以下几个关键问题:
关键问题1:如何选取优势变异策略
要基于优势变异策略实现并行模糊测试变异策略调度方法来提高模糊测试的效果,如何来选取优势变异策略是需要首先考虑的问题。而要解决该问题,首先要考虑用什么样的标准来衡量某一个变异策略的测试效果。模糊测试是为了更好的发现待测试软件中的漏洞,而要发现软件中更多的漏洞首先要覆盖到程序的更多路径。因此,模糊测试执行效果的衡量需要从两个方面进行,首先是程序产生的异常数量,能够体现模糊测试发现漏洞的能力;其次是模糊测试执行过程能够覆盖到的程序路径数量,覆盖到的程序路径越多,发现程序漏洞的概率越大,从而体现出模糊测试的执行效果更优。这两类反馈信息从不同的方面体现了模糊测试的执行效果,因此本发明选取测试过程中产生的异常数量和覆盖率信息作为衡量变异策略测试效果的指标。
在选定变异策略的衡量指标的前提下,在调度执行的过程中我们选取测试效果最好的变异策略作为针对该目标软件的优势变异策略。
关键问题2:如何在各个测试实例上完成变异策略的动态调度
在大规模并行模糊测试系统中,不同的测试实例并发的进行模糊测试,而在选取出优势变异策略的前提下如何在各个实例上分配优势变异策略以提高并行模糊测试的效果就成为了一个需要解决的关键问题。本发明将对问题1中选取的优势变异策略建立调度模型,利用调度模型对每次测试任务进行动态的调度执行,以取得更优的并行模糊测试效果。
本发明提出的基于变异策略的模糊测试并行调度方法具有以下优点和有益效果:
(1)该方法可以扩展到所有的大规模的基于变异的模糊测试并行系统中,利用优势变异策略来优化不同目标程序的并行模糊测试执行效果,因此,本方法具有普遍适用性。
(2)该方法使用程序异常和覆盖率的反馈信息来选取优势变异策略,这样做可以在低开销的情况下尽可能的提高并行模糊测试的效用。
(3)该方法可以在各个测试实例中动态的实现变异策略的调度和调整,具体的实施过程可以根据被测试软件和测试需求的不同进行自主的调度模型定制和扩展,具有可扩展性和较高的灵活性。
附图说明
图1是基于优势变异策略并行的模糊测试调度方法的实施步骤图。
图2是变异策略的优势权重的计算流程图。
图3是基于变异策略的并行模糊测试动态调度方案图。
图4是采用本发明的并行调度方案和默认并行调度方案的实验结果对比。
具体实施方式
为使本发明的上述目的、特征和优点能够更加明显易懂,下面通过具体实施例和附图,对本发明做进一步说明。
本发明基于优势变异策略的并行模糊测试的调度方法,具体的实施分成如图1的4个步骤,具体描述如下:
步骤1:变异策略的静态分配,实现变异策略的并行化应用
本发明对模糊测试器中用于生成测试用例数据的变异策略实现了选取控制,通过对变异策略进行静态分配,在并行模糊测试的不同测试实例中使用不同的变异策略进行测试用例生成,本步骤的变异策略静态分配针对所有的随机变异策略进行,每个测试实例采用一种变异策略进行测试用例生成和测试,该步骤完成并行模糊测试中变异策略的初始化调度。
例如,针对一个包含10种变异策略的模糊测试器进行测试,10种变异策略的集合表示为MR,测试过程分别使用10个测试实例,每个测试实例采用一种变异策略MRi进行测试用例生成和测试。
步骤2:选择适当的动态反馈信息,衡量各测试实例的模糊测试效果
要实现基于优势变异策略的并行模糊测试调度方法,首先需要选取适合的反馈信息对调度进行动态的调整。执行反馈信息需要体现模糊测试的执行效率和测试产生漏洞的有效性。根据经验显示,模糊测试产生的被测试程序的异常数量和模糊测试所覆盖到的被测试程序的路径可以体现模糊测试的具体执行效率。在具体选取过程中,本发明以测试过程中产生的异常数量来衡量模糊测试过程发现漏洞的能力;另外,使用被测试软件的路径覆盖率作为模糊测试执行过程中衡量覆盖到的被测试程序路径的指标,从而体现模糊测试过程整体的覆盖率信息。因此,本发明采用异常数量和路径覆盖率这两个指标作为反馈信息指导基于变异策略的并行调度方法。
例如,本发明在各测试实例根据分配的变异策略生成测试样本对设定目标程序进行模糊测试过程中,收集模糊测试器的不同变异策略对目标程序作用时产生的异常数目、测试覆盖率信息,并表示为(#program,#mutator,#bug,#coverage)四元组信息。
步骤3:获取执行过程中的步骤2所描述的反馈信息,计算变异策略针对目标程序的优势权重
经过步骤2中对反馈信息的选择,在并行模糊测试过程中定期的动态获取每一个测试实例的(目标程序,变异策略,异常数,路径覆盖率)的四元组所表示的反馈信息,并完成汇总统计。由该四元组可知,我们需要在测试过程中收集某变异策略对应的测试实例中的异常数和路径覆盖率这两项数据。异常数获取需要对被测试程序进行实时的监控,并实现对每一次被测程序崩溃的记录(例如,在实际测试过程中,通过编写监控程序在程序执行过程中对程序状态和输出结果进行动态监控获取异常信息和数量)。程序执行过程中的覆盖率信息,可以通过使用插桩工具在被测试程序编译时候或者运行时刻进行插桩来完成,并在执行过程中获取到插桩信息并统计分析。
其中要计算变异策略的优势权重的执行流程如图2所示,具体描述如下:
(1)基于每个测试实例所分配的变异策略对初始输入种子测试用例进行变异,从而生成大量的待测试样本,当达到迭代次数N或者生成测试样本的限定时间T时进行(2)。
(2)执行目标程序并使用插桩工具对被测试程序进行插桩,便于后续获取执行过程中的程序路径覆盖率信息。
(3)调度测试实例对(1)中生成的测试样本进行逐一的测试,在对样本进行输入测试的同时启动监控程序,对被测试软件进行实时的监控,以获取程序异常数Mbug。
(4)对程序运行过程中插桩获取的信息进行统计,更新目标软件的测试覆盖率信息Ccov。
(5)判断(4)中收集到的覆盖率信息是否覆盖到了程序的新路径,如果是则记录该测试用例为有效测试用例。
(6)分别统计所有测试实例对应的程序异常和覆盖率信息,并进行归一化处理,分别用0至1之间的数据表示每个测试实例对应变异策略的异常率和测试覆盖率,分别表示为crashmutator和coveragemutator。
经过以上步骤,并行模糊测试系统获取到了各个测试实例上的变异策略对应的反馈信息,根据(6)统计的信息,计算各个实例对应的变异策略的权重,权重越大表示该变异策略对于被测试软件来说是优势变异策略。我们使用scoremutator=α*crashmutator+β*coveragemutator公式计算出每个变异策略对应的权重分值。其中crashmutator表示该变异策略的测试实例上程序异常率,其取值在0和1之间;coveragemutator表示该变异策略的测试实例中生成的测试用例对被测试程序的覆盖率,取值在0-1之间;其中α、β表示两个因素的影响系数,其中α、β取值在0至1之间,且α+β=1,两个系数的取值可以根据需求与侧重进行设置,例如对于异常数和目标软件覆盖率两者同样关注的情况可以将其分别设置为0.5。
步骤4:根据变异策略优势权重建立并行调度模型,动态优化并行模糊测试调度方案
基于步骤3对各个变异策略的权重计算,本发明对优势变异策略的选取使用Top K的方法,对于权重评分前K个的变异策略标记为针对被测试软件的优势变异策略,表示为MRK。然后,根据步骤3中优势策略权重计算结果增加测试实例上采用优势变异策略的比例,选取优势的变异策略对各个测试实例采取的变异策略进行优化调度,增加优势策略应用比例的模型不受本发明所列具体方法的限制。
此外,为了提高并行模糊测试调度过程中生成测试用例的深度和广度,拟采用基于时间片的有效样本(其中有效测试样本是指能够新增对目标软件的测试覆盖率的测试样本,在步骤3测试中标记)同步的方法实现不同变异策略的交叉作用。
具体的动态调度优化方案示例如下:
(1)更新每个测试实例上采用的变异策略集合,针对测试实例i,初始静态分配的变异策略集合为MRi,更新后MRi’=MRi U MRK,其中在测试实例i中每个变异策略被调度到的概率为其中scorem表示测试实例i中变异策略m的优势权重,表示测试实例i中所有变异策略MRi’的优势权重之和;scorem表示测试实例i中变异策略m的优势权重。
(2)各个测试实例基于(1)中的变异策略集合进行输入测试用例数据变异,并生成测试用例进行测试。
(3)各测试实例运行时间T后,将各个测试实例中保留的有效测试用例发送给其他测试实例。
(4)每个测试实例将其他实例同步过来的有效测试用例作为输入种子用例继续进行变异和测试用例生成。
最后,我们通过对比使用本发明的基于变异策略调度方案和采用默认调度方案的原始AFL这两种方案的实验结果,来验证该发明方法的有效性。在整个实验中,两种方案都是在17个并行测试实例上对C语言的XML程序库libxml2的xmllint进行模糊测试,其中方案1采用本发明的基于变异策略的调度机制,方案2采用默认的并行调度机制,测试对比如图4所示。通过图4可以看出,相同的实验环境且并行规模相同的条件下,采用基于变异策略并行的调度机制的并行模糊测试产生的路径覆盖率明显高于默认的调度方案所产生的路径覆盖率。因此,基于优势变异策略并行的模糊测试的调度机制可以有效的提高并行模糊测试的综合测试效用。
尽管为说明目的公开了本发明的具体内容、实施算法以及附图,其目的在于帮助理解本发明的内容并据以实施,但是本领域的技术人员可以理解:在不脱离本发明及所附的权利要求的精神和范围内,各种替换、变化和修改都是可能的。本发明不应局限于本说明书最佳实施例和附图所公开的内容,本发明要求保护的范围以权利要求书界定的范围为准。
Claims (8)
1.一种基于变异策略的并行模糊测试调度方法,其步骤包括:
1)对模糊测试器中用于生成测试用例数据的变异策略进行静态分配,为并行的不同测试实例分配不同的变异策略;
2)各测试实例根据分配的变异策略生成测试样本对设定目标程序进行模糊测试过程中,收集不同变异策略对该目标程序作用时产生的异常数目和测试覆盖率信息;
3)根据各变异策略对应的异常数目和测试覆盖率信息,计算各变异策略对该目标程序的优势权重;
4)根据变异策略的优势权重建立并行调度模型,动态优化并行模糊测试调度方案;其中动态优化并行模糊测试调度方案的方法为:
41)选取优势权重靠前的K个变异策略作为该目标程序的优势变异策略,记为MRK;然后更新每个测试实例上采用的变异策略集合;其中,测试实例i初始静态分配的变异策略集合为MRi,更新后的变异策略集合MRi ’=MRiU MRK,每个变异策略被调度到的概率为;表示测试实例i中变异策略m的优势权重,表示测试实例i中所有变异策略MRi ’的优势权重之和,scoremutator为变异策略对应的优势权重;
42)测试实例i基于变异策略集合MRi ’生成该目标程序的测试样本,对该目标程序进行测试;
43)测试实例i运行时间T后,将保留的有效测试用例发送给其他测试用例;并接收其他测试实例发送过来的有效测试用例;其中,测试实例i生成的测试样本a对该目标程序进行测试的测试覆盖率信息覆盖到了该目标程序的新路径,则该测试样本a为有效测试用例;
44)测试实例i将其他实例同步过来的有效测试用例作为种子用例继续进行生成该目标程序的测试样本,对该目标程序进行测试。
2.如权利要求1所述的方法,其特征在于,计算变异策略的优势权重的方法为:
21)基于测试实例i所分配的变异策略i对初始输入种子测试用例进行变异,生成多个测试样本;
22)执行该目标程序并使用插桩工具对该目标程序进行插桩;
23)调度测试实例对步骤21)中生成的测试样本进行逐一的测试并对该目标程序进行实时监控,以获取程序异常数Mbug;
24)对该目标程序运行过程中插桩获取的信息进行统计,更新该目标程序的测试覆盖率信息Ccov;
25)判断步骤24)中收集到的测试覆盖率信息是否覆盖到了该目标程序的新路径,如果是则记录该测试样本为有效测试用例;
26)分别统计所有测试样本对应的程序异常数和测试覆盖率信息,并进行归一化处理,得到该变异策略i的归一化异常率crashmutator和归一化测试覆盖率coveragemutator;
27)根据该变异策略i的异常率crashmutator和测试覆盖率coveragemutator计算该变异策略i的优势权重。
3.如权利要求2所述的方法,其特征在于,使用公式scoremutator=α*crashmutator+β*coveragemutator计算出每个变异策略对应的优势权重scoremutator;其中,α、β表示两个因素的影响系数,α、β取值在0至1之间,且α+β=1。
4.如权利要求1所述的方法,其特征在于,采用四元组(目标程序,变异策略,异常数,路径覆盖率)记录变异策略对应的异常数目和测试覆盖率信息。
5.一种基于变异策略的并行模糊测试调度装置,其特征在于,包括静态分配模块、信息采集模块、优势权重计算模块、优化调度模块和多个测试实例;其中,
静态分配模块,用于对模糊测试器中用于生成测试用例数据的变异策略进行静态分配,为并行的不同测试实例分配不同的变异策略;
测试实例,用于根据分配的变异策略生成测试样本对设定目标程序进行模糊测试;
信息采集模块,用于收集模糊测试过程中,不同变异策略对该目标程序作用时产生的异常数目和测试覆盖率信息;
优势权重计算模块,用于根据各变异策略对应的异常数目和测试覆盖率信息,计算各变异策略对该目标程序的优势权重;
优化调度模块,用于根据变异策略的优势权重建立并行调度模型,动态优化并行模糊测试调度方案;其中所述优化调度模块首先选取优势权重靠前的K个变异策略作为该目标程序的优势变异策略,记为MRK;然后更新每个测试实例上采用的变异策略集合;其中,测试实例i初始静态分配的变异策略集合为MRi,更新后的变异策略集合MRi ’=MRiU MRK,测试实例i中每个变异策略被调度到的概率为;为测试实例i中第m个变异策略的优势权重,scoremutator为变异策略对应的优势权重;然后测试实例i基于变异策略集合MRi ’生成该目标程序的测试样本,对该目标程序进行测试;测试实例i运行时间T后,将保留的有效测试用例发送给其他测试用例;并接收其他测试实例发送过来的有效测试用例;其中,测试实例i生成的测试样本a对该目标程序进行测试的测试覆盖率信息覆盖到了该目标程序的新路径,则该测试样本a为有效测试用例;然后测试实例i将其他实例同步过来的有效测试用例作为种子用例继续进行生成该目标程序的测试样本,对该目标程序进行测试。
6.如权利要求5所述的装置,其特征在于,所述优势权重计算模块首先基于测试实例i所分配的变异策略i对初始输入种子测试用例进行变异,生成多个测试样本;执行该目标程序并使用插桩工具对该目标程序进行插桩;然后调度测试实例对测试实例i生成的测试样本进行逐一的测试并对该目标程序进行实时监控,以获取程序异常数Mbug;以及对该目标程序运行过程中插桩获取的信息进行统计,更新该目标程序的测试覆盖率信息Ccov;然后判断收集到的测试覆盖率信息是否覆盖到了该目标程序的新路径,如果是则记录该测试样本为有效测试用例;然后分别统计测试实例i的所有测试样本对应的程序异常数和测试覆盖率信息,并进行归一化处理,得到该变异策略i的归一化异常率crashmutator和归一化测试覆盖率coveragemutator;然后根据该变异策略i的异常率crashmutator和测试覆盖率coveragemutator计算该变异策略i的优势权重。
7.如权利要求6所述的装置,其特征在于,所述优势权重计算模块使用公式scoremutator=α*crashmutator+β*coveragemutator计算出每个变异策略对应的优势权重scoremutator;其中,α、β表示两个因素的影响系数,α、β取值在0至1之间,且α+β=1。
8.如权利要求5所述的装置,其特征在于,所述信息采集模块采用四元组(目标程序,变异策略,异常数,路径覆盖率)记录变异策略对应的异常数目和测试覆盖率信息。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910261097.4A CN110147310B (zh) | 2019-04-02 | 2019-04-02 | 一种基于变异策略的并行模糊测试调度方法及装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910261097.4A CN110147310B (zh) | 2019-04-02 | 2019-04-02 | 一种基于变异策略的并行模糊测试调度方法及装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN110147310A CN110147310A (zh) | 2019-08-20 |
CN110147310B true CN110147310B (zh) | 2021-05-18 |
Family
ID=67589306
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910261097.4A Active CN110147310B (zh) | 2019-04-02 | 2019-04-02 | 一种基于变异策略的并行模糊测试调度方法及装置 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN110147310B (zh) |
Families Citing this family (18)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111124926B (zh) * | 2019-12-25 | 2022-09-16 | 支付宝(杭州)信息技术有限公司 | 模糊测试方法、装置、电子设备及存储介质 |
CN113111351B (zh) * | 2020-01-10 | 2023-10-17 | 中国电信股份有限公司 | 测试方法、装置和计算机可读存储介质 |
CN113326181A (zh) * | 2020-02-29 | 2021-08-31 | 华为技术有限公司 | 有状态网络协议的模糊测试方法、装置及存储介质 |
CN111428818B (zh) * | 2020-04-22 | 2023-06-02 | 浙江工业大学 | 基于神经通路激活状态的深度学习模型测试方法与装置 |
CN111897735B (zh) * | 2020-08-07 | 2022-11-11 | 北京理工大学 | 基于粒子群和多标准的模糊测试用例选择方法和装置 |
CN112417461B (zh) * | 2020-12-07 | 2023-10-03 | 北京梆梆安全科技有限公司 | 设备固件的模糊测试方法及系统 |
CN112527681B (zh) * | 2020-12-24 | 2024-03-12 | 中国银联股份有限公司 | 一种程序的漏洞检测方法及装置 |
CN113407443A (zh) * | 2021-06-02 | 2021-09-17 | 贝格迈思(深圳)科技有限公司 | 一种基于gpu二进制代码翻译的高效模糊测试方法 |
CN113313236B (zh) * | 2021-06-10 | 2024-03-15 | 浙江工业大学 | 基于时序神经通路的深度强化学习模型中毒检测方法及其装置 |
CN114077742B (zh) * | 2021-11-02 | 2022-12-02 | 清华大学 | 软件漏洞智能挖掘方法和装置 |
CN114465938A (zh) * | 2022-01-05 | 2022-05-10 | 国网湖北省电力有限公司电力科学研究院 | 一种基于模糊测试的充电桩can协议的渗透测试方法、系统及存储介质 |
CN114610601A (zh) * | 2022-01-25 | 2022-06-10 | 南京航空航天大学 | 一种对afl模糊测试器种子变异策略的优化方法 |
CN114661577B (zh) * | 2022-01-26 | 2023-09-26 | 天津大学 | 一种基于确定性策略与覆盖引导的模糊测试方法 |
CN115658534B (zh) * | 2022-11-04 | 2024-01-19 | 上海安般信息科技有限公司 | 一种基于多引擎融合的分布式模糊测试方法及装置 |
CN115905021B (zh) * | 2022-12-30 | 2023-11-28 | 长春吉大正元信息技术股份有限公司 | 一种模糊测试方法、装置、电子设备以及存储介质 |
CN117573523A (zh) * | 2023-11-15 | 2024-02-20 | 南京大学 | 一种基于互补度的并行化模糊测试方法 |
CN117827676A (zh) * | 2023-12-18 | 2024-04-05 | 北京水木羽林科技有限公司 | 一种基于qemu的黑盒覆盖率引导协议模糊测试的方法和系统 |
CN117992340B (zh) * | 2024-01-09 | 2024-10-08 | 北京水木羽林科技有限公司 | 数据库集群模糊测试方法、系统、计算机设备和存储介质 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8793578B2 (en) * | 2011-07-11 | 2014-07-29 | International Business Machines Corporation | Automating execution of arbitrary graphical interface applications |
CN106155901A (zh) * | 2015-04-21 | 2016-11-23 | 中国科学院信息工程研究所 | 黑盒与白盒相结合的执行反馈驱动的并行模糊测试方法 |
CN106649075A (zh) * | 2015-10-30 | 2017-05-10 | 西门子公司 | 模糊测试方法和装置 |
CN107193731A (zh) * | 2017-05-12 | 2017-09-22 | 北京理工大学 | 使用控制变异的模糊测试覆盖率改进方法 |
CN109032927A (zh) * | 2018-06-26 | 2018-12-18 | 腾讯科技(深圳)有限公司 | 一种漏洞挖掘方法及装置 |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104765690B (zh) * | 2015-04-22 | 2017-10-27 | 哈尔滨工业大学 | 基于模糊遗传算法的嵌入式软件测试数据生成方法 |
US10452526B2 (en) * | 2017-06-15 | 2019-10-22 | Microsoft Technology Licensing, Llc | Machine learning for constrained mutation-based fuzz testing |
CN108647145B (zh) * | 2018-05-10 | 2020-01-03 | 清华大学 | 软件内存安全检测方法及系统 |
CN108924102B (zh) * | 2018-06-21 | 2020-03-10 | 电子科技大学 | 高效的工控协议模糊测试方法 |
-
2019
- 2019-04-02 CN CN201910261097.4A patent/CN110147310B/zh active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8793578B2 (en) * | 2011-07-11 | 2014-07-29 | International Business Machines Corporation | Automating execution of arbitrary graphical interface applications |
CN106155901A (zh) * | 2015-04-21 | 2016-11-23 | 中国科学院信息工程研究所 | 黑盒与白盒相结合的执行反馈驱动的并行模糊测试方法 |
CN106649075A (zh) * | 2015-10-30 | 2017-05-10 | 西门子公司 | 模糊测试方法和装置 |
CN107193731A (zh) * | 2017-05-12 | 2017-09-22 | 北京理工大学 | 使用控制变异的模糊测试覆盖率改进方法 |
CN109032927A (zh) * | 2018-06-26 | 2018-12-18 | 腾讯科技(深圳)有限公司 | 一种漏洞挖掘方法及装置 |
Non-Patent Citations (3)
Title |
---|
动态资源感知的并行化模糊测试框架;廉美等;《计算机应用研究》;20170131;第34卷(第1期);52-57 * |
可编程模糊测试技术;杨梅芳等;《软件学报》;20180531;第29卷(第5期);1258-1274 * |
基于覆盖频率的模糊测试改进方法;傅玉等;《计算机系统应用》;20190312;第28卷(第1期);17-24 * |
Also Published As
Publication number | Publication date |
---|---|
CN110147310A (zh) | 2019-08-20 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN110147310B (zh) | 一种基于变异策略的并行模糊测试调度方法及装置 | |
Gruber et al. | An empirical study of flaky tests in python | |
Herodotou et al. | Profiling, what-if analysis, and cost-based optimization of mapreduce programs | |
Zhu et al. | Regression greybox fuzzing | |
Liblit et al. | Scalable statistical bug isolation | |
Lou et al. | Mining invariants from console logs for system problem detection | |
Cotroneo et al. | Software aging analysis of the linux operating system | |
Chen et al. | Code coverage of adaptive random testing | |
Chun et al. | Benchmark probes for grid assessment | |
Syer et al. | Leveraging performance counters and execution logs to diagnose memory-related performance issues | |
Fu et al. | On the use of {ML} for blackbox system performance prediction | |
Yu et al. | Experience in predicting fault-prone software modules using complexity metrics | |
US20140012561A1 (en) | Modeling and evaluating application performance in a new environment | |
EP1910927A2 (en) | Method and apparatus for detecting memory leaks in computer systems | |
Ren et al. | Root cause localization for unreproducible builds via causality analysis over system call tracing | |
Perez et al. | A dynamic code coverage approach to maximize fault localization efficiency | |
CN102959519A (zh) | 系统测试设备 | |
CN114661578B (zh) | 基于支配点覆盖的导向式灰盒模糊测试方法及装置 | |
Gao et al. | A framework to evaluate the effectiveness of different load testing analysis techniques | |
Roy et al. | Lightweight detection of cache conflicts | |
CN116795552A (zh) | 一种基于MapReduce的大规模负载测试方法及其评价方法 | |
Murtaza et al. | An empirical study on the use of mutant traces for diagnosis of faults in deployed systems | |
Bhimani et al. | Auto-tuning parameters for emerging multi-stream flash-based storage drives through new I/O pattern generations | |
Zhang et al. | Test case prioritization using partial attention | |
Knight et al. | An experimental evaluation of simple methods for seeding program errors |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |