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

实验2 白盒测试 一、实验目的与要求 1、掌握白盒测试的语句覆盖和判定覆盖测试方法的原理及应用 2、掌握条件覆盖、条件组合覆盖的方法，提高应用能力 3、掌握路径法测试 二、实验设备 1、电脑PC 三、实验原理 白盒测试原理： 已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否已经过检查。它是把测试对象看作装在一个透明的白盒子里，也就是完全了解程序的结构和处理过程。这种方法按照程序内部的逻辑测试程序，检验程序中的每条通路是否都能按预定要求正确工作，其又称为结构测试。 1、语句覆盖 语句覆盖指代码中的所有语句都至少执行一遍，用于检查测试用例是否有遗漏，如果检查到没有执行到的语句时要补充测试用例。无须细分每条判定表达式，该测试虽然覆盖了可执行语句，但是不能检查判断逻辑是否有问题。 判定覆盖 又称判断覆盖、分支覆盖，指设计足够的测试用例，使得程序中每个判断的取真分支和取假分支至少经历一次，即判断真假取值均曾被满足。 判定覆盖比语句覆盖强，但是对程序逻辑的覆盖度仍然不高，比如由多个逻辑条件组合而成的判定，仅判定整体结果而忽略了每个条件的取值情况。 条件覆盖、条件判定覆盖 条件覆盖指程序中每个判断中的每个条件的所有可能的取值至少要执行一次，但是条件覆盖不能保证判定覆盖，条件覆盖只能保证每个条件至少有一次为真，而不考虑所有的判定结果。 条件判定覆盖是条件覆盖和判定覆盖的组合，指设计足够的测试用例，使得判定中每个条件的所有可能的取值至少出现一次，并且每个判定取到的各种可能的结果也至少出现一次。条件判定覆盖弥补了条件和判定覆盖的不足，但是未考虑条件的组合情况。 条件组合覆盖 又称多条件覆盖，设计足够的测试用例，使得判定条件中每一个条件的可能组合至少出现一次。线性地增加了测试用例的数量。 5、基本路径法 在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行的路径集合，从而设计测试用例的方法。在基本路径测试中，设计出的测试用例要保证在测试中程序的每条可执行语句至少执行一次，在基本路径法中，需要使用程序的控制流图进行可视化表达。 四、实验内容 （一）实验内容 1、语句覆盖和判定覆盖的测试设计 要求：根据如下背景，绘制程序流程图并按两种测试方法设计测试用例。 背景：以保险产品投保为例，针对保险产品投保业务逻辑代码进行分析，运用语句覆盖和判定覆盖法进行测试用例设计。 某个人税收优惠型保险产品A/B1/B2/C款承保规则： 凡16周岁以上且投保时未满法定退休年龄（男性59岁，女性54岁，后续将随国家相关法规做相应调增），使用商业健康保险税收优惠政策的纳税人，可作为本合同的被保险人。保险公司根据被保人是否参加公费医疗或基本医疗保险确定适用条款。 被保人为健康体，或者参加医疗保险的，可选择A款、B1款或B2款 未参加公费医疗的非健康体（有既往症）只能选择C款。 以下为个人税收优惠型保险产品承保的部分伪代码实现： if（（性别=‘男’and 16年龄59） or（性别=‘女’and 16年龄54））{ if（（性别=‘男’and 16年龄59） or（性别=‘女’and 16年龄54））{ if（被保人健康属性为正常 or 有医疗保险）{ 可选择保险种类为A或B1或B2的险种，份数为1份 }else{ 可选险种为C，份数为1份 } }else{ 提示‘不能承保’ } （1）绘制保险产品的承保业务流程图： （2）根据业务场景与流程逻辑判定，运用语句覆盖法进行测试用例的设计并按如下表格形式填写测试用例。（根据设计的测试用例加行） 表1-1 语句覆盖测试用例设计 测试用例名称 测试用例描述 测试路径 （3）根据业务场景与流程逻辑判定，运用判定覆盖方法进行测试用例的设计并按如下表格形式填写测试用例。（根据设计的测试用例加行） 表1-2 判定覆盖测试用例设计 测试用例名称 测试用例描述 测试路径 条件覆盖和条件组合覆盖的测试设计 要求：以银行内部转账为例，针对内部转账业务逻辑代码进行分析并绘制程序流程图，分别运用条件覆盖、条件组合覆盖方法设计测试用例。 背景：内部转账用于处理发起户口号和接收户口号都是内部账户的系统内资金转账业务，主要用于财务资金的划拨、未实现自动清算业务的清算资金的划拨。 内部转账发起：发起行发出内部资金交易，并换人复核，满足条件时需会计主管授权。 内部转账接收：内部资金交易接收方根据接受方确认方式，对交易进行接收经办，满足条件的需复核或授权。 确定接收方的入账流程，“确认方式”分为以下三种： 不需接收方确认，即发起方发起后自动记发起方和接收方的一套账务，接收方无须再做接收动作，仅限100万以内金额方可使用此确认方式。 需接收方确认，即接收方接收时不能更改接收信息，只能依据发起方输入的信