第16章 基于结构的测试技术（白盒测试技术） 16.1 - 静态测试技术

目录

一、本章主要内容

二、静态测试技术的概述

1、静态测试的概念

2、常见的三种静态测试技术

（1）代码检查

（2）编码规则检查

（3）静态分析

三、代码检查概述

四、代码检查形式

1、代码审查

（1）概念

（2）主要目的

2、代码走查

（1）概念

五、代码检查的常见项目

六、静态分析

1、静态分析概述

2、常见的静态分析

（1）控制流分析

（2）数据流分析

（3）接口分析

（4）表达式分析

七、考点

1、静态测试的方法

2、编码规范评测的内容

---

一、本章主要内容

1、静态测试技术

2、动态测试技术

3、基于结构的测试辅助技术

4、基于结构测试的综合策略

二、静态测试技术的概述

1、静态测试的概念

• 静态测试技术是指在不运行程序代码的情况下，通过质量准则或其他准则对测试的项目进行检查的测试类型。这种检查可以是人工的，也可以通过工具来自动进行检查。

2、常见的三种静态测试技术

（1）代码检查

（2）编码规则检查

（3）静态分析

三、代码检查概述

• 代码检查一般是在编译和动态测试之前。
• 能够快速的找出软件的一些缺陷，而且看到的是缺陷的本质而不是表面现象。（黑盒测试看到的就是缺陷的表面现象，也就是能看到缺陷，但是缺陷的原因还需要去调查。）
• 有效的组织代码检查能够有效的发现30%~70%左右的逻辑设计和编码的缺陷。但是这种测试的效率比较低，而且对测试人员的经验和知识有一定的要求。

四、代码检查形式

1、代码审查

（1）概念

• 就是依照程序所使用的语言和编码的规范，对照已经经过评审和确认的检查单，去检查相关项目的代码。

（2）主要目的

• 主要是为了检查代码设计的一致性和标准是否按照约定的标准在执行、代码的逻辑表达是否正确、代码的结构是否合理、代码本身的可读性等方面。

2、代码走查

（1）概念

• 由测试组的人员集体扮演计算机的角色，沿着程序的逻辑逐步去运行设计好的测试用例来检查程序，查找软件是否存在缺陷。

五、代码检查的常见项目

1、检查变量的交叉引用表

2、检查标号的交叉引用表

3、检查子程序、宏、函数

4、等价性检查

5、常量检查

6、标准检查

7、风格检查

8、比较控制流

9、选择、激活路径

10、对照程序的规格说明，比较实际的代码和期望的代码，从差异中发现问题和错误

11、补充文档

六、静态分析

1、静态分析概述

• 静态分析是一种检查代码的方法，该方法无需执行程序；静态分析提供了一种机制使得我们可以去审查代码的结构、控制流、数据流、检查潜在的可移植性、可维护性方面的问题，计算适当的软件质量的测度。

2、常见的静态分析

（1）控制流分析

（2）数据流分析

（3）接口分析

（4）表达式分析

七、考点

1、静态测试的方法

2、编码规范评测的内容