(第三章软件工程基础2.pptVIP

第三章 软件工程基础 主要内容 3.1 软件工程基本概念 3.2 结构化分析方法 3.3 结构化设计方法 3.4 软件测试 3.5 程序的调试 2.白盒测试与黑盒测试(按照功能划分) (1)白盒测试：也叫结构测试或逻辑驱动测试 在程序内部进行，完成软件内部操作的验证。 被测软件看作一个透明的盒子，测试人员对程序内部的逻辑结构及处理过程完全了解 。 (2)黑盒测试：也叫功能测试或数据驱动测试 在软件接口处进行，完成功能验证。 被测软件看作一个不透明的黑盒子，完全不考虑程序内部的逻辑结构和内部特性 。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.白盒测试原则及测试用例 基本原则：保证所测模块中每一独立路径至少执行一次；保证所测模块所有判断的每一分支至少执行一次；保证所测模块每一循环都在边界条件和一般条件下至少各执行一次；验证所有内部数据结构的有效性。 局限性：是穷举路径测试，贯穿程序独立路径数是天文数字，即使每条路径都经过了测试，仍可能有未发现错误。 主要方法： (1)逻辑覆盖测试 逻辑覆盖：指以程序内部的逻辑结构为基础的测试用例设计 技术。 逻辑表示：判断、分支、条件等几种表示方式。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. ①语句覆盖：选择足够多测试数据，使程序中每个语句至少执行一次。 ②路径覆盖：选择足够多测试用例，使程序中所有可能的路径都至少执行—次。 ③判定覆盖：保证程序中每个判断的每个取值分支(“真”或“假”)至少执行一次。 判定覆盖比语句覆盖强，但逻辑覆盖程度仍不高。例如“x0或x10”，只要一个条件为真，无论另一个条件是否错误，判断结果都为真，无法保证查出判断条件中的错误。 ④条件覆盖：每个判断的每个条件的可能取值至少执行—次。 ⑤判断—条件覆盖：每个条件的所有可能取值至少执行一次，同时每个判断的所有可能取值分支至少执行一次。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (2)基本路径测试 思想和步骤：根据软件过程性描述中的控制流程确定程序的环路复杂性度量，用此度量定义基本路径集合。 环路复杂度=程序流程图中的判断框个数+1 举例： Ａ 输出x 程序流程图 输出x与y y0 end x＞0 Ｂ 假 真　Ｃ 假 真 Ｅ Ｆ Ｄ 输出y 程序复杂度为3 ①x=-10, y=-10 覆盖路径：A B F ②x=10, y=-10 覆盖路径： A C D F ③x=10, y=10 覆盖路径： A C E F Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 4.黑盒测试原则及测试用例 内容：检查程序功能是否能按照规格说明书的规定正常使用,程序是否能适当地接收输入数据产生正确的输出信息,并保持外部信息完整性. 方法(四种)： (1)等价类划分法 基本思想：将程序所有可能的输入数据划分成若干等价类，然后从每个等价类中选取数据作为测试用例。对每个等价类，各输入数据对发现程序中错误的几率都是等效的,只需从每个等价类中选取一些有代表性的测试用例进行测试。 实施步骤： 划分等价类 根据等价类选取测试用例 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 等价类分类： 有效等价类：合理、有意义的输入数据构成的集合。 无效等价类：不合理、无意义的输入数据构成的集合。 (2)边界值法 基本思想：对各种输入、输出范围的边界情况设计测试用例的方法。针对各种边界情况设计测试用例，可以查出更多的错误。 (3)错误推测法 基本思想：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据它们选择测试用例