软件测试自动化静态分析研究1

软件测试自动化静态分析研究 静态分析工具是软件测试自动化中的一种重要工具，它可以对程序的源代码进行分析，自动测试应用系统的很多方面。静态分析工具通常由四部分组成：语言程序的预处理器、数据库、错误分析器和报告生成器。 预处理器是静态分析工具的核心部分，它把词法分析和语法分析结合在一起以识别各种类型的语句。它把源程序划分为若干程序模块单元（如主程序和子程序），同时生成包含变量使用、变量类型、标号与控制流等信息的许多表格。这些表格可以分为全局表和局部表两种，全局表反映整个程序的全局变量信息，如模块名、函数及过程调用关系、全局变量等，局部表对应到各个模块，记录模块中的各种结构信息，如标号引用表、分支索引表、变量属性表、语句变量引用、数组或记录特性表等。 静态分析工具还检查模块接口的一致性，主要是检查子程序调用形式参数与实际参数的个数、类型是否一致，输入输出参数的定义和使用是否匹配。这可以通过把所有的模块名存在一张表中，并且为每个模块设置一个接口调用表来实现。该表中记录了模块接口的形式参数的类型、排列顺序以及形式参数的缺省值，还记录了输出参数的类型。 在静态分析工具中，变量的检查是非常重要的一步。简单的实现方法是对变量的定义进行记录，对使用次数进行计数，这需要在词法分析和语法分析的基础上再建立三张表。第一张表对变量的定义进行记录，它包括该变量的变量名、在第几行第几句代码中对变量进行了定义、用什么类型定义了变量。第二张表对变量的使用次数进行计数，它包括该变量在第一张表中对应的入口、目前为止它的使用次数、最近一次在第几行第几句代码中对变量所代表的存储单元进行了操作。第三张表记录源代码中的变量冗余或者未定义的信息。 静态分析工具的运作流程可以分为以下几个步骤：预处理器对源程序进行词法分析和语法分析，生成包含变量使用、变量类型、标号与控制流等信息的许多表格；然后，错误分析器在用户指导下利用命令语言或查询语言与系统通信进行查错，并把检查结果通过表格的形式输出；报告生成器根据检查结果生成报告。 静态分析工具的应用可以加快软件测试的速度，减少人力投入。它可以自动测试应用系统的很多方面，对程序的源代码进行分析，检查模块接口的一致性，检查变量的定义和使用等。因此，它在软件测试自动化中扮演着非常重要的角色。