单元测试

1基本概念

1.1 测试目标：确保模块被正确的编码

逻辑正确

代码规范

程序可靠、健全、高效

1.2 测试依据：

详细设计说明书和源程序清单，了解模块的I/O条件和模块的逻辑结构

1.3 测试对象：独立、可测的代码片段

一个最小的单元应该有明确的功能、性能定义、接口定义而且可以清晰的与其他单元区分开来

测试粒度：可以是子程序、函数、类、组件或文件，通常以函数为一个单元

1.4 测试人员：通常时由程序开发人员去做

1.5 测试步骤：

静态测试（代码审查）

设计测试用例

执行测试用例

搭建测试环境

执行测试

补充完善测试用例

测试结果分析评价

Bug改正、回归测试

2 静态测试（代码审查）

2.1 目的：产生合格的代码

正确：逻辑正确，功能实现

清晰：代码简明易懂，注释准确

规范：符合公司或部门编程规约

高效：使用最优化算法

2.2 方法：互查、走查、会议评审

2.3 编程规则审查

3 设计测试用例

3.1 黑盒测试方法

把程序看成一个不能打开的黑盒子，在完全不考虑程序内部结构和内部特性的情况下来考察数据的输入、条件限制和数据输出，进而完成测试。

黑盒测试方法，指根据用户的需求和已经定义好的产品规格，针对程序接口和用户界面进行测试，检验程序是否能适当地接收输入数据而产生正确的输出信息，并且保持外部信息（如数据或文件）的完整性。

等价类划分法

边界值分析法

因果图法：检查程序输入条件的多种情况组合，并最终生成判定表，来获得对应的测试用例

功能图法

错误推测法

正交试验设计方法

3.2 白盒测试方法

也成结构测试或逻辑驱动测试，就是清楚软件产品内部的逻辑结构和工作过程，针对语句、路径、变量状态等来进行测试。例如检查程序的各个分支条件是否得到满足，检查程序按照事先预定的路径执行。白盒测试的主要方法有逻辑覆盖、分支覆盖、条件组合覆盖、基本路径测试等。

语句覆盖

判定覆盖

条件覆盖

判定-条件覆盖

条件组合覆盖

基本路径覆盖

3.3 单元测试要求

所有独立路径至少要测试一次

所有逻辑判定，其结果为真、假两种情况至少要测试一次

边界检查，如数据越界检验、循环达到最大值、最小值等

检验内部数据结构的有效性

3.4 单元测试用例设计方法

正面测试设计

验证被测单元能够执行应该完成的工作

适合的技术：设计说明导出的测试，等价类划分法，功能图法

负面测试设计

验证软件不执行其不应该完成的工作

适合的技术：错误推测法，边界值分析，内部边界分析，功能图法

特性测试设计

对设计说明书中关于性能、余量、安全需要、保密需求等设计测试用例

适合的技术：设计说明书导出的测试

覆盖率测试设计

为了达到特定测试的覆盖率目标而设计测试用例

适合的技术：语句覆盖、条件覆盖等白盒测试方法

3.5 驱动模块（Driver）

模拟被测模块的上级模块。接受测试数据，把相关的数据传送给被测模块，启动/完成对被测模块的测试；

3.6 桩模块（Stub）

模拟被测模块工作过程中所调用的模块