软件验证技术2——测试用例及可靠性分析.pptVIP

5.3 测试用例的设计 设计测试方案是测试的首要任务。测试方案包括具体的测试目的（如预定要测试的具体功能）和测试用例(test case)。一个测试用例是用来执行被测代码的系统的一个输入集合或一个场景。通常又把测试数据和预期的输出结果称为测试用例。理想情况下选择的测试用例，应使这些用例的成功执行能保证软件中无故障。由于穷举测试用例集是不现实的，我们只能选择一个能逼近理想情况的测试用例集。 5.3 测试用例的设计 5.3.1 白盒测试法用例的设计 白盒测试法设计用例的指导思想是选择测试用例集检验代码的内部结构是否正确，因此它是在清楚地知道了程序的内部结构和处理算法的基础上进行的测试用例设计。 1. 逻辑覆盖 所谓逻辑覆盖是对一系列测试过程的总称，这组测试过程逐渐进行越来越完整的通路测试。逻辑覆盖要求对某些程序的结构特性做到一定程度的覆盖，或者说是“基于覆盖的测试”，即有选择地执行程序中某些最有代表性的通路。 1. 逻辑覆盖 语句覆盖 语句覆盖是指使用足够多的测试数据，使被测试程序中每个语句至少执行一次。 分支覆盖 分支覆盖又叫判定覆盖，是指设计出足够多的测试用例，使得被测程序中每个判定表达式都执行一次“真”和一次“假”，从而使程序的每一个分支至少都通过一次。 条件覆盖 条件覆盖要求不仅每个语句至少执行一次，而且使得判定表达式中每个条件的各种可能的值都至少执行一次。 1. 逻辑覆盖 判定-条件覆盖 判定-条件覆盖要求设计足够的测试用例，使得判定表达式中的每个条件的所有可能取值至少出现一次，并使每个判定表达式所有可能的结果也至少出现一次。 条件组合覆盖 条件组合覆盖它要求选取足够多的测试数据，使得每个判定表达式中条件的各种可能组合都至少执行一次。 路径覆盖 路径覆盖就是要求设计足够多的测试数据，可以覆盖被测程序中所有可能的路径。 逻辑覆盖举例 T F F T 入口 A1 AND B=0 返回 A=2 OR X1 S a b d X=X/A X=X+1 e c 语句覆盖的测试用例是： 【{A=2，B=0，X=4}，{A=2，B=0，X=3}】 覆盖sacbed 分支覆盖的测试用例是： 【{A=3，B=0，X=3}，{A=3，B=0，X=1}】 覆盖sacbd 【{A=2，B=1，X=1}，{A=2，B=1，X=2}】 覆盖sabed 覆盖的测试用例是： 【{A=2，B=0，X=4}，{A=2，B=0，X=3}】 覆盖sacbed (满足A＞1，B＝O，A＝2和x＞1的条件) 【{A=1，B=1，X=1}，{A=1，B=1，X=1}】 覆盖sabd (满足A≤1，B≠O，A≠2和x≤1的条件) 逻辑覆盖举例 判定-条件覆盖的测试用例是： 【{A=2，B=0，X=4}，{A=2，B=0，X=3}】 覆盖sacbed 【{A=1，B=1，X=1}，{A=1，B=1，X=1}】 覆盖sabd 条件组合覆盖的测试用例是： 【{A=2，B=0，X=4}，{A=2，B=0，X=3}】 覆盖sacbed (满足A＞1，B＝O，A＝2和x＞1的条件) 【{A=2，B=1，X=1}，{A=2，B=1，X=2}】 覆盖sabed (满足A＞1，B≠O，A＝2和x≤1的条件) 【{A=1，B=0，X=3}，{A=1，B=0，X=4}】 覆盖sabed (满足A≤1，B＝O，A≠2和x＞1的条件) 【{A=1，B=1，X=1}，{A=1，B=1，X=1}】 覆盖sabd (满足A≤1，B≠O，A≠2和x≤1的条件) 2.?基本路径测试 使用这种技术设计测试用例时，首先计算程序的环形复杂度，并用该复杂度为指南定义执行路径的基本集合，从该基本集合导出的测试用例可以保证程序中的每条语句至少执行一次，而且每个条件在执行时都将分别取真、假两种值。基本路径测试技术设计测试用例的步骤： 第一步：将详细设计结果或程序编码映射成程序控制结构图。 第二步：根据程序控制结构图计算程序的环形复杂度。 第三步：确定线性独立路径的基本集合。 第四步：设计测试用例，确保基本路径集中每条路径的执行。 5.3.2 黑盒测试法用例的设计 黑盒测试法用例的设计有等价类划分、边界值分析、错误推测等。根据这些方法来生成测试用例，可以提前到需求分析阶段或设计阶段。同时使用这些方法很可能发现白盒测试不易发现的其他类型的错误。 ①等价类划分 等价类划分的基本思想是将程