第3章软件测试技术(4) ●●● 3.1.4静态分析技术 什么是静态分析？ 静态分析是借助工具进行白 盒测试的一种技术。静态分析并 不要求在计算机上执行所测试的 程序，而是通过运行静态分析工 具对程序进行分析和测试。 信息系统测试
第3章 软件测试技术(４) 信息系统测试 3.1.4静态分析技术 什么是静态分析? 静态分析是借助工具进行白 盒测试的一种技术。静态分析并 不要求在计算机上执行所测试的 程序，而是通过运行静态分析工 具对程序进行分析和测试
第3章软件测试技术(4) ●●● 3.1.4静态分析技术 静态分析的目的： 静态分析的结果可以对需求和设 计文档以及编码进行检查，主要进行 程序逻辑和编码检查、一致性检查： 接口分析、/O规格说明分析、数据流、 变量类型检查和模块分析等。静态分 析结果可以作为动态测试和其他测试 的必要准备。 信息系统测试
第3章 软件测试技术(４) 信息系统测试 3.1.4静态分析技术 静态分析的目的： 静态分析的结果可以对需求和设 计文档以及编码进行检查，主要进行 程序逻辑和编码检查、一致性检查、 接口分析、I/O规格说明分析、数据流、 变量类型检查和模块分析等。静态分 析结果可以作为动态测试和其他测试 的必要准备
第3章软件测试技术(4) ●●●● 静态分析方法： 1.生成引用表 2.程序错误分析 3.接口分析 信息系统测试
第3章 软件测试技术(４) 信息系统测试 静态分析方法： １．生成引用表 ２．程序错误分析 ３．接口分析
第3章软件测试技术(4) ●●● ●● 1.生成引用表 ●● 静态分析后，可以生成各种引用表： ·循环层次表； ·变量交叉引用表； ·标号交叉引用表； ·子程序引用表； ·等价表； ·常数表； ·操作符统计表； ·操作数统计表。 信息系统测试
第3章 软件测试技术(４) 信息系统测试 1.生成引用表 静态分析后，可以生成各种引用表： • 循环层次表; • 变量交叉引用表; • 标号交叉引用表; • 子程序引用表; • 等价表; • 常数表; • 操作符统计表; • 操作数统计表
第3章软件测试技术(4) ●●● ●● 生成引用表的目的： 1.直接从表中查出说明、使用错误。 例如循环层次表、变量交叉引用表、标号交叉引 用表。 2.为用户提供辅助信息。 例如子程序引用表、等价表、常数表。 3.用来做错误预测和程序复杂度的计算。 例如操作符和操作数的统计表。 信息系统测试
第3章 软件测试技术(４) 信息系统测试 生成引用表的目的： １．直接从表中查出说明、使用错误。 例如循环层次表、变量交叉引用表、标号交叉引 用表。 ２．为用户提供辅助信息。 例如子程序引用表、等价表、常数表。 ３．用来做错误预测和程序复杂度的计算。 例如操作符和操作数的统计表
第3章软件测试技术(4) (1) 标号交叉引用表： ●●● ● 列出各模块出现的全部标号。 ● 其顺序可以是按标号出现的先后顺 序，也可以按字典顺序。 ● 在表中标出标号的属性：已说明， 未说明、已使用、未使用。 在表中还可以包括模块外的全局标 号、计算标号。 信息系统测试
第3章 软件测试技术(４) 信息系统测试 （1） 标号交叉引用表： • 列出各模块出现的全部标号。 • 其顺序可以是按标号出现的先后顺 序，也可以按字典顺序。 • 在表中标出标号的属性：已说明， 未说明、已使用、未使用。 • 在表中还可以包括模块外的全局标 号、计算标号
第3章软件测试技术(4) ●●● (2)变量交叉引用表： ● 变量交叉引用表也称变量定义与引用 表。 ·在表中，变量的顺序可以是按变量出 现的先后顺序，也可以按字典顺序， 还可以按他们的类型排序。 ● 表中应标明各个变量的属性：己说明、 未说明、私有/公有说明，以及类型和 使用情况。 信息系统测试
第3章 软件测试技术(４) 信息系统测试 （２）变量交叉引用表： • 变量交叉引用表也称变量定义与引用 表。 • 在表中，变量的顺序可以是按变量出 现的先后顺序，也可以按字典顺序， 还可以按他们的类型排序。 • 表中应标明各个变量的属性：已说明、 未说明、私有/公有说明，以及类型和 使用情况
第3章软件测试技术(4) ●●● (3)子程序、宏和函数表： 在表中列出各个子程序、宏和函数的 属性，包括： ·已定义、未定义、定义类型 ·已引用、未应用、引用次数； ● 输入参数的个数、类型、顺序； 输出参数的个数、类型、顺序。 信息系统测试
第3章 软件测试技术(４) 信息系统测试 （３）子程序、宏和函数表： 在表中列出各个子程序、宏和函数的 属性，包括： • 已定义、未定义、定义类型； • 已引用、未应用、引用次数； • 输入参数的个数、类型、顺序； • 输出参数的个数、类型、顺序
第3章软件测试技术(4) (4)等价表： ● 在表中列出在等价语句或 等值语句中出现的全部变 量和标号。 信息系统测试
第3章 软件测试技术(４) 信息系统测试 （４）等价表： 在表中列出在等价语句或 等值语句中出现的全部变 量和标号
第3章软件测试技术(4) ●●● (5)常数表： 在表中列出全部的数字常 数和字符常数，并指出他 们在哪些语句中首先被定 义。 信息系统测试
第3章 软件测试技术(４) 信息系统测试 （５）常数表： 在表中列出全部的数字常 数和字符常数，并指出他 们在哪些语句中首先被定 义