《白盒测试逻辑覆盖ppt课件》由会员分享，可在线阅读，更多相关《白盒测试逻辑覆盖ppt课件（30页珍藏版）》请在金锄头文库上搜索。
1、 白盒测试方法逻辑覆盖法测试用例测试用例由测试输入数据以及与之对应的输测试用例由测试输入数据以及与之对应的输出结果组成。出结果组成。测试用例设计的好坏直接决议了测试的效果测试用例设计的好坏直接决议了测试的效果和结果。所以说在软件测试活动中最关键的和结果。所以说在软件测试活动中最关键的步骤就是设计有效的测试用例。步骤就是设计有效的测试用例。测试用例可以针对黑盒测试设计用例，也可测试用例可以针对黑盒测试设计用例，也可以针对白盒测试设计用例，我们今天开场讲以针对白盒测试设计用例，我们今天开场讲针对白盒测试的用例设计方法。针对白盒测试的用例设计方法。 白盒测试方法为什么要什么要进展白盒展白盒测试？ 假
2、假设一切一切软件件错误的根源都可以追溯到某个独一的根源都可以追溯到某个独一缘由，那么由，那么问题就就简单了。然而，了。然而，现实上一个上一个bug 经常是由多个要素共同常是由多个要素共同导致致的，如以下的，如以下图所示。所示。 假假设设此此时时开开发发任任务务已已终终了，程序了，程序送交到送交到测试组测试组，没有人知道代，没有人知道代码码中有中有一个潜在的被一个潜在的被 0 0 除的除的错误错误。假。假设测试设测试组组采用的采用的测试测试用例的用例的执执行途径没有同行途径没有同时经过时经过x=0x=0和和y=5/xy=5/x进进展展测试测试，显显然然测测试试任任务务似乎非常完善，似乎非常完善，
3、测试测试用例覆盖用例覆盖了一切了一切执执行行语语句，也没有被句，也没有被 0 0 除的除的错错误发误发生。生。白盒测试方法续程序构造分析；程序构造分析；逻辑覆盖；逻辑覆盖；根本途径测试；根本途径测试；白盒测试根据程序的控制构造设计导出测试用白盒测试根据程序的控制构造设计导出测试用例，主要用于软件程序的验证。例，主要用于软件程序的验证。需求全面了解程序内部的逻辑构造，对一切逻需求全面了解程序内部的逻辑构造，对一切逻辑途径进展测试，是一种穷举途径的测试方法。辑途径进展测试，是一种穷举途径的测试方法。穷举途径依然存在遗憾穷举途径测试法无法检查出程序本身能穷举途径测试法无法检查出程序本身能否违反了设计
4、规范，即程序能否是一个否违反了设计规范，即程序能否是一个错误的程序；错误的程序；穷举途径测试不能够查出程序由于脱漏穷举途径测试不能够查出程序由于脱漏途径而出错；途径而出错；穷举途径测试发现不了一些与数据相关穷举途径测试发现不了一些与数据相关的错误；的错误；白盒测试原那么保证一个模块中的一切独立途径至少被保证一个模块中的一切独立途径至少被测试一次；测试一次；一切逻辑值均需测试真一切逻辑值均需测试真True和假和假False两种情况；两种情况；检查程序的内部数据构造，保证其构造检查程序的内部数据构造，保证其构造的有效性；的有效性；在取值上、下边境，即可操作范围内运在取值上、下边境，即可操作范围内运
5、转一切循环转一切循环.白盒测试方法续白白盒盒测测试试主主要要是是检检查查程程序序的的内内部部构构造造、逻逻辑辑、循环和途径。常用测试用例设计方法有：循环和途径。常用测试用例设计方法有：逻辑覆盖法逻辑驱动测试逻辑覆盖法逻辑驱动测试根本途径测试方法根本途径测试方法覆盖测试主要是测试覆盖率，以程序内在逻辑构主要是测试覆盖率，以程序内在逻辑构造为根底的测试。包括以下造为根底的测试。包括以下6种类型：种类型：语句覆盖语句覆盖断定覆盖断定覆盖条件覆盖条件覆盖断定断定-条件覆盖条件覆盖条件组合覆盖条件组合覆盖修正修正-断定条件覆盖断定条件覆盖逻辑覆盖法int function1(int a,int b,in
6、t c)int x;x=0;if(a&(b|c)x=1;return x;1、语句覆盖(Statement Coverage)原理：假设语句中有错误，仅靠察看不执行能够发现不了在测试时，首先设计假设干个测试用例，然后运转被测程序，使程序中的每个可执行语句至少执行一次 假设干个 - 尽量少 语句覆盖、程序段覆盖、程序块覆盖语句覆盖率语句覆盖率已执行的可执行语句占程序中可执行语句总数的百分比复杂的程序不能够到达语句的完全覆盖语句覆盖率越高越好语句覆盖测试用例 到达语句覆盖100%的测试用例 A = 1 B = 1 C = 1未到达语句覆盖100%的测试用例 A = 0 B = 1 C = 3语句覆
7、盖的优点检查一切语句构造简单的代码的测试效果较好容易实现自动测试代码覆盖率高 假设是程序块覆盖，那么不涉及程序块中的源代码 语句覆盖不能检查出的错误逻辑运算&、|错误 断定的第一个运算符“&错写成“|，或第二个运算符“|错写成“&,这时运用上述的测试用例依然可以到达100%的语句覆盖。语句覆盖不能检查出的错误循环语句错误循环次数错误跳出循环条件错误语句覆盖不能检查出的错误循环语句例子for(i=0;i3) statement;n nfor(i=0;i3&x7)n nn n statement;n n语句覆盖率的问题能到达很高的语句覆盖率语句覆盖率看似很高，却有严重缺陷 if(x!=1) sta
8、tements; ; else statement; 99句1句测试用例x = 2语句覆盖率99%50%的分支没有到达2、断定覆盖(Decision Coverage)比语句覆盖稍强的覆盖规范是断定覆盖。断定覆盖的含义是：设计足够多的测试用例，使程序中的每个断定至少都获得一次“真值或“假值。除了双值断定语句外，还有多值断定语句，如case语句，因此断定覆盖更普通的含义是：使得每一个断定获得每一种能够的结果至少一次。16352789410构造测试用例如下可实现断定覆盖规范a=T,b=T,c=T;a=F,b=F,c=F;不仅满足了断定覆盖还满足了语句覆盖，因此比语句覆盖稍强。但，依然无法发现程序段
9、中存在的逻辑断定错误。3、条件覆盖(Condition Coverage)在设计程序中，一个断定语句是由多个条件组合而成的复合断定，断定(a)&(b|c)包含了三个条件：a,b和c。为了更彻底的实现逻辑覆盖，可以采用条件覆盖。条件覆盖的含义是：构造一组测试用例，使得每一断定语句中每个逻辑条件的能够值至少满足一次。测试用例如下：a=F,b=T,c=Fa=T,b=F,c=T仔细分析可发现，该用例在满足条件覆盖的同时把断定的两个分支也覆盖了，这样能否能说到达了条件覆盖也就必然实现了断定覆盖呢？a=F,b=T,c=Ta=T,b=F,c=F上述用例满足条件覆盖的但并未满足断定覆盖，为处理这一矛盾，需求多
10、条件和分支兼顾4、断定/条件覆盖(CDC)含义：设计足够的测试用例，使得断定中每个条件的一切能够(真/假)至少出现一次，并且每个断定本身的断定结果(真/假)也至少出现一次。测试用例如下：a=T,b=T,c=Ta=F,b=F,c=F但，假设把逻辑运算符“&错写成“|或第二个运算符“|错写成“&,该用例依然无法发现上述逻辑错误5、组合条件覆盖MCC含义：设计足够的测试用例，使得每个断定中条件的各种能够组合都至少出现一次。显然满足组合条件覆盖的测试用例是一定满足断定覆盖、条件覆盖和断定/条件覆盖的。序号abca&(b|c)1TTTT2TTFT3TFTT4TFFF5FTTF6FTFF7FFTF8FFF
11、F断定语句中3个逻辑条件，每个逻辑条件有2种能够取值，共238种能够组合。6、修正条件断定覆盖(MCDC)修正条件断定覆盖是由欧美的航空修正条件断定覆盖是由欧美的航空/航天制造厂商和运航天制造厂商和运用用单位位结合制定的合制定的“航空运航空运输和配和配备系系统软件件认证规范范，目前在国外的国防、航空航天，目前在国外的国防、航空航天领域运用广泛。域运用广泛。有有资料料阐明，波音明，波音777整体整体设计费用的用的25%都花在了都花在了软件的件的MC/DC测试上。上。含含义：需求足：需求足够的的测试用例来确定各个条件可以影响到用例来确定各个条件可以影响到包含的断定的包含的断定的结果，即要求果，即要
12、求满足两个条件：足两个条件：每一个程序模每一个程序模块的入口和出口点都要思索至少要被的入口和出口点都要思索至少要被调用用一次，每个程序的断定到一切能一次，每个程序的断定到一切能够的的结果果值要至少要至少转换一次；一次；程序的断定被分解程序的断定被分解为经过逻辑操作符操作符(&,|)衔接的接的逻辑条件，每个条件条件，每个条件对于断定的于断定的结果果值是独立的。是独立的。序号abca&(b|c)abc1TTTT52TTFT643TFTT744TFFF235FTTF16FTFF27FFTF38FFFF经过上表可以看出，布尔变量a可以经过用例1和5到达MCDC的要求用例2和6或用例3和7也可以满足相应要求，变量b可以经过用例2和4到达MCDC的要求，变量c可以经过用例3和4到达MCDC的要求，因此运用用例集1,2,3,4,5即可满足MCDC的要求。显然，这不是独一的用例组合。
