测试方法学习

  每日一句：

  You mean you are proposing to me now？

一、测试方法分类

测试从不同的角度出发，可以有不同的分类

1. 黑盒测试和白盒测试

2. 静态测试和动态测试

3. 人工测试和自动化测试

二、白盒测试

1. 白盒测试是依据被测试软件分析程序内部构造，并根据内部构造设计用例，来对内部控制流程进行测试。

2. 为什么要进行白盒测试

• 定位问题方便
• 可以进行针对性测试
• 发现问题后解决问题的成本较低

3. 白盒测试方法

白盒测试一般会用到静态分析和动态分析两类技术，静态分析不执行程序代码，动态分析通过执行程序代码分析。

静态分析：控制流分析、数据流分析、信息流分析

动态分析：逻辑覆盖测试（分支测试、路径测试）、程序插装

4. 静态分析

控制流分析

检查代码执行顺序

代码---------控制流图------------控制流矩阵

数据流分析

检查变量的使用（checkpoint)

代码-------数据流表

发现的错误：

• 变量未定义但被使用
• 变量定义但未被使用

代码优化

• 结构优化
• 效率优化
• 可移植性优化

空间效率优化举例：

两个变量值交换

 a=a+b;b=a-b;a=a-b;

或者 a=a^b;b=a^b;a=a^b;

信息流分析

检查变量和语句之间的关系，输入变量和输出变量的关系。

5. 动态分析

逻辑覆盖测试

逻辑覆盖率统计通过程序插装来实现。

6. 白盒测试的特点

• 测试人员需要了解软件的实现
• 可以检测代码中的每条分支和路径
• 揭示隐藏在代码中的错误
• 投入大、成本高

三、 黑盒测试

a. 测试类型

容量测试、负载测试

b. 测试方法

• 等价类划分
• 边界值分析法
• 因果分析法
• 判定表法
• 状态迁移法

四、静态测试和动态测试

被测对象：文档、代码

1. 静态测试方法

a. 同行评审

• 正规检视
• 技术评审
• 走查

b. 自动化方法

• 静态验证
• 语法分析器
• 符号执行器

2. 动态分析工具功能

• 逻辑覆盖
• 跟踪
• 调整
• 模拟
• 断言检查

五、人工测试和自动化测试