软件测试方法-白盒测试

软件测试方法–白盒测试

1.逻辑覆盖法

• 语句覆盖
  使程序中每条语句至少被执行一次
• 判定覆盖
  使程序中每个判定至少有一次为真值，有一处为假值，即程序中的每个分支至少执行一次
• 条件覆盖
  使判定中的乜咯条件获得各种可能的结果，即每个条件至少有一次为真值，有一次为假值
• 判定/条件覆盖
  使判定中每个条件的所有可能结果至少出现一次，每个判定本身所有可能结果也至少出现一次
• 组合覆盖
  使每个判定中条件结果的所有可能组合至少出现一次
• 路径覆盖
  覆盖程序中所有可能的路径

2.基本路径分析法
基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。

3.程序插装
程序插装是一种基本的测试手段，在软件测试中有着广泛的应用。借助向被测程序中插入相关操作来实现测试的目的。

4.程序变异
变异测试是一种细节方面改进程序源代码的软件测试方法。