[发明专利]一种基于DS证据理论的组合加速静态分析方法

权利要求书

1.一种基于DS证据理论的组合加速静态分析方法，其特征在于：其实施步骤如下：步骤1：获取进行程序静态分析的多个程序静态分析工具；

步骤2：分别使用所述静态分析工具对基准程序进行测试，获取所述静态分析工具的性能参数；

步骤3：分别使用所述分析工具对待测程序进行扫描，得到程序的每条语句的分析结果；

步骤4：基于所述的分析结果以及所述工具的性能参数对所述程序的分析结果进行及时更新；

步骤5：将更新后的分析结果进行基于DS证据理论的数据融合得到结果数据；

步骤6：将所得结果数据进行排序；

通过以上步骤,实现了通过组合工具对待测程序进行扫描处理,将多组分析结果通过DS证据理论的方法进行数据融合,得到最终分析结果,这样实现了在短时间内获得准确的程序的分析结果,本领域技术人员结合该结果进行程序修正优化将能很大程序上提高效率,在一预定程度上加快了静态分析的进程,进而解决了实际问题中最终软件测试的准确度和可信度不高，需要多次测试来达到相对好的效果的问题。

2.根据权利要求1所述的一种基于DS证据理论的组合加速静态分析方法，其特征在于：

在步骤1中所述的“获取进行程序静态分析的多个程序静态分析工具”，其作法如下：是基于测试领域人员对软件测试工具的了解与使用对静态分析工具选择，发生在使用工具进行程序扫描之前，所述工具根据具体领域选择商用及自研软件；进一步，需要对所述分析工具进行识别和测试，获取进行程序静态分析的复数个程序静态分析工具之前，对现有分析工具的具体功能进行系统分析，根据需求，目的性的对分析工具进行选择。

3.根据权利要求1所述的一种基于DS证据理论的组合加速静态分析方法，其特征在于：

在步骤2中所述的“分别使用所述静态分析工具对基准程序进行测试，获取所述静态分析工具的性能参数”，其作法如下：该“基准程序”为本领域技术人员已经获知程序具体错误和警告的参考程序，是测试软件分析工具性能的基准；基于所述基准程序对静态分析工具的误报率和报错率进行测试，将所得测试结果以百分数的形式记录下来；静态分析工具的性能参数至少包括语句的误报率和漏报率，相应的，扫描后语句的分析结果至少包括对语句的报错、报警和正确的判断；其中，所述分析结果所包含的报错、报警和正确与否用判断符号1和0表示，所述分析结果中有且只有一个为1。

4.根据权利要求1所述的一种基于DS证据理论的组合加速静态分析方法，其特征在于：

在步骤3中所述的“分别使用所述分析工具对待测程序进行扫描，得到程序的每条语句的分析结果”，其作法如下：对待测程序进行扫描，为软件测试中静态分析的关键步骤，在对程序进行扫描的过程中，程序的每条语句的具体错误情况、报警情况和正确情况都将被记录；在本次静态分析过程中，所得记录分为错误、警告和正确，其中三者的表达形式为，若命题为真，记为1，错误，则记为0，且三者互不相容。

5.根据权利要求1所述的一种基于DS证据理论的组合加速静态分析方法，其特征在于：

在步骤4中所述的“基于所述的分析结果以及所述工具的性能参数对所述程序的分析结果进行及时更新”，其作法如下：程序的分析结果进行更新的方法包括基于条件概率分配函数以及均分方式对分析结果的概率分布进行分配；将所述程序的分析结果进行更新，所得结果以百分数的形式呈现；在本次实施例中，所得错误、报警和正确的概率之和为1；这是基于DS证据理论进行数据融合的必要前提。