CN110990281B - 一种自动化静态分析方法 - Google Patents

Abstract

一种自动化静态分析方法，包括：提取待测文件：对SVN服务器进行访问，比较SVN版本库中代码发生变更的文件，并对代码发生变更后的文件进行文件格式识别，提取出C文件作为第一待测文件，对第一待测文件执行去换行符操作得到第二待测文件，将第二待测文件传送给测试工具的静态分析执行单元；对测试工具进行测试环境配置，以提供第二待测文件的运行环境；对第二待测文件执行静态分析：采用配置之后的测试工具对所述第二待测文件进行静态分析处理；所述静态分析处理包括创建集合、添加第二待测文件和执行静态分析，执行静态分析之后生成静态分析报告。

Description

一种自动化静态分析方法

技术领域

本发明属于软件测试领域，具体涉及一种自动化静态分析方法。

背景技术

软件研制过程中，软件测试是不可或缺的重要环节。软件测试是软件质量保证的关键步骤。美国质量保证研究所对软件测试的研究结果表明：越早发现软件中存在的问题，开发费用就越低；在编码后修改软件缺陷的成本是编码前的10倍，在产品交付后修改软件缺陷的成本是交付前的10倍；软件质量越高，软件发布后的维护费用越低。测试过程中，越早发现问题，修正问题需要投入的人力物力越少。

软件研制阶段：当软件编码完成一个版本后，进入软件测试环节，首先需要做代码的单元静态测试即静态分析。软件静态分析后，测试人员把编码规则问题反馈给软件编码人员。软件编码人员对测试问题确认、更改。

软件维护阶段：随着需求变更、代码完善、问题修复等，软件代码版本升级是不可避免的。多个代码维护人员分别从SVN版本库获取当前最新版本代码，并在此基础上修改代码，提交版本库，完成版本升级。版本升级后，测试人员对新版本代码做静态分析。软件静态分析后，测试人员把编码规则问题反馈给软件编码人员。软件编码人员对测试问题确认、更改。

现阶段，在软件研制阶段：编码人员在一个版本完成后修改大量编码规则问题会耗费较大的人力成本，进而造成成本浪费；软件维护阶段：编码人员把修改的代码提交版本库后，再修改编码规则问题，同样会造成成本浪费。

发明内容

本发明的目的：一种自动化静态分析方法。该方法使用python语言调用Testbed静态分析工具实现。

本发明的技术方案：提供一种自动化静态分析方法，所述静态分析方法包括

提取待测文件：对SVN服务器进行访问，比较SVN版本库中代码发生变更的文件，并对代码发生变更后的文件进行文件格式识别，提取出C文件作为第一待测文件，对第一待测文件执行去换行符操作得到第二待测文件，将第二待测文件传送给测试工具的静态分析执行单元；

对测试工具进行测试环境配置，以提供第二待测文件的运行环境；

对第二待测文件执行静态分析：采用配置之后的测试工具对所述第二待测文件进行静态分析处理；所述静态分析处理包括创建集合、添加第二待测文件和执行静态分析，执行静态分析之后生成静态分析报告。

进一步地，所述比较SVN版本库中代码发生变更的文件包括：首先通过读取配置文件中的原始待测文件版本信息获取待比较的两个版本号；然后对不同版本号对应的原始待测文件执行比较操作，获取版本差异，提取差异文件；

所述对代码发生变更后的文件进行文件格式识别包括：从SVN服务器中导出提取的差异文件；按行读取差异文件并筛选出适用格式的C文件作为第一待测文件。

进一步地，所述测试工具为Testbed测试工具；在进行测试环境配置时，对所述第二待测文件配置适用的头文件、编译宏、编码规则集、代码评审报告、质量评审报告和数据分析报告。

进一步地，所述创建集合包括：获取当前系统时间以给集合命名；然后给命名后的集合配置分析属性，根据第二待测文件间的互相关系需求确定第二待测文件的分析属性；所述分析属性包括孤立分析或工程分析。

进一步地，所述添加第二待测文件包括：向配置分析属性后的集合添加第二待测文件，添加第二待测文件时，每20个第二待测文件执行一次添加操作，以避免命令行过长带来的异常中断问题。

进一步地，在对每20个第二待测文件执行添加操作时，首先按行读取第二待测文件，去除行尾的换行符，以获取第二待测文件全名；然后，对添加指令操作符和第二待测文件全名循环执行字符串拼接操作，循环次数为20次。

进一步地，所述执行静态分析包括：

对测试工具设置测试参数，选择配置编码规则检查、复杂度分析、函数信息分析、数据流分析、交叉索引、信息流分析、数据对象分析参数中的一个或多个；

通过对比第二待测文件和设定的编码规则集，确认第二待测文件是否违反编码规则；

通过递归遍历第二待测文件中的函数，筛选不符合质量模型的函数，获取并记录第二待测文件中所有函数的函数信息、复杂度信息、数据流信息、交叉索引信息、数据对象参数信息。

进一步地，根据记录的第二待测文件中所有函数的函数信息、复杂度信息、数据流信息、交叉索引信息、数据对象参数信息生成静态分析报告；

所述静态分析报告包括分析范围报告、测试管理报告、代码评审报告、质量评审报告、设计评审报告、数据流报告、数据对象分析报告、静态调用关系图、用户自定义类型报告、静态控制流图中的一个或多个。

本发明的有益效果：本发明通过访问SVN服务器和对适用格式的文件筛选，实现待测文件的自动化提取，能够有效地提高文件提取效率，降低人力成本；通过配置和调用测试工具自动化运行实现静态分析自动化，避免了测试工具界面操作的繁琐步骤，能够提高静态分析效率，降低成本。本发明所述的自动化静态分析方法能够改善当前型号软件研制状态，实现代码随写随测，提高测试效率，减少人力成本，从而缩短软件研制周期，切实改善代码质量和规范。

附图说明

图1为Testbed测试工具配置流程图；

图2为静态分析自动化执行流程图。

具体实施方式

下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本发明一部分实施例，而不是全部实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。

图2为静态分析自动化执行流程图，如图2所示，本实施例，提供一种自动化静态分析方法，所述静态分析方法包括以下步骤：

(1)文件和测试工具配置

图1为Testbed测试工具配置流程图，如图1所示，对测试工具进行测试环境配置，以提供第二待测文件的运行环境。所述测试工具为Testbed测试工具。在进行测试环境配置时，对所述第二待测文件配置适用的头文件、编译宏、编码规则集、代码评审报告、质量评审报告和数据分析报告。通过python脚本读取INI配置文件，获取SVN原始待测文件路径、测试工具工作路径、待测文件版本号信息。

(2)提取待测文件：

对SVN服务器进行访问，比较SVN版本库中代码发生变更的文件，并对代码发生变更后的文件进行文件格式识别，提取出C文件作为第一待测文件，对第一待测文件执行去换行符操作得到第二待测文件，将第二待测文件传送给测试工具的静态分析执行单元；

进一步地，所述比较SVN版本库中代码发生变更的文件包括：首先通过读取配置文件中的原始待测文件版本信息获取待比较的两个版本号；然后对不同版本号对应的原始待测文件执行比较操作，获取版本差异，提取差异文件；

所述对代码发生变更后的文件进行文件格式识别包括：从SVN服务器中导出提取的差异文件；按行读取差异文件并筛选出适用格式的C文件作为第一待测文件。

(3)对第二待测文件执行静态分析

采用配置之后的测试工具对所述第二待测文件进行静态分析处理；所述静态分析处理包括创建集合、添加第二待测文件和执行静态分析，执行静态分析之后生成静态分析报告。

进一步地，所述创建集合包括：获取当前系统时间以给集合命名；然后给命名后的集合配置分析属性，根据第二待测文件间的互相关系需求确定第二待测文件的分析属性；所述分析属性包括孤立分析或工程分析。

进一步地，所述添加第二待测文件包括：向配置分析属性后的集合添加第二待测文件，添加第二待测文件时，每20个第二待测文件执行一次添加操作，以避免命令行过长带来的异常中断问题。

进一步地，在对每20个第二待测文件执行添加操作时，首先按行读取第二待测文件，去除行尾的换行符，以获取第二待测文件全名；然后，对添加指令操作符和第二待测文件全名循环执行字符串拼接操作，循环次数为20次。

进一步地，所述执行静态分析包括：

设置测试参数，选择配置编码规则检查、复杂度分析、函数信息分析、数据流分析、交叉索引、信息流分析、数据对象分析参数中的一个或多个；

通过对比第二待测文件和设定的编码规则集，确认第二待测文件是否违反编码规则；

通过递归遍历第二待测文件中的函数，筛选不符合质量模型的函数，获取并记录第二待测文件中所有函数的函数信息、复杂度信息、数据流信息、交叉索引信息、数据对象参数信息。

进一步地，根据记录的第二待测文件中所有函数的函数信息、复杂度信息、数据流信息、交叉索引信息、数据对象参数信息生成静态分析报告；所述静态分析报告包括分析范围报告、测试管理报告、代码评审报告、质量评审报告、设计评审报告、数据流报告、数据对象分析报告、静态调用关系图、用户自定义类型报告、静态控制流图中的一个或多个。

以上所述，仅为本发明的具体实施例，对本发明进行详细描述，未详尽部分为常规技术。但本发明的保护范围不局限于此，任何熟悉本技术领域的技术人员在本发明揭露的技术范围内，可轻易想到的变化或替换，都应涵盖在本发明的保护范围之内。本发明的保护范围应以所述权利要求的保护范围为准。

Claims (4)

1.一种自动化静态分析方法，其特征在于，所述静态分析方法是使用python语言调用Testbed静态分析工具实现的；所述静态分析方法包括：

提取待测文件：对SVN服务器进行访问，比较SVN版本库中代码发生变更的文件，并对代码发生变更后的文件进行文件格式识别，提取出C文件作为第一待测文件，对第一待测文件执行去换行符操作得到第二待测文件，将第二待测文件传送给测试工具的静态分析执行单元；

对测试工具进行测试环境配置，以提供第二待测文件的运行环境；

对第二待测文件执行静态分析：采用配置之后的测试工具对所述第二待测文件进行静态分析处理；所述静态分析处理包括创建集合、添加第二待测文件和执行静态分析，执行静态分析之后生成静态分析报告；

其中，所述比较SVN版本库中代码发生变更的文件包括：

首先通过读取配置文件中的原始待测文件版本信息获取待比较的两个版本号；

然后对不同版本号对应的原始待测文件执行比较操作，获取版本差异，提取差异文件；

所述对代码发生变更后的文件进行文件格式识别包括：从SVN服务器中导出提取的差异文件；按行读取差异文件并筛选出适用格式的C文件作为第一待测文件；

所述创建集合包括：获取当前系统时间以给集合命名；然后给命名后的集合配置分析属性，根据第二待测文件间的互相关系需求确定第二待测文件的分析属性；所述分析属性包括孤立分析或工程分析；

所述添加第二待测文件包括：向配置分析属性后的集合添加第二待测文件，添加第二待测文件时，每20个第二待测文件执行一次添加操作，以避免命令行过长带来的异常中断问题；

在对每20个第二待测文件执行添加操作时，首先按行读取第二待测文件，去除行尾的换行符，以获取第二待测文件全名；

然后，对添加指令操作符和第二待测文件全名循环执行字符串拼接操作，循环次数为20次。

2.根据权利要求1所述的自动化静态分析方法，其特征在于，所述测试工具为Testbed测试工具；

在进行测试环境配置时，对所述第二待测文件配置适用的头文件、编译宏、编码规则集、代码评审报告、质量评审报告和数据分析报告。

3.根据权利要求1所述的自动化静态分析方法，其特征在于，所述执行静态分析包括：

对测试工具设置测试参数，选择配置编码规则检查、复杂度分析、函数信息分析、数据流分析、交叉索引、信息流分析、数据对象分析参数中的一个或多个；

通过对比第二待测文件和设定的编码规则集，确认第二待测文件是否违反编码规则；

通过递归遍历第二待测文件中的函数，筛选不符合质量模型的函数，获取并记录第二待测文件中所有函数的函数信息、复杂度信息、数据流信息、交叉索引信息、数据对象参数信息。

4.根据权利要求1所述的自动化静态分析方法，其特征在于，

根据记录的第二待测文件中所有函数的函数信息、复杂度信息、数据流信息、交叉索引信息、数据对象参数信息生成静态分析报告；

所述静态分析报告包括分析范围报告、测试管理报告、代码评审报告、质量评审报告、设计评审报告、数据流报告、数据对象分析报告、静态调用关系图、用户自定义类型报告、静态控制流图中的一个或多个。