第二章 黑盒测试技术
第三节 测试用例设计
概述
测试用例设计是软件测试过程中至关重要的一环，尤其是在黑盒测试中，测试用例设计的质量直接影响测试的覆盖率和有效性。本节内容围绕黑盒测试的测试用例设计展开，介绍测试用例设计的基本概念、方法和实践技巧，帮助考生系统掌握如何科学设计测试用例，提高测试效率和准确性。
通过本节学习，考生将能够：
- 理解测试用例及其设计的重要性和基本要求
- 掌握常用的黑盒测试用例设计技术
- 能够根据需求规格设计合理的测试用例
- 认识测试用例设计中的常见误区与纠正方法
- 结合实例分析，提高实际应用能力
核心概念
测试用例（Test Case）：指为验证软件系统是否满足特定需求而设计的一组输入、执行条件、预期输出及执行流程的集合。测试用例是测试工作的基本单元。
黑盒测试（Black-box Testing）：一种基于功能需求和规范的测试方法，不考虑程序内部实现细节，关注输入与输出的关系。
测试用例设计（Test Case Design）：指根据软件需求和设计文档，运用一定的技术和方法，系统地编写测试用例的过程。
等价类划分（Equivalence Partitioning）：将所有可能的输入划分成若干等价类，选择代表性测试数据进行测试的方法。
边界值分析（Boundary Value Analysis）：重点测试输入范围的边界值及其邻近值的测试设计技术。
判定表测试（Decision Table Testing）：通过列出条件和对应动作的判定表来设计测试用例。
状态迁移测试（State Transition Testing）：基于系统状态和状态间转换设计测试用例。
因果图法（Cause-Effect Graphing）：通过建立因果关系图来设计测试用例。
原理分析
测试用例设计的核心在于确保测试覆盖全面且高效，既能检测出潜在缺陷，又避免冗余测试。黑盒测试用例设计依赖于需求分析，侧重于功能覆盖、输入条件组合、边界条件和异常处理。
等价类划分基于输入数据的相似性，假设同一类中的数据对程序的行为影响一致，从而减少测试点数。其理论基础是集合论和等价关系。
边界值分析利用程序错误往往发生在输入边界的经验，重点验证临界点的正确性。
判定表测试通过组合各种条件的真假值，确保复杂逻辑的每种可能情况都被测试到。
状态迁移测试适用于状态驱动的系统，保证每种状态和状态转换都被覆盖。
因果图法通过将输入条件和输出结果的因果关系可视化，系统化设计测试用例，适合复杂逻辑的测试。
这些方法相辅相成，综合运用能够覆盖功能需求的各个方面，降低遗漏风险。
详细内容
1. 测试用例的定义与重要性
测试用例是具体的测试执行方案，它明确了测试的输入和预期输出，是测试执行和结果判断的依据。高质量的测试用例要求：
- 完整性：覆盖所有功能点和需求
- 准确性：预期结果明确，便于判定测试通过与否
- 可重复性：测试步骤明确，便于复测和回归测试
- 有效性：能够有效发现缺陷，避免无效测试
设计合理的测试用例能提高测试效率，减少测试资源浪费。
2. 等价类划分法
基本思想：输入域被划分为若干等价类，测试时从每个等价类中选取代表值进行测试。
步骤：
- 确定输入条件
- 划分等价类（有效和无效）
- 选择每个等价类的代表测试数据
优点：减少测试用例数量，覆盖面广。
示例：软件接受年龄输入，范围为18-60岁。
- 有效等价类：18-60
- 无效等价类：小于18，大于60
测试选取：17（无效）、18（有效）、30（有效）、61（无效）
3. 边界值分析法
基本思想：程序错误往往发生在输入边界，测试应重点覆盖边界值及其邻近值。
步骤：
- 确定输入变量的边界值
- 设计测试用例覆盖边界值及临近值
测试点通常为边界的最小值、最大值，以及边界的上下一个值。
示例：年龄18-60，则测试用例包括17、18、19和59、60、61。
4. 判定表测试法
基本思想：将复杂的条件组合以表格形式列出，确保所有条件组合均被覆盖。
步骤：
- 确定所有输入条件
- 列出所有可能的条件组合（规则）
- 针对每条规则设计测试用例
适用场景：业务规则复杂，条件多样。
示例：信贷审批系统中，贷款申请是否批准取决于收入高低、信用等级及担保情况。
5. 状态迁移测试法
基本思想：针对系统状态及状态转换设计测试用例，保证状态之间的转换逻辑正确。
步骤：
- 分析系统状态和状态转换
- 绘制状态图
- 设计覆盖状态转换的测试用例
适用场景：状态驱动系统，如订单管理、用户登录等。
6. 因果图法
基本思想：将输入条件（原因）和输出结果（效果）建立逻辑关系图，通过图形转换设计测试用例。
步骤：
- 识别输入条件和输出结果
- 构建因果图
- 转换为判定表
- 设计测试用例
优点：适合复杂逻辑，减少冗余。
实例分析
实例一：银行账户登录验证
背景：银行系统用户登录功能，输入用户名和密码。
需求：
- 用户名不能为空
- 密码长度6-12位
- 密码必须包含数字和字母
分析：
- 使用等价类划分设计测试用例
- 使用边界值分析设计测试用例
测试用例设计：
| 测试用例编号 | 输入用户名 | 输入密码 | 预期结果 |
|---|---|---|---|
| TC01 | 空 | 123abc | 登录失败，提示用户名不能为空 |
| TC02 | user1 | 12345 | 登录失败，密码长度不足 |
| TC03 | user1 | 123abc | 登录成功 |
| TC04 | user1 | 123abc45678901 | 登录失败，密码长度超限 |
| TC05 | user1 | abcdef | 登录失败，密码无数字 |
结论：结合等价类和边界值设计，覆盖了有效和无效输入。
实例二：电商订单状态管理
背景：电商系统订单有以下状态：待付款、已付款、发货中、已完成、已取消。
需求：
- 订单只能按特定流程转换状态
- 不允许跳过状态
分析：
- 采用状态迁移测试设计测试用例
状态图：
待付款 -> 已付款 -> 发货中 -> 已完成
待付款 -> 已取消
测试用例设计：
- 测试从待付款直接跳到发货中，预期失败
- 测试正常状态流转，预期成功
- 测试已取消状态后不能发货，预期失败
结论：状态迁移测试有效保证状态逻辑正确。
实例三：优惠政策判定
背景：商场优惠政策基于会员等级和购物金额决定折扣。
条件：
- 会员等级：普通、银卡、金卡
- 购物金额：<100，100-500，>500
需求：
- 普通会员无折扣
- 银卡会员购物满100享9折
- 金卡会员购物满100享8折，大于500享7折
分析：
- 采用判定表设计测试用例
| 条件1（会员等级） | 条件2（购物金额） | 动作（折扣） |
|---|---|---|
| 普通 | 任意 | 无折扣 |
| 银卡 | <100 | 无折扣 |
| 银卡 | >=100 | 9折 |
| 金卡 | <100 | 无折扣 |
| 金卡 | 100-500 | 8折 |
| 金卡 | >500 | 7折 |
测试用例设计覆盖所有条件组合。
常见误区
误区：测试用例设计过于简单，缺乏边界和异常情况测试。
正确做法：结合边界值分析，覆盖边界及异常输入。
误区：忽视无效等价类，导致未检测到异常处理缺陷。
正确做法：无效等价类同样重要，必须设计相应测试用例。
误区：只关注单条件测试，忽略条件组合。
正确做法：利用判定表等方法覆盖条件组合，避免遗漏。
误区：状态迁移测试中遗漏部分状态或转换路径。
正确做法：绘制完整状态图，确保所有状态和转换均有测试。
误区：测试用例描述不清，导致执行和复测困难。
正确做法：测试用例步骤清晰，输入和预期结果明确。
应用场景
功能需求验证：设计测试用例验证软件功能是否符合规格说明。
业务规则测试：如判定表测试适合复杂业务规则的全面覆盖。
输入数据验证：等价类和边界值分析广泛应用于输入数据的有效性测试。
状态驱动系统测试：状态迁移测试适合订单处理、用户认证等状态机系统。
回归测试设计：设计针对修正缺陷的测试用例，保证不引入新缺陷。
知识拓展
组合测试技术：如因子组合覆盖，提升测试用例设计的效率和效果。
基于模型的测试设计：利用需求模型自动生成测试用例。
测试优先级划分：根据风险和重要性合理安排测试用例执行顺序。
自动化测试用例管理：利用工具管理测试用例的设计、执行和维护。
测试设计与缺陷定位结合：通过测试用例设计辅助快速定位软件缺陷。
总结回顾
本节系统介绍了黑盒测试中测试用例设计的关键技术与方法。通过理解测试用例的概念和重要性，掌握等价类划分、边界值分析、判定表测试、状态迁移测试和因果图法等多种设计技术，考生能够科学、高效地设计覆盖全面的测试用例。
典型实例的分析帮助加深理解，常见误区的总结提醒注意细节，实际应用场景展示了测试用例设计的广泛适用性。结合知识拓展内容，考生可进一步提升测试设计能力，为全国计算机等级考试二级软件测试科目奠定坚实基础。
掌握本节内容，将为后续测试执行与缺陷管理提供坚实保证，是软件测试学习和实践的重要里程碑。