单元测试方法

       单元测试的对象是软件设计的最小单位——模块。单元测试的依据是详细设描述，单元测试应对模块内所有重要的控制路径设计测试用例，以便发现模块内部的错误。单元测试多采用白盒测试技术，系统内多个模块可以并行地进行测试。 

 

单 元 测试 任 务

 

1.         单 元 测试 任 务 包括：

2.         模 块 接口 测试 ；

3.         模 块 局部数据 结 构 测试 ；

4.         模 块边 界条件 测试 ；

5.         模 块 中所有独立 执 行通路 测试 ；

6.         模 块 的各条 错误处 理通路 测试 。

 

模 块 接口 测试 是 单 元 测试 的基 础 。只有在数据能正确流入、流出模 块 的前提下，其他 测试 才有意 义 。 测试 接口正确与否 应该 考 虑 下列因素：

 

1.         输 入的 实际 参数与形式参数的个数是否相同；

2.         输 入的 实际 参数与形式参数的属性是否匹配；

3.         输 入的 实际 参数与形式参数的量 纲 是否一致；

4.         调 用其他模 块时 所 给实际 参数的个数是否与被 调 模 块 的形参个数相同；

5.         调 用其他模 块时 所 给实际 参数的属性是否与被 调 模 块 的形参属性匹配；

6.         调 用其他模 块时 所 给实际 参数的量 纲 是否与被 调 模 块 的形参量 纲 一致；

7.         调 用 预 定 义 函数 时 所用参数的个数、属性和次序是否正确；

8.         是否存在与当前入口点无 关 的参数引用；

9.         是否修改了只 读 型参数；

10.     对 全程 变 量的定 义 各模 块 是否一致；

11.     是否把某些 约 束作 为 参数 传递 。

 

如果模 块 内包括外部 输 入 输 出， 还应该 考 虑 下列因素：

 

1.         文件属性是否正确；

2.         OPEN/CLOSE 语 句 是否正确；

3.         格式 说 明与 输 入 输 出 语 句是否匹配；

4.         缓 冲区大小与 记录长 度是否匹配；

5.         文件使用前是否已 经 打 开 ；

6.         是否 处 理了文件尾；

7.         是否 处 理了 输 入 / 输 出 错误 ；

8.         输 出信息中是否有文字性 错误 ；

 

检查 局部数据 结 构是 为 了保 证临时 存 储 在模 块 内的数据在程序 执 行 过 程中完整、正确。局部数据 结 构往往是 错误 的根源， 应 仔 细设计测试 用例，力求 发现 下面几 类错误 ：

 

1.         不合适或不相容的 类 型 说 明；

2.         变 量无初 值 ；

3.         变 量初始化或省缺 值 有 错 ；

4.         不正确的 变 量名（拼 错 或不正确地截断）；

5.         出 现 上溢、下溢和地址异常。

 

除了局部数据 结 构外，如果可能， 单 元 测试时还应该查 清全局数据（例如 FORTRAN 的公用区） 对 模 块 的影响。

 

在模 块 中 应对每 一条独立 执 行路径 进 行 测试 ， 单 元 测试 的基本任 务 是保 证 模 块 中 每 条 语 句至少 执 行一次。此 时设计测试 用例是 为 了 发现 因 错误计 算、不正确的比 较 和不适当的控制流造成的 错误 。此 时 基本路径 测试 和循 环测试 是最常用且最有效的 测试 技 术 。 计 算中常 见 的 错误 包括：

1.         误 解或用 错 了算符 优 先 级 ；

2.         混合 类 型运算；

3.         变 量初 值错 ；

4.         精度不 够 ；

5.       表达式符号 错

 

比 较 判断与控制流常常 紧 密相 关 ， 测试 用例 还应 致力于 发现 下列 错误 ：

 

1.         不同数据 类 型的 对 象之 间进 行比 较 ；

2.         错误 地使用 逻辑 运算符或 优 先 级 ；

3.         因 计 算机表示的局限性，期望理 论 上相等而 实际 上不相等的两个量相等；

4.         比 较 运算或 变 量出 错 ；

5.         循 环终 止条件或不可能出 现 ；

6.         迭代 发 散 时 不能退出；

7.         错误 地修改了循 环变 量。

 

一个好的 设计应 能 预见 各 种 出 错 条件，并 预设 各 种 出 错处 理通路，出 错处 理通路同 样 需要 认 真 测试 ， 测试应 着重 检查 下列 问题 ：

 

1.         输 出的出 错 信息 难 以理解；

2.         记录 的 错误 与 实际 遇到的 错误 不相符；

3.         在程序自定 义 的出 错处 理段运行之前，系 统 已介入；

4.         异常 处 理不当；

5.         错误陈 述中未能提供足 够 的定位出 错 信息。

 

边 界条件 测试 是 单 元 测试 中最后，也是最重要的一 项 任 务 。众的周知， 软 件 经 常在 边 界上失效，采用 边 界 值 分析技 术 ， 针对边 界 值 及其左、右 设计测试 用例，很有可能 发现 新的 错误 。