条件覆盖-软件开发技术基础.pptVIP

软件开发技术基础 软件测试 主讲教师：卫颜俊 系统测试 软件测试概述 测试用例的设计 测试实施方法 软件的调试 软件测试概述 测试的重要性 软件测试的重要性及其与可靠性的密切联系怎样强调也不过分。这是一个典型事例：在美国的一次飞往火星的火箭发射中，因控制程序中的一个循环语句“DO5I=1,3”被误认为是赋值语句“DO5I=1.3”,一点之差,使火箭发生爆炸,损失一千万美元。 目的 发现软件中隐藏的各种差错。要纠正一种错误的看法：认为“测试是为了说明程序没有问题”。恰恰相反，没有找出错误的测试被认为是失败的测试；而”成功的测试是能够发现隐藏的差错的测试“。 测试心理学分析 如果为了证实程序是正确的而进行测试，就会设计一些不易暴露错误的测试方案； 如果为了发现程序中的错误而进行测试，就会力求设计最能暴露错误的测试方案。 结论 由于测试目标是为了找出程序中的错误，因此，由程序设计者本人进行测试是不明智的。通常，测试分两个阶段；程序模块编好后，程序员本人对该程序进行必要的测试，称为“单元测试”，在整个系统都完成后，由专职测试人员对整个系统进行的测试称为“系统综合测试”。 测试基本概念 测试 为了发现错误而执行程序的过程 调试 找出程序中的错误原因、位置并加以纠正 可靠性 在给定时间内，软件不发生错误的概率 黑盒测试法 不考虑程序的内部结构和处理过程的测试，也称为功能测试。只检查程序功能是否满足系统功能和规格说明书的要求，不管内部如何处理和如何实现。 白盒测试法 按程序的内部逻辑结构和处理过程进行的测试，称为结构测试。 测试用例 测试的关键问题是如何设计测试用例；它的组成： 测试用例 = 指定功能+测试数据+预期效果 测试的基本原则： 1）在执行程序前应该对期望的结果有明确的描述，测试后应对输出进行仔细的检查。 2）不仅要选择合理的输入数据作为测试用例，还应选用不合理的输入数据作为测试用例。 3）除了检查程序是否做了应做的工作之外，还应检查程序是否做了不应做的事。 4）应该长期保留所有的测试用例，直到该系统被废弃不用为止。 测试用例的设计 设计测试用例的基本目标是：确定一组最有可能发现某个错误或某类错误的测试数据。设计测试数据的技术有许多种；这些技术各有优缺点，同一种技术在不同的应用场合效果可能有很大差别，因此通常需要联合使用多种设计测试数据的技术。通常的做法是用黑盒法设计基本的测试用例，再用白盒法设计一些补充用例。测试方法： 逻辑覆盖 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 等价类划分 边值分析 逻辑（路径）覆盖（白盒法） 按程序的内部逻辑结构进行测试，为了衡量测试的覆盖程度，建立下列标准（从低到高）： 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 举例 有一要测试的程序如下：　　　　 void sub(float a, float b,floatｘ）{ float y; if（a1 b==0) y=x/a; if(a==2||x＞1） 　　　y＝(ｘ＋1)/a； 　｝ 逻辑覆盖分析——语句覆盖 执行程序中的每个语句。为使程序中的每个语句都至少执行一次，只需设计一个通过路径ＡＣＥ的输入数据即可。选择输入数据为： 　　ａ＝２，ｂ＝０，ｘ＝３ 　就可达到“语句覆盖”的标准。 逻辑覆盖分析——判定覆盖 对判别语句的每个分支至少要经过一次，为达到”判定覆盖“的标准，则要经过路径：ＡCＤ和ＡBＥ，为此，选用输入数据为： 　　ａ＝３，ｂ＝０，ｘ＝０，走ＡＣＤ路径 　　ａ＝２，ｂ＝１，ｘ＝３，走ＡＢＥ路径 判定覆盖比语句覆盖严格。但还比较弱，例如，ABD路径就没走到。若把“X1”错写成“X1”,还是检查不出来，它只有50%的机会去检查X的值。 逻辑覆盖分析——条件覆盖 使判别中每个条件可能的值至少出现一次，及条件表达式中各个条件取两个不同的值。 程序中有4个条件: A1 , B==0 , A==2 , X1 。为达到“条件覆盖”标准，需选用数据,使得 在A点有 A1 ,A=1, B==0, B0 在B点有 A==2, A2, X1, X=1 为此选择下列两组测试数据： 　　ａ＝２，ｂ＝０，ｘ＝４　走ＡＣＥ路径 　　ａ＝１，ｂ＝１，ｘ＝１　走ＡＢＤ路径 “条件覆盖”比“判定覆盖”强,因为要使每个条件都取到两个不同的结果,而判定覆盖不能保证这一点。 有时判定覆盖和条件覆盖不能互为包含。 　 逻辑覆盖分析—判别／条件覆盖 使判定的”真“、”假“各执行一次，还要使判定中每个条件取两种不同的值。选择下列输入数据可满足这一标准： 　　ａ＝２，ｂ＝０，ｘ＝４ 走ＡＣＥ路径 　　ａ＝１，ｂ＝１，ｘ＝