《软件工程》教学课件CH5 软件测试-1

某软件研制 测试报告图
第5章 软件测试
2. 白盒技术测试用例的设计
测试用例设计的基本目的是确定一组最有可能发现某个错 误或某类错误的测试数据。实际工作中，采用黑盒与白盒相 结合的技术是较为合理的做法。
白盒测试属于结构测试，所以被测对象基本上是源 程序，以程序的内部逻辑为基础来设计测试用例。
一、逻辑覆盖：是以程序内部逻辑为基础的测试技术，属白 盒测试。这一测试考虑测试用例对程序内部逻辑覆盖的程度。 目前常用的一些覆盖技术有以下八种。
第5章 软件测试
基于不同的立场，存在着两种 完全不同的测试目的
从用户的角度出发，普遍希望通过软件测试 暴露软件中隐藏的错误和缺陷，以考虑是否 可接受该产品。
从软件开发者的角度出发，则希望测试成为 表明软件产品中不存在错误的过程，验证该 软件已正确地实现了用户的要求，确立人们 对软件质量的信心。
第5章 软件测试
对于每个判断，要求所有可能的条件的取值组合都必须取 到。在图5.1中，每个判断各有两个条件，所以各有四个条件取 值的组合。下面的四组测试数据可以使上面列出的八种组合每 种至少出现一次：
(1) A=2，B=0，X=4 (针对(1)，(5)两种组合，执行路径sacbed)； (2) A=2，B=1，X=1 (针对(2)，(6)两种组合，执行路径sabed)； (3) A=1，B=0，X=2 (针对(3)，(7)两种组合，执行路径sabed)； (4) A=1，B=1，X=1 (针对(4)，(8)两种组合，执行路径sabd)。
例如对于图5.1来说，共有两个判定表达式，每个表达式中 有两个条件。为满足条件覆盖，在a点有以下几种情况出现：A ＞1，A≤1，B＝0，B≠0；在b点有以下几种情况出现：A=2， A≠2，X＞1，X≤1。因而，只需要使用下面两组测试数据就可 达到上述覆盖标准。
第5章 软件测试 (1) A=2，B=0，X=3(满足A＞1，B＝0，A=2和X＞1的条
第5章 软件测试
4）. 判定/条件覆盖
判定/条件覆盖就是设计足够的测试用例，使得判断中每个 条件的所有可能取值至少执行一次，同时每个判断的所有可能判 断结果至少执行一次。即要求各个判断的所有可能的条件取值组 合至少执行一次。
对于图5.1的例子而言，下述两组测试数据满足判定/条件覆 盖标准。
(1) A=2，B=0，X=4；
第5章 软件测试
《软件工程》
软件测试
陈巧丽
第5章 软件测试
第五章 软件测试
学习内容：
5.1 软件测试的目标和原则 5.2 软件测试的方法 5.3 软件测试的步骤和策略 5.4 停止测试 5.5 自动化测试工具
第5章 软件测试
第五章 软件测试
项目后期阶段包括软件测试、软件维护、软件项目后期 管理等若干阶段。通常软件开发的2/3以上时间都处于项目后 期阶段，其中软件测试工作量占整个项目开发工作量的40% 左右。
对于图5.1的例子来说，共有以下八种可能的条件组合：
(1) A＞1，B=0 属第一个判断的取真分支； (2) A＞1，B≠0 属第一个判断的取假分支； (3) A≤1，B=0 属第一个判断的取假分支； (4) A≤1，B≠0 属第一个判断的取假分支； (5) A＝2，X＞1 属第二个判断的取真分支； (6) A＝2，X≤1 属第二个判断的取真分支； (7) A≠2，X＞1 属第二个判断的取真分支； (8) A≠2，X≤1 属第二个判断的取假分支。
(2) A=1，B=1，X=1。
第5章 软件测试 判定/条件覆盖也有缺陷。从表面来看，它测试了所有条件 的取值。但实际并不是这样。因为一些条件往往掩盖了另一些 条件。对于条件表达式(A＞1)AND(B=0)来说，只要(A＞1)的测 试为真，才需测试(B=0)的值来确定此表达式的值，但是若(A＞ 1)的测试值为假时，不需再测(B=0)的值就可确定此表达式的值 为假，因而B=0没有被检查。
第5章 软件测试 1）. 语句覆盖 语句覆盖的含义是选择足够多的测试用例，使得被测程序 中的每条语句至少执行一次。下面是测试的一段程序的流程图 对应的C源程序(用C语言书写)。
float A, B, X;
if(A＞1&&B==0) X=X/A; if(A==2||X>1) X=X+1;
…
…
第5章 软件测试 为了使每条语句都执行一次，程序应该按sacbed路径执行，
5.1 软件测试的目标和原则
软件测试的目标：
Glen Myers（梅尔斯）在他的软件测试著作中就软件 测试的目的提出下列观点：
(1) 测试是一个为了寻找错误而运行程序的过程。 (2) 一个好的测试用例是指很可能找到迄今为止尚未 发现的错误的用例。 (3) 一个成功的测试是指揭示了迄今为止尚未发现的 错误的测试。 软件（程序）测试是为了发现错误而执行程序的过程。
该方法把被测试对象看成一个黑盒子，测试人员 完全不考虑程序的内部结构和处理过程，只在软 件的接口处进行测试，依据需求规格说明书，检 查程序是否满足功能要求。因此，黑盒测试又称 为功能测试或数据驱动测试。
第5章 软件测试
通过黑盒测试主要发现下面错误：是否有不正确或遗 漏了的功能；在接口上，能否正确地接受输入数据，能 否产生正确的输出信息；访问外部信息是否有错；性能 上是否满足要求等等。
软件测试是为了发现错误而执行程序的过程，软件测试 是保证软件可靠性的主要手段。测试阶段的主要任务是发现 并改正软件中的错误。白盒测试和黑盒测试是软件测试的两 类基本方法。软件测试通常至少分为单元测试、集成测试和 系统测试三个基本阶段。
软件维护的目的是要保证软件的正常运行，尽可能延长软 件生命周期。
第5章 软件测试
件，执行路径sacbed)；
(2) A=0，B=1，X=0(满足A≤1，B≠0，A≠2和X≤1的条 件执行路径sabd)。
条件覆盖一般比判定覆盖强，因为条件覆盖使判定表达 式中每个条件都取到了两个不同的结果，判定覆盖却只关心 整个判定表达式的值。上例两组测试数据也同时满足判定覆 盖标准。但是，也可能有相反情况：虽然每个条件都取到了 两个不同的结果，判定表达式却始终只取一个值。例如，若 使用以下两组测试数据，则只满足条件覆盖标准并不满足判 定覆盖标准。
第5章 软件测试 必须明确：在此例中条件组合覆盖并未要求第一个判
定的四个组合与第二个判定的四个组合再进行组合，若那 样，就需42=16个测试用例了。显然，满足条件组合覆盖标 准的测试数据，也一定满足判定覆盖、条件覆盖和判定/条 件覆盖标准。因此，条件组合覆盖是前述几种覆盖标准中 最强的。但是，满足条件覆盖标准的测试数据并不一定能 使程序中的每条路径都执行到，如上述四组测试数据都没 有测试到路径sacbd。
5.2 软件测试的方法
系统分析测试
系统分析测试是测试项目是否能体现整个系统的需求，对 用户的需求从具体到抽象的一个过程的验证。注意：软件测试 应贯穿于软件定义与开发的整个期间。
5.2.1 静态测试和动态测试
1.静态测试:指被测试程序不在机器上运行，而是采用人工测
试和计算机辅助静态分析的手段对程序进行测试。包括：人工 测试和计算机辅助静态分析测试.（发现30%~70%逻辑和编码错误）
与后面所介绍的其他覆盖相比，语句覆盖是最弱的逻辑 覆盖准则。
第5章 软件测试 2）. 判定覆盖
判定覆盖就是设计若干个测试用例，运行所测程序，使得程序 中每个判断的取真分支和取假分支至少经历一次。判定覆盖又称 为分支覆盖。判定覆盖的每个语句至少经历一次。
例如对于图5.1来说，能够分别覆盖路径sacbed和sabd的一组 测试数据，或者覆盖路径sacbd和sabed的两组测试数据均可满足 判定覆盖标准。例如，以两组测试数据就可做到判定覆盖：
6. 严格执行测试计划，排除测试的随意性。 7. 应当对每一个测试结果做全面检查。 8. 妥善保存测试计划，测试用例，出错统计
和最终分析报告，为维护提供方便。
第5章 软件测试
软件测试的对象
软件测试并不等于程序测试。软件测试应 贯穿于软件定义与开发的整个期间。
需求分析、概要设计、详细设计以及程序 编码等各阶段所得到的文档，包括需求规 格说明、概要设计规格说明、详细设计规 格说明以及源程序，都应成为软件测试的
第5章 软件测试
软件测试的原则
1. 应当把“尽早地和不断地进行软件测试” 作为软件开发者的座右铭。
2. 测试用例应由测试输入数据和对应的预 期输出结果这两部分组成。
3. 程序员应避免检查自己的程序。 4. 在设计测试用例时，应包括合理的输入
条件和不合理的输入条件。
第5章 软件测试
5. 充分注意测试中的群集现象。 经验表明，测试后程序中残存的错误数目 与该程序中已发现的错误数目成正比。
第5章 软件测试
(1) A=2，B=0，X=1(满足A＞1，B＝0，A=2和X≤1的条件， 执行路径sacbed)；
(2) A=1，B=1，X=2 (满足A≤1，B≠0，A≠2和X＞1的条件， 执行路径sabed)。
上述例子的第二个判定表达式的值总为真，不满足判定覆盖 的要求，为解决这一矛盾，需要对条件和分支兼顾。
第5章 软件测试
测试结果分析：比较实测结果与预期结 果，评价错误是否发生。
排错(调试)：对已经发现的错误进行错误 定位和确定出错性质，并改正这些错误， 同时修改相关的文档。
修正后的文档再测试：直到通过测试为 止。
第5章 软件测试
5.2.2 系统测试用例的设计
1. 测试方法 (1) 黑盒法
为实现此路径而选取下面的一组输入数据(实际上X可以是任意
实数): A=2, B=0, X=2
s 入口
图5.1 语句覆盖
1
a
A＞ 1
T4
AND B＝ 0
F
5
2
b
A＝ 2