[发明专利]静态分析辅助方法

说明书

本发明属于软件测试静态分析技术领域，具体涉及一种静态分析辅助方法，其包括：静态分析结果提取模块提取静态分析工具的静态分析测试结果；静态分析结果整理模块解析静态分析后的静态分析测试结果，并将静态分析测试结果映射至安全子集细则GJB8114中的标准要求，形成映射整理后的静态分析测试结果；报告生成模块将映射整理后的静态分析测试结果依据报告模板生成测试报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该方法可以有效提高静态分析效率，降低测试人力成本，提高了测试工作质量，降低了软件质量风险，节约时间成本和人力成本。本项目中研究的针对静态分析工具可以为自动化测试提供指导。

技术领域

本发明属于软件测试静态分析技术领域，具体涉及一种静态分析辅助方法。

背景技术

部分行业对软件质量和安全性有着极高的要求，为了保障软件测试的质量，各个评测中心为能够覆盖测试充分性，所选取的静态测试工具也越来越多，这种多个工具逐个分析，测试结果逐项核查的方式使原有测试的工作量成倍增长；同时，随着目前业务应用中的软件数量规模呈现极大的增长速率，随之而来各个评测机构测试人员的增长速度无法匹配测试工作量的增长速度。为了保证测试质量，提高测试效率，目前静态分析工作的方式亟须优化。

目前软件静态分析，经过多年型号测试积累筛选，目前普遍使用Klocwork、QAC、TestBed三个工具开展静态分析，存在的问题如下：

1)Klocwork、QAC、TestBed三个工具静态分析受限于各自技术水平如：Klocwork软件偏向于运行分析，特点在于误报率低，但存在一定的漏报率。QAC和TestBed软件都偏向于语法分析、规则检查，缺少对代码的全面分析及运行分析。即使做过国军标的定制，也无法覆盖全部细则，经过比对统计各工具对GJB8114的覆盖率分别：Klocwork有效覆盖40％左右、QAC和TESTBED有效覆盖约为70％；综合使用全部三个工具则能达到有效覆盖85％以上。

2)Klocwork、QAC、TestBed三个工具静态分析均为国外公司开发，规则集基本上都采用MISRA的标准，存在大量的规则不适用于用户的编码要求。导致每个静态分析工具的静态分析结果会存在冗余阅读信息，不利于提高测试效率。

3)目前软件测试一般需要同时使用多个软件进行静态分析，这就导致不同工具的静态分析结果之间既有重复部分，又有独立部分，软件评测人员在对静态分析结果进行分析时需要阅读所有分析结果进行人工排查筛选，不仅增加了评测的工作量，还由于测试人员的主观因素引入人工风险。

4)部分测评工具显示结果为英文，用户后期还需要通过自身翻译阅读工具结果，不仅浪费了时间，还会由于自身翻译不准确带来质量风险的问题。

发明内容

(一)要解决的技术问题

本发明要解决的技术问题是：如何提供一种静态分析辅助方法。

(二)技术方案

为解决上述技术问题，本发明提供一种静态分析辅助方法，所述静态分析辅助方法基于静态分析辅助系统来实施，所述系统包括：静态分析结果提取模块、静态分析结果整理模块、报告生成模块；

所述方法包括：

步骤1：静态分析结果提取模块提取静态分析工具的静态分析测试结果；

步骤2：静态分析结果整理模块解析静态分析后的静态分析测试结果，并将静态分析测试结果映射至安全子集细则GJB8114中的标准要求，形成映射整理后的静态分析测试结果；

步骤3：报告生成模块将映射整理后的静态分析测试结果依据报告模板生成测试报告。

其中，所述静态分析结果提取模块包括：QAC Source Code Analyser接口；