软件工程第6章软件测试.pptVIP

（2）软件纠错 软件纠错也称为软件调试。 软件纠错与软件测试不同。 软件测试的目的是尽可能多地发现软件中的错误。 进一步诊断和改正程序中潜在的错误，则是纠错的任务。 软件纠错活动由两部分组成： ① 确定程序中可疑错误的确切性质和位置。 ② 对程序（设计，编码）进行修改，排除这个错误。 软件纠错的基本方法 ①插入显示/打印语句，显示程序执行的中间结果、相关变量的内容； ②设置断点，以便查看程序运行的轨迹 如设置某个断点后，程序并未停下来（即表明该程序段并没有运行）； 检查断点处的数据状态、变量值等。 ③掩蔽部分不需要检查的程序段，以降低查错的难度和时间； ④蛮力纠错：打印存储器和寄存器的全部内容，然后在其中寻找出错的位置。 虽然有时可以获得成功，但是更多的情况是浪费了机时、纸张和人力。 软件纠错的基本方法（续） ⑤试凑法：根据测试发现的错误状况，和以往的经验设定一个可疑区域，然后采用一些简单的纠错手段（如增加一些重要变量值的动态显示等），进一步获取出错的细节信息，若找到出错原因，就进行修改，若未找到，则另设定一个可疑区域，继续找错。 仅适用于结构较简单的程序。 ⑥跟踪法：包括正向跟踪、反向跟踪。大体做法是：让程序分步执行，每执行完一条语句就暂停，然后检查当前的结果是否正确，若正确再继续分步执行。 软件纠错的基本方法（续） ⑦归纳法：从归纳法是一种从特殊推断一般的系统化思考方法。归纳法调试的基本思想是：从一些线索(错误征兆)着手，通过分析它们之间的关系以提出假设，如果假设被证明成立，则纠错，否则继续提出假设。 ⑧演绎法：根据出错症状，先列出一些可能的出错原因，排除其中矛盾的的出错原因，然后对其它剩下的原因进行证实，从而确定真正的出错原因。 本讲小结 本讲主要介绍了教材第9章的内容。 测试是软件工程中重要的内容。因此，同学门应该很好地加以学习，为将来从事软件质量保证、软件管理打下良好的基础。 测试的基本概念、测试的基本方法（白、黑）、测试的基本过程中各阶段的任务和目的是本章的重点，也是考核的重点。 * 1 I1 2 B ∨ ∧ 4 A C 3 5 ∧ D I4 I3 I2 ∨ ∧ ∧ ∧ ∧ 居民用电 动力用电 100度/月 10000度/月 高峰 把因果图转换为判定表 组合条件 条件 (原因) 动作 (结果) A B C 1 2 3 1 2 3 4 5 6 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 4 1 0 1 0 5 0 0 1 1 D 0 0 0 1 1 0 0 1 0 0 0 0 测试用例 （1）白盒测试的基本概念 白盒测试以程序的结构为依据进行测试，也称结构测试。 （2）2类白盒测试： 逻辑覆盖测试： 将注意力放在流程图的各个判定框，使用不同的逻辑覆盖标准来表达对程序进行测试的详尽程度； 路径覆盖测试： 注意力放在程序执行路径，用程序图来代替流程图设计测试用例。 6.4 白盒测试方法 逻辑覆盖测试的5种覆盖准则： 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 多重条件覆盖 路径覆盖测试的3种覆盖准则： 结点覆盖 边覆盖 路径覆盖 （3）白盒法设计测试用例的步骤 1）选择逻辑覆盖标准。 2）按照覆盖标准列出所有情况。 3）选择确定测试用例。 4）验证分析运行结果与预期结果。 （4）逻辑覆盖测试举例 逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术。主要利用流程图设计测试用例，重点是依据流程图中的判定框。 ①语句覆盖 测试数据如下表所示,满足语句覆盖准测。 PROCEDURE EXAMPLE(A,B:REAL;VAR X:REAL) BEGIN IF (A1) AND (B=0) THEN X:=X/A; IF (A=2)OR(X1) THEN X:=X+1 END; 入口 返回 A1 AND B=0 A=2 OR X1 X=X/A X=X+1 Y Y N N A B X 期望 2 0 4 红线 ②判定覆盖 期望结果应该有具体的值，这里用有颜色的线表示。 测试数据如下表所示，满足判定覆盖准测。 入口 返回 A1 AND B=0 A=2 OR X1 X=X/A X=X+1 Y Y N N A B X 期望 2 0 4 红线 1 1 1 蓝线 判定1 判定2 判定2 判定1 F T F T ③条件覆盖 期望结果应该有具体的值，这里用有颜色的线表示。 测试数据如下表所示，满足条件覆盖准测。 A B X 期望 2 0 4 红线 1 1 1 蓝线 入口 返回 A1 AND B=0 A=2 OR X1 X=X/A X=X+1 Y Y N N 判定1 判定2 判定2 判定1 A1 B=