软件测试-实验2-白盒测试案例分析

实验2 白盒测试
一、实验目的与要求
1、掌握白盒测试的语句覆盖和判定覆盖测试方法的原理及应用
2、掌握条件覆盖、条件组合覆盖的方法，提高应用能力
3、掌握路径法测试
二、实验设备
1、电脑PC
三、实验原理
白盒测试原理：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否已经过检查。

它是把测试对象看作装在一个透明的白盒子里，也就是完全了解程序的结构和处理过程。

这种方法按照程序内部的逻辑测试程序，检验程序中的每条通路是否都能按预定要求正确工作，其又称为结构测试。

1、语句覆盖
语句覆盖指代码中的所有语句都至少执行一遍，用于检查测试用例是否有遗漏，如果检查到没有执行到的语句时要补充测试用例。

无须细分每条判定表达式，该测试虽然覆盖了可执行语句，但是不能检查判断逻辑是否有问题。

2、判定覆盖
又称判断覆盖、分支覆盖，指设计足够的测试用例，使得程序中每个判断的取真分支和取假分支至少经历一次，即判断真假取值均曾被满足。

判定覆盖比语句覆盖强，但是对程序逻辑的覆盖度仍然不高，比如由多个逻辑条件组合而成的判定，仅判定整体结果而忽略了每个条件的取值情况。

3、条件覆盖、条件判定覆盖
条件覆盖指程序中每个判断中的每个条件的所有可能的取值至少要执行一次，但是条件覆盖不能保证判定覆盖，条件覆盖只能保证每个条件至少有一次为真，而不考虑所有的判定结果。

条件判定覆盖是条件覆盖和判定覆盖的组合，指设计足够的测试用例，使得判定中每个条件的所有可能的取值至少出现一次，并且每个判定取到的各种可能的结果也至少出现一次。

条件判定覆盖弥补了条件和判定覆盖的不足，但是未考虑条件的组合情况。

4、条件组合覆盖
又称多条件覆盖，设计足够的测试用例，使得判定条件中每一个条件的可能组合至少出现一次。

线性地增加了测试用例的数量。

5、基本路径法
在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行的路径集合，从而设计测试用例的方法。

在基本路径测试中，设计出的测试用例要保证在测试中程序的每条可执行语句至少执行一次，在基本路径法中，需要使用程序的控制流图进行可视化表达。

四、实验内容
（一）实验内容
1、语句覆盖和判定覆盖的测试设计
要求：根据如下背景，绘制程序流程图并按两种测试方法设计测试用例。

背景：以保险产品投保为例，针对保险产品投保业务逻辑代码进行分析，运用语句覆盖和判定覆盖法进行测试用例设计。

某个人税收优惠型保险产品A/B1/B2/C款承保规则：
（1）凡16周岁以上且投保时未满法定退休年龄（男性59岁，女性54岁，后续将随国家相关法规做相应调增），使用商业健康保险税收优惠政策的纳税人，可作为本合同的被保险人。

保险公司根据被保人是否参加公费医疗或基本医疗保险确定适用条款。

（2）被保人为健康体，或者参加医疗保险的，可选择A款、B1款或B2款（3）未参加公费医疗的非健康体（有既往症）只能选择C款。

以下为个人税收优惠型保险产品承保的部分伪代码实现：
（1）绘制保险产品的承保业务流程图：
（2）根据业务场景与流程逻辑判定，运用语句覆盖法进行测试用例的设计并按如下表格形式填写测试用例。

（根据设计的测试用例加行）
（3）根据业务场景与流程逻辑判定，运用判定覆盖方法进行测试用例的设计并按如下表格形式填写测试用例。

（根据设计的测试用例加行）
2、条件覆盖和条件组合覆盖的测试设计
要求：以银行内部转账为例，针对内部转账业务逻辑代码进行分析并绘制程序流程图，分别运用条件覆盖、条件组合覆盖方法设计测试用例。

背景：内部转账用于处理发起户口号和接收户口号都是内部账户的系统内资金转账业务，主要用于财务资金的划拨、未实现自动清算业务的清算资金的划拨。

（1）内部转账发起：发起行发出内部资金交易，并换人复核，满足条件时需会计主管授权。

（2）内部转账接收：内部资金交易接收方根据接受方确认方式，对交易进行接收经办，满足条件的需复核或授权。

确定接收方的入账流程，“确认方式”分为以下三种：
（1）不需接收方确认，即发起方发起后自动记发起方和接收方的一套账务，接收方无须再做接收动作，仅限100万以内金额方可使用此确认方式。

（2）需接收方确认，即接收方接收时不能更改接收信息，只能依据发起方输入的信息入账或退回发起方。

以目前的处理方式，接收经办->入账（金额小于100万）；接收经办+接收授权->入账（金额大于100万）
（3）需接收方经办，即接收方接收时可以更改接收信息，执行入账或退发起行。

以目前处理方式，接收经办+接收复核->入账（金额小于100万）；接收经办+接收复核+接收授权->入账（金额大于100万）
内部转账授权控制表如下表2-1所示
以下为一拿回国内内部转账控制的部分伪代码实现：
3、基本路径法的测试设计
（1）基本程序如下：
（2）根据如上程序运用基本路径法，画出程序控制流图
（3）根据程序控制流图分析，列出全部路径并指出可达路径及不可达路径（4）根据可达路径设计测试用例（可加行）
（二）实验要求
1、完成如上三个题目要求的设计，列出设计过程中要求的表格
2、表格要有表头，并在表格下方对表格设计列出说明文字。

3、完成实验后必须进行实验总结，可分析几种测试方法的优缺点及做实验过程中的收获，否则实验适当扣分。

五、实验结果
学生做实验后将实验结果按照题目序号放置。

1、
（1）绘制保险产品的承保业务流程图如下：
（2）根据业务场景与流程逻辑判定，运用语句覆盖法进行测试用例的设计并按如下表格形式设计如下测试用例：
计并按如下表格形式设计测试用例：
2、
begin
count>100万
调用内部转
账发起复核
调用内部转
账发起授权Sure=1?
抛出异常确认方式不符合业务流程调用内部转
账接收经办
调用内部转
账接收授权
调用内部转
账接收经办
调用内部转
账接收复核
调用内部转
账接收授权
抛出异常
确认方式不符
合业务流程
接收确认
接收确认
Sure=2?Sure=3?Sure=?
0<count<100万
抛出异常输
入金额有误，请
重新输入
end
图2.1 银行内部转账程序流程图
3、
（2）根据如上程序运用基本路径法，画出程序控制流图如下：
（4）根据程序控制流图分析，列出全部路径并指出可达路径及不可达路径全部路径：
A-B-D-F-H
A-B-D-G-I
A-C-E-F-H
A-C-E-G-I
不可达路径：
A-B-D-G-I
（4）根据可达路径设计测试用例（可加行）
六、实验总结
过程中我们学会了白盒测试的原理以及各种测试方法，白盒测试的语句覆盖和判定覆盖测试方法的原理及应用、条件覆盖、条件组合覆盖的方法，提高应用能力以及掌握路径法测试。

通过本次实验我们对软件测试有了进一步的理解，可以在特定的案例情形下设计出合理的设计用例完成测试的相关要求。