《7软件设计-修改.pptVIP

* 白盒法 白盒法又称为逻辑覆盖法，其测试用例选择，是按照不同覆盖标准确定的。 语 句 覆 盖 判 定 覆 盖 条 件 覆 盖 判 定 条 件 覆 盖 条 件 组 合 覆 盖 弱 强 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 白盒法常用的覆盖标准 ① 语句覆盖： 选择足够的测试用例，使得程序中每个语句至少都能被执行一次。 ② 判定覆盖： 执行足够的测试用例，使得程序中每个判定至少都获得一次“真”值和“假”值。 ③ 条件覆盖：执行足够的测试用例，使得判定中的每个条件获得各种可能的结果。 ④ 判定/条件覆盖： 执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个判定取到各种可能的结果。 ⑤ 条件组合覆盖： 执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 白盒法步骤： 例：用白盒法测试以下程序段： Procedure（VAR A，B，X：REAL）； BEGIN IF （A1) AND (B=0) THEN X:=X/A ; IF (A=2) OR (X1) THEN X:=X+1 END; 1）选择逻辑覆盖标准。 2）按照覆盖标准列出所有情况。 3）选择确定测试用例。 4）验证分析运行结果与预期结果。 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 Y N Y N Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 二、动态测试方法（2） 等 价 分 类 法 边 值 分 析 法 错 误 推 测 法 因 果 图 法 (2)黑盒法 不考虑程序的内部结构与特性，只根据程序功能或程序的外部特性设计测试用例。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 1、等价分类法 基本思想：根据程序的I/O特性，将程序的定义域划分为有限个等价区段 —“等价类”，从等价类中选择出的用例，具有“代表性”。 等价类分为： 有效等价类 — 对于程序的规格说明，是合理的、有意义的输入数据构成的集合。 无效等价类 —对于程序的规格说明，是不合理的、没有意义的输入数据构成的集合。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 软件设计 结构化程序设计 基本程序结构： 顺序结构、分支结构、循环结构 智能仪器的软件结构 监控程序、测量控制程序、数据处理程序、中断处理程序 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 模块化与结构化程序设计 模块化程序设计 自底向上模块化程序设计 自顶向下模块化程序设计 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 模块化设计 优点：单个程序模块易于编写、查错、测试及修改；不同的模块可以分配给不同的程序员来编写及测试；程序的易读性好；频繁使用的任务可以编织成模块 原则：模块长度需适中；模块之间的控制耦合应尽可能简单，尽量避免多个入口点与出口点；对每个模块做出具体定义；简单的任务不必模块化；多种判定最好在一个模块中完成 Evaluation only. Created with Aspose.Slid