计算机软件技术基础及实验指导 作者 席晓慧 袁玲 第1章 软件工程.pptVIP

a）顺序结构 b）选择结构 c）重复结构 图1-19 用N-S图表示的基本程序结构 a）顺序结构 b）选择结构 c）重复结构 图1-20 用PAD图表述的基本程序结构 图1-21 例1-2的程序流程图 图1-22 例1-2的N-S图 图1-23 例1-2的PAD图 1.5 软件的测试 1.5.1 软件测试概述 测试是为了发现程序中的错误而执行程序的过程。 软件测试试图以最少的代价发现软件分析、设计和编码中存在的各种不同类型的错误，从而提高软件质量，降低软件成本。 提交测试报告：说明测试数据的选择，测试的对象，测试结果是否符合预期结果。 测试发现问题之后要经过调试，找出错误原因和位置，并加以改正。 1．测试阶段的基本原则 1）测试用例应该由以下两部分组成：输入数据和预期的输出结果。 2）不仅要选择合理的输入数据作为测试用例，还应选用不合理的输入数据作为测试用例。 3）除了检查程序是否做了应做的工作之外，还应检查程序是否做了不应做的事。 4）应该长期保留所有的测试用例，直至这个程序系统被废弃不用为止。  2．测试阶段的步骤 1）模块测试：又称单元测试，检查每个模块是否有错误，主要发现详细设计阶段的错误。 2）组装测试：又称综合测试，要检查模块之间接口的正确性，主要用于发现总体设计阶段的错误。 3）确认测试：要检查程序系统是否满足用户的功能性要求，主要用于发现需求分析阶段的错误。 1.5.2 测试用例的设计 1．白盒测试 （1）逻辑覆盖法 利用程序结构的实现细节设计测试用例，其基本思想是选择测试数据覆盖程序内部逻辑结构。 1）语句覆盖：使被测程序中每个语句至少执行一次。 2）判定覆盖：又叫分支覆盖，使每个判定的每种可能的结果都应该至少执行一次。 3）条件覆盖：使判定表达式中的每个条件都取得各种可能的结果。 4）判定/条件覆盖：使判定表达式中的每个条件都取得各种可能的值，而且每个判定表达式也取得各种可能的结果。 5）条件组合覆盖：使得每个判定中的条件的各种可能组合都至少出现一次。 图1-25 被测试程序的程序流程图 表1-1 判定覆盖测试数据 数 据 覆 盖 路 径 覆 盖 分 支 X值 A=2，B=0，X=0 ace TT 1 A=1，B=0，X=1 abd FF 1 表1-2 条件覆盖测试数据 数 据 覆 盖 路 径 覆 盖 条 件 X值 A=2，B=0，X=1 ace T1，T2，T3，F4 1 A=1，B=1，X=2 abe F1，F2，F3，T4 3 表1-3 判定/条件覆盖测试数据 数 据 覆 盖 路 径 覆 盖 条 件 X值 A=2，B=0，X=4 ace T1，T2，T3，T4 3 A=1，B=1，X=1 abd F1，F2，F3，F4 1 表1-4 条件组合覆盖测试数据 数 据 覆 盖 路 径 覆 盖 条 件 X值 A=2，B=0，X=4 ace T1，T2，T3，T4 3 A=2，B=1，X=1 abe T1，F2，T3，F4 2 A=1，B=0，X=2 abe F1，T2，F3，T4 3 A=1，B=1，X=1 abd F1，F2，F3，F4 1 （2）基本路径覆盖法 路径测试法是借助程序图设计测试用例的一种白盒方法。 1）结点覆盖：程序的测试路径至少经过程序图中每个结点一次， 2）边覆盖：程序的测试路径至少经过程序图中的每条边一次。 3）路径覆盖： 路径覆盖与逻辑覆盖的差别在于：后者着眼于每个单独的判定结点，而前者考察的是整个路径。把路径覆盖和条件组合覆盖结合起来，便可实现查错能力最强的白盒测试。 （3）循环覆盖法 对于结构化程序而言，循环主要有三种：简单循环、串接循环和嵌套循环。 2．黑盒测试黑盒测试即功能测试，测试是完全不考虑程序内部细节、结构和实现方式，仅检验程序结果与需求说明书的一致性。 （1）等价类划分 等价类划分就是把所有可能的输入数据划分成若干等价类，每类中的一个典型值在测试中的作用与这一类中所有其他值的作用相同。 等价类分为有： 效等价类 无效等价类。 （2）边值分析 首先应该确定边界情况，着重测试程序的边界情况。选取测试数据应该刚好用稍等于、稍小于和稍大于边界值等价类的数据作为测试数据。 （3）错误推测 1.5.3 测试实施策略 图1-28 开发与测试的对应  1．模块测试 它是对一