ppt课件-第7章软件测试.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3. 原因排除法 对分查找法、归纳法和演绎法都属于原因排除法。 对分查找法：如果已经知道每个变量在程序内若干个关键点的正确值，则可以用赋值语句或输入语句在程序中点附近“注入”这些变量的正确值，然后运行程序并检查所得到的输出。如果输出结果是正确的，则错误原因在程序的前半部分；反之，错误原因在程序的后半部分。 归纳法是从个别现象推断出一般性结论的思维方法。使用这种方法调试程序时，首先把和错误有关的数据组织起来进行分析，以便发现可能的错误原因。然后导出对错误原因的一个或多个假设，并利用已有的数据来证明或排除这些假设。 演绎法从一般原理或前提出发，经过排除和精化的过程推导出结论。 采用这种方法调试程序时，首先设想出所有可能的出错原因，然后试图用测试来排除每一个假设的原因。如果测试表明某个假设的原因可能是真的原因，则对数据进行细化以准确定位错误。 小结 实现包括编码和测试两个阶段。 程序的质量基本上取决于设计的质量。编码使用的语言，程序的布局风格，对程序质量也有相当大的影响。 程序内部的良好文档资料，有规律的数据说明格式，简单清晰的语句构造和输入输出格式等等，可以提高程序的可读性、改进程序的可维护性。 软件测试是保证软件可靠性的主要手段。测试阶段的根本任务是发现并改正软件中的错误。 大型软件的测试应该分阶段地进行，通常至少分为单元测试、集成测试和验收测试3个基本阶段。 程序中潜藏的错误的数目，直接决定了软件的可靠性。通过测试可以估算出程序中剩余的错误数。 测试 (test) 调试 (debug) 以已知条件开始, 使用预先定义的程序, 有预知的结果 以不可知内部条件开始,结果一般不可预见 有计划 被动的 由独立的测试组，在不了解软件设计的条件下完成 由程序作者进行 发现错误 找出错误位置，排除 测试与调试(排错) 黑盒测试与白盒测试优缺点比较 黑盒测试 白盒测试 优 点 缺 点 性 质 ①适用于各阶段测试 ②从产品功能角度测试 ③容易入手生成测试数据 ①可构成测试数据使特定程 序部分得到测试 ②有一定的充分性度量手段 ③可或较多工具支持 ①某些代码得不到测试 ②如果规格说明有误， 则无法发现 ③不易进行充分性测试 ①不易生成测试数据(通常) ②无法对未实现规格说明的 部分进行测试 ③工作量大，通常只用于单 元测试，有应用局限 是一种确认技术，回答 “我们在构造一个正确 的系统吗？” 是一种验证技术，回答 “我们在正确地构造一个系 统吗？” 习题 P168 掌握熟练【实例7-2】 P171 一、二、三.(9) * * * * * * * * * * * * * * * * * * * * * * * * 测试用例的设计格式如下【输入的(A, B, X)，输出的(A, B, X)】 为图例设计满足语句覆盖的测试用例是:【(2, 0, 4)，(2, 0, 3)】　 覆盖 ace【L1】 (A=2) and (B=0) or (A1) and (B=0) and (X/A1) 语句覆盖的缺点： 语句覆盖对程序的逻辑覆盖很少。此外，语句覆盖只关心判定表达式的值，而没有分别测试判定表达式中每个条件取不同值时的情况。 综上所述，可以看出语句覆盖是很弱的逻辑覆盖标准，为了更充分地测试程序，可以采用下述的逻辑覆盖标准。 2. 判定覆盖 【定义】：又叫分支覆盖。不仅每个语句必须至少执行一次，而且每个判定的每种可能的结果都应该至少执行一次，也就是每个判定的每个分支都至少执行一次。 判定覆盖比语句覆盖强，但是对程序逻辑的覆盖程度仍然不高，例如，上面的测试数据只覆盖了程序全部路径的一半。 3. 条件覆盖 【定义】：不仅每个语句至少执行一次，而且使判定表达式中的每个条件都取到各种可能的结果。 条件覆盖通常比判定覆盖强，因为它使判定表达式中每个条件都取到了两个不同的结果，判定覆盖却只关心整个判定表达式的值。 4. 判定/条件覆盖 既然判定覆盖不一定包含条件覆盖，条件覆盖也不一定包含判定覆盖，自然会提出一种能同时满足这两种覆盖标准的逻辑覆盖，这就是判定/条件覆盖。 【定义】：选取足够多的测试数据，使得判定表达式中的每个条件都取到各种可能的值，而且每个判定表达式也都取到各种可能的结果。 有时判定/条件覆盖也并不比条件覆盖更强。 5. 条件组合覆盖 条件组合覆盖是更强的逻辑覆盖标准。 【定义】：它要求选取足够多的