精·软件工程导论复习重点(2014秋).pptVIP

* ① 语句覆盖： 选择足够的测试用例，使得程序中每个语句至少都能被执行一次。 ② 判定覆盖： 执行足够的测试用例，使得程序中每个判定至少都获得一次“真”值和“假”值。 ③ 条件覆盖：执行足够的测试用例，使得判定中的每个条件获得各种可能的结果。 ④ 判定/条件覆盖： 执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个判定取到各种可能的结果。 ⑤ 条件组合覆盖： 执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。 ⑥ 路径覆盖： 执行足够的例子，使得每条路径都至少出现一次。 白盒法常用的覆盖标准 * 等 价 分 类 法 边 值 分 析 法 错 误 推 测 法 黑盒法 不考虑程序的内部结构与特性，只根据程序功能或程序的外部特性设计测试用例。 7.7 黑盒测试技术 7.7 黑盒测试技术 * 调试（也称为纠错）作为成功测试的后果出现，也就是说，调试是在测试发现错误之后排除错误的过程。 调试过程如下图所示： 7.8 调试 7.8 调试 * 无论采用什么方法，调试的目标都是寻找软件错误的原因并改正错误。通常需要把系统地分析、直觉和运气组合起来，才能实现上述目标。一般说来，有下列3种调试途径可以采用： 蛮干法 回溯法 原因排除法 7.8 调试途径 * 软件可靠性的定义：对于软件可靠性有许多不同的定义，其中多数人承认的一个定义是：软