白盒测试的中逻辑覆盖的强弱

常用的 软件测试 方法有两大类： 静态测试 方法和 动态测试 方法。其中软件的静态测试不要求在计算机上实际执行所测 程序 ，主要以一些人工的模拟技术对软件进行分析和测试；而软件的动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现 程序错误 的过程。

　　白盒测试的测试方法有 代码 检查法、静态结构分析法、静态质量度量法、 逻辑覆盖 法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异。

　　白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、 判定覆盖 、条件覆盖、判定/条件覆盖、 条件组合覆盖 和路径覆盖。

　　六种覆盖标准：语句覆盖、判定覆盖、 条件覆盖 、判定/条件覆盖、条件组合覆盖和路径覆盖发现错误的能力呈由弱至强的变化。语句覆盖每条语句至少执行一次。判定覆盖每个判定的每个分支至少执行一次。条件覆盖每个判定的每个条件应取到各种可能的值。判定/条件覆盖同时满足判定覆盖条件覆盖。条件组合覆盖每个判定中各条件的每一种组合至少出现一次。路径覆盖使程序中每一条可能的路径至少执行一次。