[发明专利]软件模糊测试方法和装置、电子设备及存储介质

权利要求书

1.一种软件模糊测试方法，其特征在于，包括：

从被测程序源代码中识别出被测程序的状态，所述被测程序的状态包括状态变量以及状态变量值域范围；

所述从被测程序源代码中识别出被测程序的状态，包括：

对所述被测程序源代码进行静态分析，识别出所述被测程序源代码中用于表示程序状态的状态变量；

对被测程序源代码进行静态符号执行，提取与状态变量相关的符号约束并将其求解，得到满足约束的状态变量值域范围；

所述对所述被测程序源代码进行静态分析，识别出所述被测程序源代码中用于表示程序状态的状态变量，包括：

基于所述被测程序源代码的特征，识别出所述被测程序源代码对应的各个程序功能接口的入口函数，根据函数调用图从入口函数开始遍历所有可达的函数，收集各个程序功能接口读取的变量集合和写入的变量集合；

逐一将每个所述程序功能接口写入的变量集合分别和其他每个所述程序功能接口读取的变量集合取交集，作为每个所述程序功能接口对应的变量交集；

对获取的各个程序功能接口所对应的变量交集取并集，得到所述状态变量；

基于所述状态变量，在所述被测程序源代码被编译时进行代码插桩，得到插桩后的被测程序；

基于所述插桩后的被测程序，获取代码插桩的反馈信息，所述反馈信息包括代码覆盖信息、状态变量写入信息；

所述基于所述插桩后的被测程序，获取代码插桩的反馈信息，所述反馈信息包括代码覆盖信息、状态变量写入信息，包括：

从预设的测试用例库中选择一个测试用例发送给插桩后的被测程序；

待插桩后的被测程序执行完毕后，获取代码插桩的反馈信息；基于所述反馈信息、被测程序的状态，对所述被测程序源代码进行多维度反馈的模糊测试。

2.根据权利要求1所述的软件模糊测试方法，其特征在于，所述基于所述状态变量，在所述被测程序源代码被编译时进行代码插桩，得到插桩后的被测程序，包括：

在编译被测程序源代码的过程中，分析所有被测程序指令；

若被测程序指令对状态变量进行了写入操作或被测程序指令是别名分析记录的指令，在被测程序指令后插入一个函数调用，得到插桩后的被测程序，所插入的函数调用的参数为状态变量的序号和状态变量被写入的值。

3.根据权利要求2所述的软件模糊测试方法，其特征在于，所述基于所述状态变量，在所述被测程序源代码被编译时进行代码插桩，得到插桩后的被测程序之前，包括：

对所述被测程序源代码进行静态指针分析，得到与状态变量有别名关系的相关变量；

基于所述相关变量，得到所述函数调用的参数。

4.根据权利要求1所述的软件模糊测试方法，其特征在于，所述从被测程序源代码中识别出被测程序的状态，包括：

根据各个程序功能接口之间读写相同状态变量的数量关系，得到各个程序功能接口之间潜在的转移关系；

基于潜在的转移关系，构建功能转移表；

所述基于所述反馈信息、被测程序的状态，对所述被测程序源代码进行多维度反馈的模糊测试，包括：

根据多维度的遗传算法指标来存储用于后续模糊测试的测试用例；所述多维度包括：所述测试用例是否触发新代码、是否覆盖新状态变量值域范围以及是否出现新的状态变量极值；

将所述测试用例根据触发的指标维度存入所述测试用例库的多维度对应的层中；

基于所述测试用例的读写状态变量的情况和功能接口执行情况，查询所述功能转移表，在所述测试用例中插入内容，以使所述测试用例后续触发当前执行过的功能接口在功能转移表中对应的概率最高的后续功能接口；

若所述被测程序出现异常，则记录崩溃日志和所述测试用例。