CN116932416B - 基于敏感函数的模糊测试方法、装置、设备以及存储介质 - Google Patents
基于敏感函数的模糊测试方法、装置、设备以及存储介质 Download PDFInfo
- Publication number
- CN116932416B CN116932416B CN202311194546.0A CN202311194546A CN116932416B CN 116932416 B CN116932416 B CN 116932416B CN 202311194546 A CN202311194546 A CN 202311194546A CN 116932416 B CN116932416 B CN 116932416B
- Authority
- CN
- China
- Prior art keywords
- state
- tested program
- sensitive function
- tested
- test
- 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
- 238000010998 test method Methods 0.000 title claims abstract description 12
- 238000012360 testing method Methods 0.000 claims abstract description 114
- 238000010586 diagram Methods 0.000 claims abstract description 91
- 230000007704 transition Effects 0.000 claims abstract description 86
- 230000006870 function Effects 0.000 claims description 118
- 238000000034 method Methods 0.000 claims description 31
- 230000005284 excitation Effects 0.000 claims description 17
- 230000035945 sensitivity Effects 0.000 claims description 12
- 238000000605 extraction Methods 0.000 claims description 2
- 238000004590 computer program Methods 0.000 description 10
- 238000004891 communication Methods 0.000 description 8
- 238000012545 processing Methods 0.000 description 6
- 230000008569 process Effects 0.000 description 4
- 230000003287 optical effect Effects 0.000 description 3
- 238000004458 analytical method Methods 0.000 description 2
- 230000008901 benefit Effects 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 230000003993 interaction Effects 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 238000012546 transfer Methods 0.000 description 2
- 230000009471 action Effects 0.000 description 1
- 230000002547 anomalous effect Effects 0.000 description 1
- 238000003491 array Methods 0.000 description 1
- 238000013473 artificial intelligence Methods 0.000 description 1
- 230000001413 cellular effect Effects 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 238000006243 chemical reaction Methods 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 238000010801 machine learning Methods 0.000 description 1
- 230000005012 migration Effects 0.000 description 1
- 238000013508 migration Methods 0.000 description 1
- 238000012544 monitoring process Methods 0.000 description 1
- 239000013307 optical fiber Substances 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 230000001953 sensory effect Effects 0.000 description 1
- 238000006467 substitution reaction Methods 0.000 description 1
- 230000000007 visual effect Effects 0.000 description 1
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/3688—Test management for test execution, e.g. scheduling of test suites
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
- G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
- G06F21/577—Assessing vulnerabilities and evaluating computer system security
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2221/00—Indexing scheme relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F2221/03—Indexing scheme relating to G06F21/50, monitoring users, programs or devices to maintain the integrity of platforms
- G06F2221/033—Test or assess software
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
- Y02D10/00—Energy efficient computing, e.g. low power processors, power management or thermal management
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Security & Cryptography (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Quality & Reliability (AREA)
- Computing Systems (AREA)
- Debugging And Monitoring (AREA)
Abstract
本公开的实施例提供了一种基于敏感函数的模糊测试方法、装置、设备以及存储介质,应用于网络安全技术领域。所述方法包括对被测程序的待测试代码进行分析,并提取对应的控制流图;再在控制流图中对预设敏感函数的位置和外部数据输入的位置进行标记;再根据标记后的控制流图,生成状态转移图;再基于状态转移图,对被测程序进行模糊测试。以此方式,可以从被测程序中剥离与预设敏感函数无关的程序路径,避免大量的Fuzzy测试路径都无法有效触发安全漏洞的问题,大幅度缩减了被测程序进行Fuzzy测试的工作量,提高了Fuzzy测试效率。
Description
技术领域
本公开涉及计算机技术领域,尤其涉及网络安全技术领域,具体涉及一种基于敏感函数的模糊测试方法、装置、设备以及存储介质。
背景技术
模糊测试(Fuzzing),即Fuzzy测试,是一种通过向目标系统提供非预期的输入并监视异常结果来发现软件漏洞的方法。当前的Fuzzy测试是对目标程序所有分支都进行覆盖式穷举,由于出现安全漏洞的分支仅占很少的比例,因此会导致大量的Fuzzy测试路径都无法有效触发安全漏洞,造成Fuzzy测试效率较低。
发明内容
本公开提供了一种基于敏感函数的模糊测试方法、装置、设备以及存储介质。
根据本公开的第一方面,提供了一种基于敏感函数的模糊测试方法。该方法包括:
对被测程序的待测试代码进行分析,并提取对应的控制流图;
在所述控制流图中对预设敏感函数的位置和外部数据输入的位置进行标记;
根据标记后的控制流图,生成状态转移图;
基于所述状态转移图,对所述被测程序进行模糊测试。
如上所述的方面和任一可能的实现方式,进一步提供一种实现方式,所述基于所述状态转移图,对所述被测程序进行模糊测试包括:
根据预设外部数据输入量,从所述状态转移图的初始状态开始,对所述被测程序进行模糊测试;每次模糊测试完成后,通过所述状态转移图对应的状态转移关系,将所述状态转移图的状态迁移回初始状态,进行下一次的模糊测试;
当所述状态转移图的初始状态测试完成后,通过所述状态转移图对应的状态迁移关系上记录的激励数据迁移至所述状态转移图的下一状态,重复从所述状态转移图的初始状态开始,继续对所述被测程序进行模糊测试;直至完成对所述状态转移图中所有状态的测试。
如上所述的方面和任一可能的实现方式,进一步提供一种实现方式,所述根据标记后的控制流图,生成状态转移图包括:
从所述被测程序的初始状态开始,输入预设测试激励至所述被测程序,在标记后的控制流图中追踪所述被测程序执行路径,根据预设记录规则得到所述被测程序执行后的当前状态;
以所述被测程序的当前状态作为输入条件,进行状态生成,包括分析标记后的控制流图,获得所述被测程序的当前状态对应的输入数据集合,每次从所述输入数据集合中选取任一输入数据作为所述被测程序的当前状态对应的测试激励输入至所述被测程序,根据所述预设记录规则得到所述被测程序执行后的下一状态,直至所述输入数据集合中所有输入数据都生成下一状态;
依次将所述输入数据集合中所有输入数据生成的下一状态作为输入条件,进行新的状态的生成,直至不生成新的状态;
根据所述初始状态及生成的各状态,生成状态转移图,其中,所述状态转移图的初始状态为所述被测程序的初始状态。
如上所述的方面和任一可能的实现方式,进一步提供一种实现方式,所述预设记录规则包括:
若所述被测程序执行路径中未包括第一敏感函数集合中的元素,则所述被测程序执行后的当前状态记录为初始状态;
若所述被测程序执行路径中包括所述第一敏感函数集合中的元素,且第三敏感函数集合是第二敏感函数集合的子集,则所述被测程序执行后的当前状态仍记录为当前状态;
若所述被测程序执行路径中包括所述第一敏感函数集合中的元素,且所述第三敏感函数集合不是所述第二敏感函数集合的子集,则所述被测程序执行后的当前状态记录为下一状态;
其中,所述第一敏感函数集合为在控制流图中标记预设敏感函数的位置得到的所有敏感函数集合;所述第二敏感函数集合为进行模糊测试时已经遍历的路径上经过的敏感函数元素所组成的集合;所述第三敏感函数集合为在当前的一次测试时在任一状态节点下输入激励后所述被测程序往下执行所经过路径上包含的敏感函数元素集合。
如上所述的方面和任一可能的实现方式,进一步提供一种实现方式,所述分析标记后的控制流图包括:
根据所述被测程序的当前状态、当前输入条件及所述被测程序上下文关系,定位出当前输入条件在标记后的控制流图中的位置;
在当前输入条件到下一输入条件之间,获取标记后的控制流图中每个分支的输入数据。
如上所述的方面和任一可能的实现方式,进一步提供一种实现方式,所述预设敏感函数包括所述待测试代码中内存拷贝、内存申请、内存释放、字符串拷贝对应的函数。
根据本公开的第二方面,提供了一种基于敏感函数的模糊测试装置。该装置包括:
提取模块,用于对被测程序的待测试代码进行分析,并提取对应的控制流图;
标记模块,用于在所述控制流图中对预设敏感函数的位置和外部数据输入的位置进行标记;
生成模块,用于根据标记后的控制流图,生成状态转移图;
测试模块,用于基于所述状态转移图,对所述被测程序进行模糊测试。
根据本公开的第三方面,提供了一种电子设备。该电子设备包括:存储器和处理器,所述存储器上存储有计算机程序,所述处理器执行所述程序时实现如以上所述的方法。
根据本公开的第四方面,提供了一种计算机可读存储介质,其上存储有计算机程序,所述程序被处理器执行时实现如以上所述的方法。
本申请实施例提供的一种基于敏感函数的模糊测试方法、装置、设备以及存储介质,能够对被测程序的待测试代码进行分析,并提取对应的控制流图;再在控制流图中对预设敏感函数的位置和外部数据输入的位置进行标记;再根据标记后的控制流图,生成状态转移图;再基于状态转移图,对被测程序进行模糊测试;基于此,通过对被测程序对应的控制流图分析,基于预设敏感函数构建与其对应的状态转移图,以便基于状态转移图对被测程序进行模糊测试,从而可以从被测程序中剥离与预设敏感函数无关的程序路径,避免大量的Fuzzy测试路径都无法有效触发安全漏洞的问题,大幅度缩减了被测程序进行Fuzzy测试的工作量,提高了Fuzzy测试效率。
应当理解,发明内容部分中所描述的内容并非旨在限定本公开的实施例的关键或重要特征,亦非用于限制本公开的范围。本公开的其它特征将通过以下的描述变得容易理解。
附图说明
结合附图并参考以下详细说明,本公开各实施例的上述和其他特征、优点及方面将变得更加明显。附图用于更好地理解本方案,不构成对本公开的限定在附图中,相同或相似的附图标记表示相同或相似的元素,其中:
图1示出了根据本公开的实施例的基于敏感函数的模糊测试方法的流程图;
图2示出了根据本公开的实施例的标记后的控制流图的示意图;
图3示出了根据本公开的实施例的基于敏感函数的模糊测试装置的方框图;
图4示出了能够实施本公开的实施例的示例性电子设备的方框图。
具体实施方式
为使本公开实施例的目的、技术方案和优点更加清楚,下面将结合本公开实施例中的附图,对本公开实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例是本公开一部分实施例,而不是全部的实施例。基于本公开中的实施例,本领域普通技术人员在没有作出创造性劳动前提下所获得的全部其他实施例,都属于本公开保护的范围。
另外,本文中术语“和/或”,仅仅是一种描述关联对象的关联关系,表示可以存在三种关系,例如,A和/或B,可以表示:单独存在A,同时存在A和B,单独存在B这三种情况。另外,本文中字符“/”,一般表示前后关联对象是一种“或”的关系。
本公开中,可以通过对被测程序对应的控制流图分析,基于预设敏感函数构建与其对应的状态转移图,以便基于状态转移图对被测程序进行模糊测试,从而可以从被测程序中剥离与预设敏感函数无关的程序路径,避免大量的Fuzzy测试路径都无法有效触发安全漏洞的问题,大幅度缩减了被测程序进行Fuzzy测试的工作量,提高了Fuzzy测试效率。
图1示出了根据本公开实施例的基于敏感函数的模糊测试方法100的流程图。
在框110,对被测程序的待测试代码进行分析,并提取对应的控制流图。
在一些实施例中,针对不同编辑语言的待测试代码,可以通过转换工具,对被测程序的待测试代码进行分析并提取对应的控制流图。
例如,当被测程序的待测试代码为Python代码,可以使用一些自动化工具,如pycallgraph和pyan,这些工具可以分析Python代码的结构和执行流程,并生成相应的流程图,以便得到被测程序的待测试代码对应的控制流图。
在框120,在控制流图中对预设敏感函数的位置和外部数据输入的位置进行标记。
在一些实施例中,预设敏感函数可以是根据用户的实际需求定义的敏感操作对应的敏感函数。
如图2所示,基于对被测程序的待测试代码进行分析,可以在控制流图中标记出预设敏感函数的位置(可标记为“敏感操作”)和外部数据输入的位置(可标记为“输入”)。
在框130,根据标记后的控制流图,生成状态转移图。
在一些实施例中,可以根据标记出的预设敏感函数的位置和外部数据输入的位置,对控制流图进行分析,生成状态转移图。
例如,在不同输入条件下,可以分析出在控制流图中当前状态的后续是否会经过包含预设敏感函数对应的代码,并对所包含不同预设敏感函数代码路径分别用不同状态标记,构建包括预设敏感函数代码状态转移关系对应的状态转移图。
在框140,基于状态转移图,对被测程序进行模糊测试。
在一些实施例中,可以基于上述以预设敏感函数和外部输入为依据构建的状态转移图,对被测程序进行模糊测试。
综上可见,相对于当前的基于程序运行过程中的不同阶段、不同功能特征进行的状态划分,并反映程序的逻辑功能变化情况的状态转移图,本公开中的基于敏感函数操作的状态转移图,即以敏感函数和外部输入为依据构建的状态转移关系图,其只关注在不同输入条件下,当前状态的后续是否会经过包含敏感函数的代码,并对所包含不同敏感函数代码路径分别用不同状态标记,基于这种状态转移图进行Fuzzy测试的方法,与漏洞Fuzzy测试的目标完全对应,能够高效率进行Fuzzy测试,避免在无敏感函数的代码区域进行不必要的测试。
根据本公开的实施例,实现了以下技术效果:
能够对被测程序的待测试代码进行分析,并提取对应的控制流图;再在控制流图中对预设敏感函数的位置和外部数据输入的位置进行标记;再根据标记后的控制流图,生成状态转移图;再基于状态转移图,对被测程序进行模糊测试;基于此,通过对被测程序对应的控制流图分析,基于预设敏感函数构建与其对应的状态转移图,以便基于状态转移图对被测程序进行模糊测试,从而可以从被测程序中剥离与预设敏感函数无关的程序路径,避免大量的Fuzzy测试路径都无法有效触发安全漏洞的问题,大幅度缩减了被测程序进行Fuzzy测试的工作量,提高了Fuzzy测试效率。
在一些实施例中,上述根据标记后的控制流图,生成状态转移图包括:
从被测程序的初始状态开始,输入预设测试激励至被测程序,在标记后的控制流图中追踪被测程序执行路径,根据预设记录规则得到被测程序执行后的当前状态;
以被测程序的当前状态作为输入条件,进行状态生成,包括分析标记后的控制流图,获得被测程序的当前状态对应的输入数据集合,每次从输入数据集合中选取任一输入数据作为被测程序的当前状态对应的测试激励输入至被测程序,根据预设记录规则得到被测程序执行后的下一状态,直至输入数据集合中所有输入数据都生成下一状态;
依次将输入数据集合中所有输入数据生成的下一状态作为输入条件,进行新的状态的生成,直至不生成新的状态;
根据初始状态及生成的各状态,生成状态转移图,其中,状态转移图的初始状态为被测程序的初始状态。
在一些实施例中,可以将被测程序的初始状态作为状态转移图的初始状态,记为S0。随后,可以从被测程序的初始状态S0开始,输入预设测试激励f1至被测程序,在标记后的控制流图中追踪被测程序执行路径,根据预设记录规则得到被测程序执行后的当前状态。
在一些实施例中,上述预设记录规则包括:
若被测程序执行路径中未包括第一敏感函数集合B中的元素,则被测程序执行后的当前状态记录为初始状态FSi,即状态转移图的初始状态S0;
若被测程序执行路径中包括所述第一敏感函数集合B中的元素,且第三敏感函数集合NRB是第二敏感函数集合OB的子集,则被测程序执行后的当前状态仍记录为当前状态Si;
若被测程序执行路径中包括第一敏感函数集合B中的元素,且第三敏感函数集合NRB不是第二敏感函数集合OB的子集,则被测程序执行后的当前状态记录为下一状态Si+1;此时表明该执行路径没有遍历到新的预设敏感函数,将产生新的状态节点Si+1
其中,第一敏感函数集合B为在控制流图中标记预设敏感函数的位置得到的所有敏感函数集合,第一敏感函数集合B中的元素为控制流图中每一处的敏感函数,包括敏感函数对应的代码位置和敏感函数名;第二敏感函数集合OB为进行模糊测试时已经遍历的路径上经过的敏感函数元素所组成的集合,第二敏感函数集合OB中所有的元素都属于第一敏感函数集合B;第三敏感函数集合NRB为在当前的一次测试时在任一状态节点下输入激励后被测程序往下执行所经过路径上包含的敏感函数元素集合。
其中,可以以被测程序当前的状态Si作为输入条件,分析标记后的控制流图,获得当前状态下能够让被测程序走不同分支的输入数据。
在一些实施例中,上述分析标记后的控制流图包括:
根据被测程序的当前状态、当前输入条件及被测程序上下文关系,定位出当前输入条件在标记后的控制流图中的位置;
在当前输入条件到下一输入条件之间,获取标记后的控制流图中每个分支的输入数据。
如图2所示,获取的标记后的控制流图中每个分支的输入数据可以记为AIsi=(Isi1、Isi2、……、Isik-1、Isik)。
在一些实施例中,假设当前被测程序状态为Si,用上述分析标记后的控制流图所示的方法,获得Si对应的输入数据集合AIsi;再从输入数据集合AIsi中任意选取出一个输入数据作为状态Si中的激励,用上述根据预设记录规则得到被测程序执行后的当前状态中所示的方式生成所有的输入数据的下一个状态;之后再从集合AIsi任意选取下一个数据,重复该步骤,直至集合AIsi所有的输入数据都已完成下一个状态的生成;再对上述生成的所有新状态,依次作为被测程序的当前状态的输入条件,进行新状态的生成,直至不生成新的状态;再根据初始状态及生成的各状态,生成状态转移图。
根据本公开的实施例,通过上述过程,给出根据标记后的控制流图生成状态转移图、预设记录规则,以及分析标记后的控制流图的具体方式,在状态转移图中,建立了预设敏感函数对应的代码的层次关系,以便实现对于深层次的预设敏感函数对应的代码依然能够享有同等几率进行Fuzzy测试的效果;同时,还能够进一步的避免大量的Fuzzy测试路径都无法有效触发安全漏洞的问题,大幅度缩减了被测程序进行Fuzzy测试的工作量,提高了Fuzzy测试效率。
在一些实施例中,上述基于状态转移图,对被测程序进行模糊测试包括:
根据预设外部数据输入量,从状态转移图的初始状态开始,对被测程序进行模糊测试;每次模糊测试完成后,通过状态转移图对应的状态转移关系,将状态转移图的状态迁移回初始状态,进行下一次的模糊测试;
当状态转移图的初始状态测试完成后,通过状态转移图对应的状态迁移关系上记录的激励数据迁移至状态转移图的下一状态,重复从状态转移图的初始状态开始,继续对被测程序进行模糊测试;直至完成对状态转移图中所有状态的测试。
在一些实施例中,基于状态转移图对被测程序进行漏洞Fuzzy测试可以包括:
步骤1、从状态转移图的入口S0开始,进行Fuzzy测试,每次Fuzzy测试的数据量可以由测试用户自定义。
步骤2、一次输入数据测试完成后,通过状态转移图对应的状态转移关系,可以将状态迁移回S0,进行下一次的测试。
步骤3、当状态S0测试完成后,通过状态转移图对应的状态迁移关系上记录的激励数据,将该激励数据迁移至状态S1,重复步骤1,继续测试。
步骤4、当所有状态都已完成测试,则Fuzzy测试完成。
根据本公开的实施例,通过上述过程给出基于状态转移图,对被测程序进行模糊测试的具体方式,可以进一步的避免大量的Fuzzy测试路径都无法有效触发安全漏洞的问题,进而大幅度缩减被测程序进行Fuzzy测试的工作量,提高了Fuzzy测试效率。
在一些实施例中,上述预设敏感函数包括待测试代码中内存拷贝、内存申请、内存释放、字符串拷贝对应的函数。
在一些实施例中,可以将待测试代码中所有与内存拷贝、内存申请、内存释放、字符串拷贝等操作相关的函数定义为敏感函数,如Memcpy()、malloc()、calloc()、ralloc()、free()、strcpy()等。
根据本公开的实施例,通过设置上述具体的敏感函数,可以仅基于待测试代码中内存拷贝、内存申请、内存释放、字符串拷贝对应的函数生成状态转移图,从而进行Fuzzy测试,以便实现仅针对上述敏感函数的代码区的测试,提高Fuzzy测试的测试效率。
需要说明的是,对于前述的各方法实施例,为了简单描述,故将其都表述为一系列的动作组合,但是本领域技术人员应该知悉,本公开并不受所描述的动作顺序的限制,因为依据本公开,某些步骤可以采用其他顺序或者同时进行。其次,本领域技术人员也应该知悉,说明书中所描述的实施例均属于可选实施例,所涉及的动作和模块并不一定是本公开所必须的。
以上是关于方法实施例的介绍,以下通过装置实施例,对本公开所述方案进行进一步说明。
图3示出了根据本公开的实施例的基于敏感函数的模糊测试装置300的方框图。如图3所示,装置300包括:
提取模块310,用于对被测程序的待测试代码进行分析,并提取对应的控制流图;
标记模块320,用于在控制流图中对预设敏感函数的位置和外部数据输入的位置进行标记;
生成模块330,用于根据标记后的控制流图,生成状态转移图;
测试模块340,用于基于状态转移图,对被测程序进行模糊测试。
所属领域的技术人员可以清楚地了解到,为描述的方便和简洁,所述描述的模块的具体工作过程,可以参考前述方法实施例中的对应过程,在此不再赘述。
本公开的技术方案中,所涉及的用户个人信息的获取,存储和应用等,均符合相关法律法规的规定,且不违背公序良俗。
根据本公开的实施例,本公开还提供了一种电子设备、一种可读存储介质和一种计算机程序产品。
图4示出了能够实施本公开的实施例的示例性电子设备400的方框图。电子设备旨在表示各种形式的数字计算机,诸如,膝上型计算机、台式计算机、工作台、个人数字助理、服务器、刀片式服务器、大型计算机、和其它适合的计算机。电子设备还可以表示各种形式的移动装置,诸如,个人数字处理、蜂窝电话、智能电话、可穿戴设备和其它类似的计算装置。本文所示的部件、它们的连接和关系、以及它们的功能仅仅作为示例,并且不意在限制本文中描述的和/或者要求的本公开的实现。
电子设备400包括计算单元401,其可以根据存储在ROM402中的计算机程序或者从存储单元408加载到RAM403中的计算机程序,来执行各种适当的动作和处理。在RAM403中,还可存储电子设备400操作所需的各种程序和数据。计算单元401、ROM402以及RAM403通过总线404彼此相连。I/O接口405也连接至总线404。
电子设备400中的多个部件连接至I/O接口405,包括:输入单元406,例如键盘、鼠标等;输出单元407,例如各种类型的显示器、扬声器等;存储单元408,例如磁盘、光盘等;以及通信单元409,例如网卡、调制解调器、无线通信收发机等。通信单元409允许电子设备400通过诸如因特网的计算机网络和/或各种电信网络与其他设备交换信息/数据。
计算单元401可以是各种具有处理和计算能力的通用和/或专用处理组件。计算单元401的一些示例包括但不限于中央处理单元(CPU)、图形处理单元(GPU)、各种专用的人工智能(AI)计算芯片、各种运行机器学习模型算法的计算单元、数字信号处理器(DSP)、以及任何适当的处理器、控制器、微控制器等。计算单元401执行上文所描述的各个方法和处理,例如方法100。例如,在一些实施例中,方法100可被实现为计算机软件程序,其被有形地包含于机器可读介质,例如存储单元408。
在一些实施例中,计算机程序的部分或者全部可以经由ROM402和/或通信单元409而被载入和/或安装到电子设备400上。当计算机程序加载到RAM403并由计算单元401执行时,可以执行上文描述的方法100的一个或多个步骤。备选地,在其他实施例中,计算单元401可以通过其他任何适当的方式(例如,借助于固件)而被配置为执行方法100。
本文中以上描述的系统和技术的各种实施方式可以在数字电子电路系统、集成电路系统、现场可编程门阵列(FPGA)、专用集成电路(ASIC)、专用标准产品(ASSP)、芯片上系统的系统(SOC)、负载可编程逻辑设备(CPLD)、计算机硬件、固件、软件、和/或它们的组合中实现。这些各种实施方式可以包括:实施在一个或者多个计算机程序中,该一个或者多个计算机程序可在包括至少一个可编程处理器的可编程系统上执行和/或解释,该可编程处理器可以是专用或者通用可编程处理器,可以从存储系统、至少一个输入装置、和至少一个输出装置接收数据和指令,并且将数据和指令传输至该存储系统、该至少一个输入装置、和该至少一个输出装置。
用于实施本公开的方法的程序代码可以采用一个或多个编程语言的任何组合来编写。这些程序代码可以提供给通用计算机、专用计算机或其他可编程数据处理装置的处理器或控制器,使得程序代码当由处理器或控制器执行时使流程图和/或框图中所规定的功能/操作被实施。程序代码可以完全在机器上执行、部分地在机器上执行,作为独立软件包部分地在机器上执行且部分地在远程机器上执行或完全在远程机器或服务器上执行。
在本公开的上下文中,机器可读介质可以是有形的介质,其可以包含或存储以供指令执行系统、装置或设备使用或与指令执行系统、装置或设备结合地使用的程序。机器可读介质可以是机器可读信号介质或机器可读储存介质。机器可读介质可以包括但不限于电子的、磁性的、光学的、电磁的、红外的、或半导体系统、装置或设备,或者上述内容的任何合适组合。机器可读存储介质的更具体示例会包括基于一个或多个线的电气连接、便携式计算机盘、硬盘、随机存取存储器(RAM)、只读存储器(ROM)、可擦除可编程只读存储器(EPROM或快闪存储器)、光纤、便捷式紧凑盘只读存储器(CD-ROM)、光学储存设备、磁储存设备、或上述内容的任何合适组合。
为了提供与用户的交互,可以在计算机上实施此处描述的系统和技术,该计算机具有:用于向用户显示信息的显示装置;以及键盘和指向装置(例如,鼠标或者轨迹球),用户可以通过该键盘和该指向装置来将输入提供给计算机。其它种类的装置还可以用于提供与用户的交互;例如,提供给用户的反馈可以是任何形式的传感反馈(例如,视觉反馈、听觉反馈、或者触觉反馈);并且可以用任何形式(包括声输入、语音输入或者、触觉输入)来接收来自用户的输入。
可以将此处描述的系统和技术实施在包括后台部件的计算系统(例如,作为数据服务器)、或者包括中间件部件的计算系统(例如,应用服务器)、或者包括前端部件的计算系统(例如,具有图形用户界面或者网络浏览器的用户计算机,用户可以通过该图形用户界面或者该网络浏览器来与此处描述的系统和技术的实施方式交互)、或者包括这种后台部件、中间件部件、或者前端部件的任何组合的计算系统中。可以通过任何形式或者介质的数字数据通信(例如,通信网络)来将系统的部件相互连接。通信网络的示例包括:局域网(LAN)、广域网(WAN)和互联网。
计算机系统可以包括客户端和服务器。客户端和服务器一般远离彼此并且通常通过通信网络进行交互。通过在相应的计算机上运行并且彼此具有客户端-服务器关系的计算机程序来产生客户端和服务器的关系。服务器可以是云服务器,也可以为分布式系统的服务器,或者是结合了区块链的服务器。
应该理解,可以使用上面所示的各种形式的流程,重新排序、增加或删除步骤。例如,本公开中记载的各步骤可以并行地执行也可以顺序地执行也可以不同的次序执行,只要能够实现本公开公开的技术方案所期望的结果,本文在此不进行限制。
上述具体实施方式,并不构成对本公开保护范围的限制。本领域技术人员应该明白的是,根据设计要求和其他因素,可以进行各种修改、组合、子组合和替代。任何在本公开的精神和原则之内所作的修改、等同替换和改进等,均应包含在本公开保护范围之内。
Claims (7)
1.一种基于敏感函数的模糊测试方法,其特征在于,包括:
对被测程序的待测试代码进行分析,并提取对应的控制流图;
在所述控制流图中对预设敏感函数的位置和外部数据输入的位置进行标记;
根据标记后的控制流图,生成状态转移图;
基于所述状态转移图,对所述被测程序进行模糊测试;
其中,所述根据标记后的控制流图,生成状态转移图包括:
从所述被测程序的初始状态开始,输入预设测试激励至所述被测程序,在标记后的控制流图中追踪所述被测程序执行路径,根据预设记录规则得到所述被测程序执行后的当前状态;
以所述被测程序的当前状态作为输入条件,进行状态生成,包括分析标记后的控制流图,获得所述被测程序的当前状态对应的输入数据集合,每次从所述输入数据集合中选取任一输入数据作为所述被测程序的当前状态对应的测试激励输入至所述被测程序,根据所述预设记录规则得到所述被测程序执行后的下一状态,直至所述输入数据集合中所有输入数据都生成下一状态;
依次将所述输入数据集合中所有输入数据生成的下一状态作为输入条件,进行新的状态的生成,直至不生成新的状态;
根据所述初始状态及生成的各状态,生成状态转移图,其中,所述状态转移图的初始状态为所述被测程序的初始状态;
所述预设记录规则包括:
若所述被测程序执行路径中未包括第一敏感函数集合中的元素,则所述被测程序执行后的当前状态记录为初始状态;
若所述被测程序执行路径中包括所述第一敏感函数集合中的元素,且第三敏感函数集合是第二敏感函数集合的子集,则所述被测程序执行后的当前状态仍记录为当前状态;
若所述被测程序执行路径中包括所述第一敏感函数集合中的元素,且所述第三敏感函数集合不是所述第二敏感函数集合的子集,则所述被测程序执行后的当前状态记录为下一状态;
其中,所述第一敏感函数集合为在控制流图中标记预设敏感函数的位置得到的所有敏感函数集合;所述第二敏感函数集合为进行模糊测试时已经遍历的路径上经过的敏感函数元素所组成的集合;所述第三敏感函数集合为在当前的一次测试时在任一状态节点下输入激励后所述被测程序往下执行所经过路径上包含的敏感函数元素集合。
2.根据权利要求1所述的方法,其特征在于,所述基于所述状态转移图,对所述被测程序进行模糊测试包括:
根据预设外部数据输入量,从所述状态转移图的初始状态开始,对所述被测程序进行模糊测试;每次模糊测试完成后,通过所述状态转移图对应的状态转移关系,将所述状态转移图的状态迁移回初始状态,进行下一次的模糊测试;
当所述状态转移图的初始状态测试完成后,通过所述状态转移图对应的状态迁移关系上记录的激励数据迁移至所述状态转移图的下一状态,重复从所述状态转移图的初始状态开始,继续对所述被测程序进行模糊测试;直至完成对所述状态转移图中所有状态的测试。
3.根据权利要求1所述的方法,其特征在于,所述分析标记后的控制流图包括:
根据所述被测程序的当前状态、当前输入条件及所述被测程序上下文关系,定位出当前输入条件在标记后的控制流图中的位置;
在当前输入条件到下一输入条件之间,获取标记后的控制流图中每个分支的输入数据。
4.根据权利要求1至3中任一权利要求所述的方法,其特征在于,所述预设敏感函数包括所述待测试代码中内存拷贝、内存申请、内存释放、字符串拷贝对应的函数。
5.一种基于敏感函数的模糊测试装置,其特征在于,包括:
提取模块,用于对被测程序的待测试代码进行分析,并提取对应的控制流图;
标记模块,用于在所述控制流图中对预设敏感函数的位置和外部数据输入的位置进行标记;
生成模块,用于根据标记后的控制流图,生成状态转移图;
测试模块,用于基于所述状态转移图,对所述被测程序进行模糊测试;
其中,所述生成模块具体用于从所述被测程序的初始状态开始,输入预设测试激励至所述被测程序,在标记后的控制流图中追踪所述被测程序执行路径,根据预设记录规则得到所述被测程序执行后的当前状态;以所述被测程序的当前状态作为输入条件,进行状态生成,包括分析标记后的控制流图,获得所述被测程序的当前状态对应的输入数据集合,每次从所述输入数据集合中选取任一输入数据作为所述被测程序的当前状态对应的测试激励输入至所述被测程序,根据所述预设记录规则得到所述被测程序执行后的下一状态,直至所述输入数据集合中所有输入数据都生成下一状态;依次将所述输入数据集合中所有输入数据生成的下一状态作为输入条件,进行新的状态的生成,直至不生成新的状态;根据所述初始状态及生成的各状态,生成状态转移图,其中,所述状态转移图的初始状态为所述被测程序的初始状态;
所述预设记录规则包括:
若所述被测程序执行路径中未包括第一敏感函数集合中的元素,则所述被测程序执行后的当前状态记录为初始状态;若所述被测程序执行路径中包括所述第一敏感函数集合中的元素,且第三敏感函数集合是第二敏感函数集合的子集,则所述被测程序执行后的当前状态仍记录为当前状态;若所述被测程序执行路径中包括所述第一敏感函数集合中的元素,且所述第三敏感函数集合不是所述第二敏感函数集合的子集,则所述被测程序执行后的当前状态记录为下一状态;其中,所述第一敏感函数集合为在控制流图中标记预设敏感函数的位置得到的所有敏感函数集合;所述第二敏感函数集合为进行模糊测试时已经遍历的路径上经过的敏感函数元素所组成的集合;所述第三敏感函数集合为在当前的一次测试时在任一状态节点下输入激励后所述被测程序往下执行所经过路径上包含的敏感函数元素集合。
6. 一种电子设备,其特征在于,包括:
至少一个处理器;以及
与所述至少一个处理器通信连接的存储器;
所述存储器存储有可被所述至少一个处理器执行的指令,所述指令被所述至少一个处理器执行,以使所述至少一个处理器能够执行权利要求1-4中任一权利要求所述的方法。
7.一种存储有计算机指令的非瞬时计算机可读存储介质,其特征在于,所述计算机指令用于使所述计算机执行根据权利要求1-4中任一权利要求所述的方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202311194546.0A CN116932416B (zh) | 2023-09-15 | 2023-09-15 | 基于敏感函数的模糊测试方法、装置、设备以及存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202311194546.0A CN116932416B (zh) | 2023-09-15 | 2023-09-15 | 基于敏感函数的模糊测试方法、装置、设备以及存储介质 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN116932416A CN116932416A (zh) | 2023-10-24 |
CN116932416B true CN116932416B (zh) | 2023-12-22 |
Family
ID=88375763
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202311194546.0A Active CN116932416B (zh) | 2023-09-15 | 2023-09-15 | 基于敏感函数的模糊测试方法、装置、设备以及存储介质 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN116932416B (zh) |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7991605B1 (en) * | 2008-06-06 | 2011-08-02 | Cadence Design Systems, Inc. | Method and apparatus for translating a verification process having recursion for implementation in a logic emulator |
CN108255711A (zh) * | 2017-12-29 | 2018-07-06 | 湖南优利泰克自动化系统有限公司 | 一种基于污点分析的plc固件模糊测试系统及测试方法 |
CN111400165A (zh) * | 2020-02-11 | 2020-07-10 | 中国人民解放军战略支援部队信息工程大学 | 一种基于前向探针的离线符号执行路径搜索方法 |
CN114047913A (zh) * | 2021-11-08 | 2022-02-15 | 西北工业大学 | 一种反例引导的稀疏空间流模型检测方法及系统 |
CN114780962A (zh) * | 2022-04-02 | 2022-07-22 | 中国人民解放军战略支援部队信息工程大学 | 基于动态能量调控的Windows程序模糊测试方法及系统 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108710575B (zh) * | 2018-05-23 | 2020-11-24 | 华南理工大学 | 基于路径覆盖测试用例自动生成的单元测试方法 |
-
2023
- 2023-09-15 CN CN202311194546.0A patent/CN116932416B/zh active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7991605B1 (en) * | 2008-06-06 | 2011-08-02 | Cadence Design Systems, Inc. | Method and apparatus for translating a verification process having recursion for implementation in a logic emulator |
CN108255711A (zh) * | 2017-12-29 | 2018-07-06 | 湖南优利泰克自动化系统有限公司 | 一种基于污点分析的plc固件模糊测试系统及测试方法 |
CN111400165A (zh) * | 2020-02-11 | 2020-07-10 | 中国人民解放军战略支援部队信息工程大学 | 一种基于前向探针的离线符号执行路径搜索方法 |
CN114047913A (zh) * | 2021-11-08 | 2022-02-15 | 西北工业大学 | 一种反例引导的稀疏空间流模型检测方法及系统 |
CN114780962A (zh) * | 2022-04-02 | 2022-07-22 | 中国人民解放军战略支援部队信息工程大学 | 基于动态能量调控的Windows程序模糊测试方法及系统 |
Also Published As
Publication number | Publication date |
---|---|
CN116932416A (zh) | 2023-10-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN112529203B (zh) | 纠缠量子态分辨方法、装置、设备及存储介质 | |
CN111752843B (zh) | 用于确定影响面的方法、装置、电子设备及可读存储介质 | |
CN108491321A (zh) | 测试用例范围确定方法、装置及存储介质 | |
CN112015665B (zh) | 测试验证的回溯方法、装置、电子设备及存储介质 | |
CN114024884A (zh) | 一种测试方法、装置、电子设备及存储介质 | |
CN109032614A (zh) | 一种物联网应用程序开发与维护的系统及方法 | |
CN114401121A (zh) | 应用程序登录方法、装置、电子设备及可读存储介质 | |
CN104580109A (zh) | 生成点选验证码的方法及装置 | |
CN116932416B (zh) | 基于敏感函数的模糊测试方法、装置、设备以及存储介质 | |
CN115796228B (zh) | 算子融合方法、装置、设备以及存储介质 | |
US20170052887A1 (en) | To-be-stubbed target determining apparatus, to-be-stubbed target determining method and non-transitory recording medium storing to-be-stubbed target determining program | |
CN116016686A (zh) | 待优化节点的确定方法、装置、电子设备和介质 | |
CN115098362A (zh) | 页面测试方法、装置、电子设备以及存储介质 | |
CN115061921A (zh) | 自动测试方法、装置、电子设备及可读存储介质 | |
CN112596814A (zh) | 项目的集成打包方法、装置、设备、介质和程序产品 | |
CN113962191B (zh) | 序列随机化方法、装置、电子设备及存储介质 | |
JP2019215867A (ja) | ソースコードのプロパティを検証するための方法およびシステム | |
CN112527621A (zh) | 测试路径构建方法、装置、设备及存储介质 | |
CN112532521B (zh) | 一种NetFlow流量的流出节点信息识别方法 | |
CN116860632A (zh) | 基于知识图谱的软件测试方法、装置、设备以及存储介质 | |
CN116991737A (zh) | 一种软件测试方法、系统、电子设备及存储介质 | |
CN114880237A (zh) | 数据测试方法、装置、电子设备及存储介质、程序 | |
CN113032069A (zh) | 页面切换方法、装置、电子设备及可读存储介质 | |
CN112783507A (zh) | 数据引流回放方法、装置、电子设备及可读存储介质 | |
CN116880858A (zh) | 固件实际基地址的获取方法、装置、设备以及存储介质 |
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 |