【软件质量保证与测试】练习3

单选题

2-1 以下不属于逻辑覆盖测试的是（ ）
A. 语句覆盖
B. 判定覆盖
C. 基本路径覆盖
D. 条件覆盖

解析：

2-2 在软件测试中，逻辑覆盖标准主要用于（）
A. 黑盒测试
B. 白盒测试
C. 文档测试
D. 软件验收

2-3 下列不属于白盒测试技术的是（）
A. 路径覆盖
B. 判定覆盖
C. 条件覆盖
D. 需求覆盖

2-4 在逻辑覆盖准则中，覆盖性最强的是（）
A. 语句覆盖
B. 判定覆盖
C. 条件覆盖
D. 条件组合覆盖

2-5 在下面所列举的逻辑测试覆盖中，测试覆盖最弱的是（）
A. 条件覆盖
B. 条件组合覆盖
C. 语句覆盖
D. 判定/条件覆盖

解析：

2-6 下面的个人所得税程序中，满足语句覆盖测试用例是（）

A. income=(800,1500,2000,2001)
B. income=(800,801,1999,2000)
C. income=(799,1499,2000,2001)
D. income=(799,1500,1999,2000)

2-7 条件组合覆盖是一种逻辑覆盖，满足条件组合覆盖级别的测试用例也满足（）级别的测试。
A. 语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖
B. 判定覆盖、条件覆盖、判定/条件覆盖
C. 语句覆盖、判定覆盖、判定/条件覆盖
D. 路径覆盖、判定覆盖、条件覆盖、判定/条件覆盖

2-8 下列有关测试过程V模型的说法中，正确的是（）
A. 验收测试应确定成程序的执行是否满足软件设计的要求
B. 系统测试应确定系统功能和性能的质量特性是否达到系统要求的指标
C. 单元测试和集成测试应确定软件的实现是否满足用户需要或合同的要求
D. 集成测试在编码结束前就可以开始

解析：
A. 验收测试：验证系统是否达到了客户需求（α测试、β测试）

C.

2-9 下列不属于软件测试过程模型的一项是（）
A. 瀑布模型
B. H模型
C. V模型
D. W模型

解析：
瀑布模型是软件开发模型，也称瀑布型生命周期模型

2-10 使用白盒测试方法时，确定测试数据应根据（ ）和指定的覆盖标准。
A. 程序的内部逻辑
B. 程序的复杂程度
C. 使用说明书
D. 程序的功能

主观题

8-1 逻辑覆盖

运用逻辑覆盖的方法测试以下程序段：

（1）画出程序流程图

（2）按讲义上的格式给出语句覆盖的测试用例

（3）按讲义上的格式给出判定覆盖的测试用例

（4）按讲义上的格式给出条件覆盖的测试用例

（5）按讲义上的格式给出判定/条件覆盖的测试用例

（6）按讲义上的格式给出条件组合覆盖的测试用例

答：
程序源代码：

（1）

或







或

8-2 逻辑覆盖测试的特点

简述逻辑覆盖测试的5种覆盖策略及各自的特点。

答：
简略版：
1、语句覆盖：关注语句，而非关注判定节点；对隐式分支无效；
2、判定覆盖（分支覆盖）：仅关心表达式的整体取值，并不关心表达式如何构成，不能覆盖到每个子条件的所有取值情况；
3、条件覆盖：每个简单判定条件的取真和取假情况至少执行一次；
4、判定-条件覆盖：判定节点的取真、取假分支至少执行一次，且每个简单判定条件的取真和取假情况至少执行一次；
5、条件组合覆盖：通过列出真值表的方式来得到完全的覆盖；
————————————————————
详细版：
根据不同的测试要求，覆盖测试可以分为语句覆盖、判定覆盖、条件覆盖、判定／条件覆盖、条件组合覆盖。
语句覆盖就是设计足够多的测试用例，使得被测试程序中的每条可执行语句至少被执行一次。
判定覆盖又称分支覆盖，就是设计足够多的测试用例，使得被测试程序中的每个判断的“真”、“假”分支至少被执行一次。
条件覆盖是指设计足够多的测试用例，使得被测试程序中的每个判断语句中的每个逻辑条件的可能值至少被满足一次。或者说设计足够多的测试用例，使得被测试程序中的每个逻辑条件的可能值至少被满足一次。
判定/条件覆盖是指设计足够多的测试用例，使得被测试程序中的每个判断本身的判定结果（真假）至少满足一次，同时，每个逻辑条件的可能值也至少被满足一次。即同时满足100%判定覆盖和100%条件覆盖的标准。在保证完成要求的情况下，测试用例的数目越少越好。
条件组合覆盖是指设计足够多的测试用例，使得被测试程序中的每个判断的所有可能条件取值的组合至少被满足一次。