2016软件工程导论第章.pptVIP

* 1、基本路经测试 基本路径测试，首先计算程序的环形复杂度，并用该复杂度为指南定义执行路径的基本集合，从该基本集合导出的测试用例可以保证程序中的每条语句至少执行一次，而且每个条件在执行时都将分别取真、假两种值。 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. * 分析例子 流图 环形复杂度 6 基本集合 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 2. 条件测试 基本路径测试简单高效，但是只有这样的技术还不够，为了进一步提高白盒测试的质量，还需要使用其他控制结构技术。 条件测试技术设计出的测试用例，能够检查程序模块中包含的逻辑条件。 条件测试基础 简单条件格式：一个布尔变量或一个关系表达式，在布尔变量或关系表达式之前还可能有一个NOT算符。关系表达式的形式如下： E1关系算符E2 关系算符:,,≥≤≠= 复合条件：复合条件由两个或多个简单条件、布尔算符和括弧组成。布尔算符有OR，AND和NOT。不包含关系表达式的条件称为布尔表达式。 条件成分类型：包括布尔算符、布尔变量、布尔括弧、关系算符及算术表达式。 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. * 3．循环测试 循环测试是一种白盒测试技术，它专注于测试循环结构的有效性。在结构化的程序中通常只有3种循环，即： 简单循环 嵌套循环 串接循环 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * (1)简单循环测试法 跳过循环。 只通过循环一次。 通过循环两次。 通过循环m次，其中m n一1。 通过循环n一1，n， n +1次 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * (2)嵌套循环测试法 从最内层循环开始测试，把所有其他循环都设置为最小值。 对最内层循环使用简单循环测试方法，而使外层循环的迭代参数(例如，循环计数器)取最小值，并为越界值或非法值增加一些额外的测试。 由内向外，对下一个循环进行测试，但保持所有其他外层循环为最小值，其他嵌套循环为“典型”值。 继续进行下去，直到测试完所有循环。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * (3)串接循环测试法 各个循环彼此独立：可