软件测试实验一 语句和判定覆盖测试设计

一、实验目的

1.巩固所学的语句和判定覆盖测试方法；
2.提高运用语句覆盖和判定覆盖测试方法的能力。

二、实验前提

1.掌握语句覆盖和判定覆盖的基本方法、概念；
2. 熟悉程序语言的逻辑结构与基础知识；
3. 选择一段程序语言。

三、实验内容

**
以保险公司投保为例，针对保险产品投保业务逻辑代码进行分析，运用语句覆盖和判定覆盖法进行测试用例设计。
某个人税收优惠型保险产品A/B1/B2/C款承保规则：
（1）凡16周岁以上且投保时未满法定退休年龄的（男性为59周岁、女性为54周岁，后续将随国家相关法规做相应调整），适用商业健康保险税收优惠政策的纳税人，可作为本合同的被保险人。保险公司根据被保险人是否参加公费医疗或基本医疗保险确定适用条款。
（2）被保人为健康体，或者参加医疗保险的，可选择A款、B1款或B2款。
（3）为参加公费医疗的非健康体（有既往症）只能选择C款。

四、实验环境

1. 首先要让学生了解保险产品投保业务场景，能够模拟操作保险产品的承保流程；
2. 能够将业务场景与代码逻辑关系对应；
3. 根据代码画出程序流程图，并分析各判定节点；
4. 根据代码流程图分析出判定条件与真假取值。

五、实验过程简述

1. 明确被测试对象使用的测试方法；
2. 小组讨论业务场景并进行分析；
3. 测试实施工作安排；
4. 评审程序流程图和测试用例；
5. 执行测试，根据测试用例带入各条件测试数据，给出测试结果。

六、实验过程实施

1.测试分析
(1) 根据保险产品的承保业务描述,分析产品承保流程,包括主流程、分支流程以及正常流程、异常流程。
(2)模拟保险产品承保场景:触发允许产品承保的条件,不同条件是否走不同的承保流程。
(3)数据项检査:数据项的计算规则,数据项后台判断逻辑。
2.测试设计
根据产品承保代码,设计出程序流程图,并对程序流程图做节点标记,分析图1-1所示的两个判定:
判定A:(性别=“男” AND 16 判定B:健康体OR有医疗保险
3.测试设计
根据业务场景与流程逻辑判定,运用语句覆盖法进行用例设计。
语句覆盖是一个比较弱的逻辑覆盖标准,通过选择足够多的测试用例,使得被测试程序中的每个语句至少被执行一次。根据如图1-1所示的流程图,为使程序中的每个语句至少执行一次,只需设计两个测试用例,覆盖语句A、B、C、E,即覆盖判定A“成立”、判定B“成立”或“不成立”各被覆盖一次,如表1-1所示。
流程图：

接下来我们运用判定覆盖法来进行用例设计。判定覆盖又称为分支覆盖,判定覆盖语句覆盖的标准稍强一些,它是指通过设计足够多的测试用例,使得被测试程序中的每个判定即上述判定A、判定B)都获得一次“真”“假”值,如表1-2所示。
判定覆盖测试用例表：

七、实验小结
通过本次实验熟练掌握语句覆盖和判定覆盖的基本方法、概念，掌握测试用例的设计要素和关键组成部分，也掌握语句覆盖标准，应用语句覆盖设计测试用例和语句覆盖测试的优点和缺点，了解了白盒测试的基本过程，并能独立查找解决程序中的错误。六种覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖发现错误的能力呈由弱至强的变化。语句覆盖每条语句至少执行一次。判定覆盖每个判定的每个分支至少执行一次。条件覆盖每个判定的每个条件应取到各种可能的值。判定/条件覆盖同时满足判定覆盖条件覆盖。条件组合覆盖每个判定中各条件的每一种组合至少出现一次。路径覆盖使程序中每一条可能的路径至少执行一次。通过实践进一步巩固之前学习的理论知识。