模块测试(单元测试)——软件测试的艺术

是大型程序测试的第一个步骤【大型程序即超过500条语句的程序】

了解

模块测试是对程序中的单个程序、子程序/过程进行测试的过程【并非对整个程序】：

• 关注点在较小单元，是一种管理组合的测试元素的手段
• 减轻调试的难度，把错误定位到一个小范围
• 可同时测试多个模块，将并行工程引入软件测试

模块测试的目的在于将模块的功能与定义模块的功能规格说明或接口规格说明进行比较。揭示出模块与规格说明的矛盾

测试用例的设计

首先需要模块的规格说明与模块源代码
模块测试总体面向白盒测试【若对大的程序测试，不容易展开，也便于在后续测试中专心于其他类型的错误】
—>测试用例设计：使用一种或多种白盒测试方法分析模块的逻辑结构，然后用黑盒测试方法对照模块规格说明补充测试用例

黑盒方法：黑盒
白盒方法：

• 语句覆盖
  每条语句都执行一次，过于粗超没啥用
• 判定覆盖
  每条分支路径都至少执行一次(eg:if…else,switch等
  判定覆盖通常满足语句覆盖
• 条件覆盖
  将一个判断中的每个条件的所有可能结果至少执行一次
• 判定/条件覆盖
  将一个判断中的每个条件的所有可能的结果至少执行一次，将每个判断的所有可能结果至少执行一次，将每个入口点至少调一次
• 多种条件覆盖
  将每个判定中的所有可能的条件结果的组合，及所