软件工程基础图示（第六章 质量保证）

软件工程基础图示（第六章 质量保证）

知识纲要

1）质量保证相关概念

2）软件测试策略

3）软件测试技术

• 白盒测试——四类逻辑覆盖
• 黑盒测试——等价类划分和边界值分析

1、重点：白盒测试

---

1）白盒测试：考虑内部机制，结构性测试

2）将路径转化为与或表达式

• 将非判断语句代入判断语句
• and/or

3）测试用例：【输入，输出】，可能有几组测试用例。

4）测试用例选择

• 先选择路径：因为非判断语句对判断语句的变量有改动
• 一个测试用例对应一条路径，使对应路径为真

5）逻辑覆盖

1. 语句覆盖：每条语句至少执行一次
2. 分支覆盖（判断框覆盖）：每个判断取值分支和去加分支至少经历一次
3. 条件覆盖（每个判断框可能包含多个条件）
   • 每个条件写成Ti，写T1T2T3T4的与或表达式（4个条件2个表达式）
   • 然后确定路径（可能合为一条路径，但是测试用例不同）
   • 确定测试用例
4. 条件组合覆盖：每个判断的所有可能条件取值组合至少执行一次

 

 2、重点：黑盒测试

1）含义：测试人员完全不考虑程序内部，只依据需求规格说明书。黑盒测试又叫做功能测试。

2）方法

1. 等价类划分法
   • （1）为每一个等价类规定一个唯一编号；
   • （2）设计一个新的测试用例，使其尽可能多地覆盖尚未被覆盖的有效等价类，重复这一步，直到所有的有效等价类都被覆盖为止；
   • （3）设计一个新的测试用例，使其仅覆盖一个尚未被覆盖的无效等价类，重复这一步，直到所有的无效等价类都被覆盖为止。
   • 等价类划分法实例
   •  
边界值分析法（了解）
• 使用边界值分析方法设计测试用例，首先应确定边界情况。
• 应当选取正好等于，刚刚大于，或刚刚小于边界的值做为测试数据。
• 而不是选取等价类中的典型值或任意值做为测试数据。

3、软件测试策略

1）V模型

• 左边是软件过程模型步骤，右边是对应的测试
• 
  • （1）单元测试的主要目的是验证软件模块是否按详细设计的规格说明正确运行。

  • （2）集成测试主要目的是检查多个模块间是否按概要设计说明的方式协同工作。

  • （3）系统测试的主要目的是验证整个系统是否满足需求规格说明。

  • （4）验收测试从用户的角度检查系统是否满足合同中定义的需求，以及以确认产品是否能符合业务上的需要。
    • α测试
    • β测试