精品课件-软件测试及其案例分析-第8章

任务３:模块接口测试
检查模块接口是否正确
checklist:
输入的实际参数与形式参数是否一致(个数、属性、量纲) 调用其他模块的实际参数与被调模块的形参是否一致。
个数、属性、量纲
全程变量的定义在各模块是否一致。 外部输入、输出 文件、缓冲区、错误处理 其它
任务４:单元边界条件测试
检查临界数据处理的正确性 Checklist: 普通合法数据的处理。 普通非法数据的处理。 边界值内合法边界数据的处理。 边界值外非法边界数据的ቤተ መጻሕፍቲ ባይዱ理。 其它
示例
Driver Function under test
Stub
空指针保护案例分析
守约定意味着可以很容易根据 “模式匹配” 规则来推断各种标识符的 含义. 创建通用, 必需的习惯用语和模式可以使代码更容易理解 C++ 是一门包含大量高级特性的庞大语言. 某些情况下, 我们会限制甚至 禁止使用某些特性. 这么做是为了保持代码清爽, 避免这些特性可能导致 的各种问题
示例
教材 P100~102 给出Java 编程规范
/svn/trunk/cppguide.xml /google-cpp-styleguide/
代码复审
代码互查
一次检查少于200～400行代码 努力达到一个合适的检查速度：
300～500LOC/hour 有足够的时间、以适当的速度、仔
模块、组件、单元
为何要进行单元测试?
尽早发现错误 •错误发现越早,成本越低. •发现问题比较容易 •修正问题更容易
检查代码是否符合设计和规范，有利于将来代码的维护
单元测试的背景
编程过程中，每写1000行代码会犯几十个错误 编程与编译运行结束后，每1000行代码中大约残留有2-6

来自 Davis [DAV95]
7
基本概念
抽象——数据、过程、控制 体系结构——软件的整个结构 模式——已证实的解决方案的“精髓” 关注点分离——任何复杂问题如果被分解为若干块，该
复杂问题更容易地被处理。 模块化——数据和功能的划分 信息隐蔽——控制接口 功能独立——专一的功能和低耦合 求精——所有抽象精化的细节 方面——一种理解全部需求如何影响设计的机制 重构——一种简化设计的重新组织的技术 设计类——提供设计细节，使分析类得以实现
class diagrams analysis packages CRC models collaboration diagrams
be ha v i or a l element s
state diagrams sequence diagrams
行为元素 状态图 顺序图
Com pone nt Le v e l De sign
f low- orient ed element s
data flow diagrams control-flow diagrams processing narratives
Analysis Model
分析模型
基于类的元素 类图 分析包 CRC模型 协作图
c l a ss- ba se d element s
model number 模块数
type 类型
swing direction 转动方向
inserts 插入
lights 灯
type 类型
number 数量
weight
重量
opening mechanism 打开机制
implemented as a data structure

行速度缓慢，或者最终用户认为不好等。
白盒测试与黑盒测试是最常见的两种不同软件 测试方法。白盒测试又称结构测试、路径测试， 是指将程序看成一个透明的盒子，进入程序内 部，通过对程序的结构与语句进行测试，从而 得出对程序质量判断的过程。黑盒测试又称功 能测试，着眼于程序的外部特征，而不过多考 虑程序的内部构造，通过接收适当的输入数据， 检查程序结果的正确性从而判断程序质量的过 程。
软件测试的过程包括：测试计划、测试 的组织、测试用例的设计与开发、测试 的执行与报告。
8.3.2 软件测试类型
单元测试通常采用白盒测试，由程序员 或项目组成员完成。这种测试以相对较 少的部分代码作为关注的焦点，主要测 试程序内部逻辑路径。最基本的要求是 确保所有语句都经过测试。更进一步的 要求是要涵盖程序的所有路径。
8.2.2 评审的实施
1. 确定参加评审的人员：主持人（负责领导与组织审查 工作）、开发人员（被评审工作的人员）、评审员、 记录员等五六人。
2. 人员培训：使其熟悉组织的评审程序与相关标准。 3. 评审准备。 4. 分发评审材料，评审员审读评审材料：在会议前1到
前2天分发、审读。 5. 评审会议：重点是查找问题，无需过多争论。 6. 评审报告：记录员依据会议意见整理，填写评审总结
3、易用性
易用性是以一组规定或潜在的用户为软件使 用对象，所需做的努和对这样的使用所做的 评价相关的一组属性，包括易理解性、易学习 性、易操作性。
通俗地讲，易用性是用户评价系统是否有效、 易学、高效、好记、少错和令人舒适满意的质 量标准。
4、效率
系统效率是与在规定的条件下，软件的性能 水平与所使用资源量之间有关的一组属性，包 括时间特性、资源特性。
5、可维护性
系统的可维护性是与进行指定的修改所需 的努力有关的一组属性，包括易分析性、易更 改性、稳定性和易测试性。

敏捷测试要求“交付可用产品”而非单纯的“发现缺 陷”
敏捷方法的特征
• 2001年在软件工程界首次出现“敏捷”。 • 敏捷方法最主要的两个特征：轻量和简单
– 包含最少的流程和文档，减少正式性。 – 做眼前能做的事情，而不去预测太远的未来 – 快速、增量的开发
• 开发方法要称之为敏捷，需要具备4个基本特征：
– 工具未必能生成所有满足要求的数据，但最快速 – 编程能生成所有需要的数据，但是可能是最复杂的、最慢的方式 – 应尽量考虑使用一些简单实用的工具，例如DataFactory
敏捷测试的弱点
• 在某些公司，由于各种原因，一个团队的 敏捷程度完全取决于和他们合作的部门或 公司的敏捷程度。 • 敏捷在无法改变周边的人、部门和公司的 做事方式的时候适用性不好。
8.2测试驱动开发(TDD)
• 一个高效的软件开发过程对软件开发人员 来说是至关重要的 • 测试驱动开发（TDD)是极限编程的重要特 点，它以不断的测试推动代码的开发，即 简化了代码，又保证了软件的质量
什么是测试驱动
测试驱动是一种开发形式： 测试驱动是一种开发形式： 1.首先要编写测试代码 首先要编写测试代码 2.除非存在相关测试，否则不编写任何的产 除非存在相关测试， 除非存在相关测试 品代码 3.由测试来决定需要编写什么样的代码 由测试来决定需要编写什么样的代码 4.要求维护一套详尽的测试集 要求维护一套详尽的测试集
TDD测试案例
• 第二个测试： Public void testFibonacci() { AssertEquals(0,Fib(0)); AssertEquals(1,Fib(1)); } Int Fib(int n) { if(n==0) return 0; return 1; }