静态分析器测试方法及装置与流程

本说明书一个或多个实施例涉及计算机，尤其涉及一种静态分析器测试方法及装置。

背景技术：

1、静态分析器是一种自动化的程序测试工具，利用静态分析器对程序进行静态分析，可以在软件开发生命周期的早期阶段发现其中潜在的问题。

2、由于静态分析器在静态分析的过程中无需执行程序，而是通过匹配某种预设的规则直接对程序的代码进行分析，因此静态分析器输出的结果可能存在大量的漏保和误报。为了保证静态分析器输出结果的可靠性，在使用静态分析器前需要对静态分析器自身进行测试。

3、相关技术中对于静态分析器的测试方法较为繁琐，仅能够针对静态分析器的某一模块或某项属性进行测试，缺乏对静态分析器整体进行测试的方法。

技术实现思路

1、有鉴于此，本说明书一个或多个实施例提供一种静态分析器测试方法及装置。

2、为实现上述目的，本说明书一个或多个实施例提供技术方案如下：

3、根据本说明书一个或多个实施例的第一方面，提出了一种静态分析器测试方法，包括：

4、获取待分析程序中条件判断语句的第一判断条件；

5、将所述第一判断条件转换为第二判断条件，其中，当所述第一判断条件成立时，所述第二判断条件成立；

6、将静态分析器的调试函数插入所述待分析程序，得到包含所述调试函数的待分析程序，所述调试函数用于评估所述第二判断条件的判断结果；

7、基于所述静态分析器对包含所述调试函数的待分析程序进行静态分析，得到所述调试函数返回的评估结果；

8、基于所述第一判断条件的判断结果验证所述评估结果，以便完成所述静态分析器的测试。

9、根据本说明书一个或多个实施例的第二方面，提出了一种静态分析器测试装置，包括：

10、获取模块，用于获取待分析程序中条件判断语句的第一判断条件；

11、转换模块，用于将所述第一判断条件转换为第二判断条件，其中，当所述第一判断条件成立时，所述第二判断条件成立；

12、插入模块，用于将静态分析器的调试函数插入所述待分析程序，得到包含所述调试函数的待分析程序，所述调试函数用于评估所述第二判断条件的判断结果；

13、分析模块，用于基于所述静态分析器对包含所述调试函数的待分析程序进行静态分析，得到所述调试函数返回的评估结果；

14、测试模块，用于基于所述第一判断条件的判断结果验证所述评估结果，以便完成所述静态分析器的测试。

15、根据本说明书一个或多个实施例的第三方面，提出了一种电子设备，包括：

16、处理器；

17、用于存储处理器可执行指令的存储器；

18、其中，处理器通过运行可执行指令以实现如第一方面的方法。

19、根据本说明书一个或多个实施例的第四方面，提出了一种计算机可读存储介质，其上存储有计算机指令，该指令被处理器执行时实现如第一方面方法的步骤。

20、本说明书提供的静态分析器测试方法，通过获取待分析程序中条件判断语句的第一判断条件；将第一判断条件转换为第二判断条件，其中，当第一判断条件成立时，第二判断条件成立；将静态分析器的调试函数插入待分析程序，得到包含调试函数的待分析程序，其中调试函数用于评估第二判断条件的判断结果；基于静态分析器对包含调试函数的待分析程序进行静态分析，得到调试函数返回的评估结果；基于第一判断条件的判断结果验证评估结果，从而完成了对静态分析器的测试。本说明书实施例基于静态预言机器的原理，通过在待测试程序的条件判断语句中插入调试函数，可以快速构建测试用的程序。可见，本公开实施例提供的静态预言机的静态分析器测试方法，不依赖于技术人员的专业知识，并且由于基于静态预言机实现的测试方法不需要考虑静态分析器分析的程序错误类型，因此能够得到较为全面的测试结果。

技术特征：

1.一种静态分析器测试方法，包括：

2.根据权利要求1所述的方法，所述基于所述第一判断条件的判断结果验证所述评估结果，以便完成所述静态分析器的测试，包括：

3.根据权利要求1所述的方法，所述第一判断条件包括至少一个变量，所述至少一个变量在所述第一判断条件中和所述第二判断条件中的取值相同。

4.根据权利要求1所述的方法，所述将静态分析器的调试函数插入所述待分析程序，得到包含所述调试函数的待分析程序，包括：

5.根据权利要求4所述的方法，所述将所述调试函数插入所述条件判断语句的分支中，得到包含所述调试函数的待分析程序，包括：

6.根据权利要求5所述的方法，若所述调试函数返回的评估结果为真，则所述静态分析器中不存在缺陷。

7.根据权利要求1所述的方法，所述对所述第一判断条件进行重言式转换，得到第二判断条件，包括：

8.一种静态分析器测试装置，包括：

9.一种电子设备，包括：

10.一种计算机可读存储介质，其上存储有计算机指令，该指令被处理器执行时实现如权利要求1至7中任一项所述方法的步骤。

技术总结
本说明书一个或多个实施例提供一种静态分析器测试方法及装置，涉及计算机技术领域。该方法包括获取待分析程序中条件判断语句的第一判断条件；将第一判断条件转换为第二判断条件，其中，当第一判断条件成立时，第二判断条件成立；将静态分析器的调试函数插入待分析程序，得到包含调试函数的待分析程序，调试函数用于评估第二判断条件的判断结果；基于静态分析器对包含调试函数的待分析程序进行静态分析，得到调试函数返回的评估结果；基于第一判断条件的判断结果验证评估结果，以便完成静态分析器的测试。本说明书提供的方案不依赖于技术人员的专业知识，能够得到较为全面的测试结果。

技术研发人员：狄鹏,何为刚,苏亭,张枨宇,明孟立
受保护的技术使用者：支付宝（杭州）信息技术有限公司
技术研发日：
技术公布日：2024/1/15