软件工程 chap-7 软件实施与测试方法

编码风格

程序的内部文档（头部注解，内部注解）
标识符（程序、数据文件命名，常量变量命名）
总而言之，要符合编码规范

软件测试概述

测试不能表明软件中不存在错误，它只能说明软件中存在错误

遵循的原则

• 所有测试的标准都是建立在用户需求之上
• 所有的需求都是可验证的
• 测试活动可提前展开
• 增量测试
• 穷举所有的测试是不现实的
• 不要忽略非正常的输入数据
• 不能忽略回归测试
• 对问题较多的代码单元，需要进行更细致的测试
• 专业人员测试或委托第三方测试

Pareto 原则
测试所发现错误中的80％可能源于程序的20％

白盒测试

导出测试用例是依据模块的编码，即模块的内部逻辑对测试者是可见的

只要测试了程序的所有路径，程序就应该是100%正确的？
– 是否能穷尽所有路径？
– 即使穷尽了路径，是否能保证测试的结果可靠？

白盒测试能保证

• 模块中所有独立途径至少测试一次
• 测试所有逻辑决策真和假两个方面
• 在所有循环的边界内部和边界上执行循环体
• 检查内部数据结构以保证其有效性

基本途径测试

指覆盖基本途径集合的试验用例将使程序中的每个语句至少执行一次
– 基本途径的集合是由一组独立途径组成的
• 独立途径是指程序中至少引入一个新（执行）语句的路径

条件测试

检查程序中所包含的逻辑条件

布尔算子：OR（“|”），AND（“&”），NOT（“┐”）

条件中包含的错误类型如下：
• 布尔算子错误
• 布尔变量错误
• 括号不匹配
• 关系算子错误
• 算术表达式错误

分支和关系算子测试方法（BRO）

• 所有布尔变量与关系算子都不重复出现，并且没有相同的变量重复出现
• 对于一个有n个简单条件的条件C的约束定义为（D₁，D₂，…，D_n）
  D_i（1≤i≤n）是规定了条件C中第i个简单条件输出的约束符号
• 如果在条件C的执行中，其每个简单条件的输出满足D中对应的约束，则称C的执行覆盖了C的条件约束D
  
  

循环测试

嵌套循环
1)从最内层循环开始，把所有外层循环置为最小值
2)将外层循环控制在最小循环参数上，对内层循环进行简单循环测试。然后再为外层控制参数的某些值增加其它的测试
3)向外加工，为下一个循环进行测试
4)继续进行，直至所有的循环测试完成

黑盒测试

在程序或模块的接口级进行，而不考虑程序的内部逻辑
（遍历所有情况？）

用于检测程序中下列类型的错误

• 不正确或漏掉的功能
• 接口错误
• 数据结构或外部数据库存取中的错误
• 初始化或结束错误
• 性能方面的问题

等价类划分

• 把一个程序输入的定义域划分成不同的数据类，然后根据这些数据类可以导出测试用例
• 等价类是由相对于程序的功能具有相同作用的一些输入数据元素构成的数据集合，这些数据元素之间具有等价关系
• 利用等价类中一个元素作为代表对程序进行测试，而不是使用该类的全体成员，藉此以减少总的测试用例数量

指导原则
– 如果输入条件规定了一个范围
– 如果输入条件规定的是某集合中的一个成员
– 如果输入条件规定了一个特殊的值
– 如果输入要求是布尔值

边界值分析

专门选择等价类“边”上的元素
• 如果输入条件规定类由值a和b界定的范围
• 如果输入条件规定了一些数值
• 如果一个内部数据结构已经规定了边界

单元测试

把一个模块作为独立的程序单元进行测试，以保证它能够正确执行规定的功能

黑盒测试方法与白盒测试方法都适用于单元测试，它们是相互补充的，但不能相互代替

单元测试的考虑
– 模块接口
– 模块执行外部I/O操作
– 模块的局部数据结构
– 模块的计算
– 模块的错误处理例程

集成测试

将已经通过彻底测试的模块组装起来，以形成一个系统或软件产品，对其进行测试

主要使用黑盒测试法

任务是主要是检查和排除

• 模块间接口错误
• 全局数据结构错误
• 模块中某些遗漏的错误，
• 系统的功能和性能是否满足规范要求

集成测试的5个步骤
1)主控模块作为测试的驱动程序，并用存根代替所有的直接从属模块
2)按序一次用一个实际模块代替一个存根模块
3)随每一个模块结合进系统，进行测试
4)完成每组测试后，再用一个真实模块代替另一个存根模块。
5)回归测试

方法：自顶向下，自底向上，自顶向下和自底向上相结合

回归测试：当有新模块加入时，要对原测试通过的测试模块进行重新测试

软件测试文档

1. 软件工程实践者的研究方法
2. RUP：
   • 测试计划
   • 测试用例
   • 测试评估摘要
3. 国家标准：软件测试报告的编写内容
4. 企业标准