软件工程及实践窦万峰第7章软件测试.ppt

2．判定覆盖 对上例，如果设计两个测试用例，就可以达到“判定覆盖”的标准。为此，可以选择输入数据如下。 （1）A=3，B=0，x=l （沿路径acd执行）。 （2）A=2，B=1，x=3 （沿路径abe执行）。 3．条件覆盖 条件覆盖的含义是：执行足够的测试用例，使得判定中每个条件获得各种可能的结果。 对于案例，只需设计以下两个测试用例即可满足这标准。 （1）A=2，B=0，x=4 （沿路径ace执行）。 （2）A=1，B=l，x=l （沿路径abd执行）。 4．判定/条件覆盖 对于上例，选取如下测试用例。 （1）A=2，B=0，x=4 （沿路径ace执行）。 （2）A=1，B=l，x=l （沿路径abd执行）。 5．条件组合覆盖 再看案例7.4，必须使测试用例覆盖8种组合结果如下。 （1）A1，B=0。 （5）A=2，x1。 （2）A1，B0。 （6）A=2，x1。 （3）Al，B=0。 （7）A2，x1。 （4）A1，B0。 （8）A2，x1。 要测试8个组合结果并不意味着需要8种测试用例，事实上能够用如下4种测试用例覆盖它们。 （1）A=2，B=0，x=4。 （2）A=2，B=1，x=l。 （3）A=l， B=0，x=2。 （4）A=1，B=1，x=l。 1．程序控制流图描述 任何过程设计描述方法（如PDL、流程图、N-S图和PAD图等）都可以映射到一个相应的程序控制流图描述，其映射要点如下。 （1）一个或多个顺序语句可映射为程序图的一个节点，用带标志的圆表示。 （2）一个处理框序列和一个判别框可映射为程序图的一个节点。 （3）程序控制流向可映射为程序控制流图的边（或称为“连接”），用方向箭头表示（类似于流程图中的方向箭头）。一条边必须终止于一个节点，即使该节点不代表任何语句。 （4）有边和节点限定的范围称为“区域”（区域应包括图外部的范围）。 如图7-7所示，在将程序流程图简化成为控制流图时应注意在选择结构或多分支结构中，分支的汇聚处应有一个汇聚节点。边和节点圈定的区域即区域，当对区域计数时，图形外的区域也应记为一个区域。 2．确定程序图的环形复杂性 例如，图7-8（a）给出了一个抽象的流程图示例，其对应的程序图描述如图7-8（b）所示。此例的节点以数字标志区分，边是用类似于流程图的方向箭头标志（最好能加以字母区分），区域用R1，R2，R3，R4标志。 【案例7.5】 学生成绩计算路径测试用例设计 如图7-9所示的程序流程图描述了最多输入50个值（以-1作为输入结束标志），计算其中有效的学生分数的个数、总分数和平均值。 导出程序的控制流图，如图7-10所示。 确定基本路径集合（即独立路径集合）可确定如下6条独立的路径。 （1）路径1：1—2—9—10—12。 （2）路径2：1—2—9—11—12。 （3）路径3：1—2—3—9—10—12。 （4）路径4：1—2—3—4—5—8—2…。 （5）路径5：1—2—3—4—5—6—8—2…。 （6）路径6：1—2—3—4—5—6—7—8—2…。 为每一条独立路径各设计一组测试用例，以便强迫程序沿着该路径至少执行一次。 （1）路径1(1—2—9—10—12)的测试用例如下。 score[k]=有效分数值，当k i ； score[i]=–1, 2≤i≤50。 期望结果为根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。 （2）路径2(1—2—9—11—12)的测试用例如下。 score[ 1 ]=-1。 期望的结果为average = -1，其他量保持初值。 （3）路径3(1—2—3—9—10—12)的测试用例如下。 输入多于50个有效分数，即试图处理51个分数，要求前51个为有效分数。 期望结果为n1=50，且算出正确的总分和平均分。 （4）路径4(1—2—3—4—5—8—2…)的测试用例如下。 score[i]=有效分数，当i50； score[k]0，k i。 期望结果为根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。 （5）路径5(1—2—3—4—5—6—8—2…)的测试用例如下： score[i]=有效分数，当i50。 score[k]100，k i； 期望结果为根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。 （6）路径6(1—2—3—4—5—6—7—8—2…)的测试用例如下： score[i]=有效分数，当i50。 期望结果为根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。 1．简单循环测试 对于简单循环，测试应包括以下几种，其中的n表示循环允许的最大次数。 （1）零次循