? 2008 BUPT TSEG
软件工程模型与方法
Models & Methods of Software
Engineering
第十二章 软件测试修佳鹏 xiujiapeng@bupt.cn
2? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心本章内容
12.1 软件测试基础
12.2 软件测试方法与技术
12.3 软件测试过程
12.4 面向对象的测试方法
12.5 程序的静态分析方法
12.6 软件调试方法
12.7 软件测试工具
12.8 软件的可靠性
3? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1 软件测试基础
本节内容
12.1.1 软件测试概述
12.1.2 软件的可测试性
12.1.3 软件测试的对象
12.1.4 软件测试信息流
12.1.5 软件测试步骤
12.1.6 软件测试流程
12.1.7 软件测试与软件开发各阶段的关系
12.1.8 程序错误的分类
4? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.1 软件测试概述
软件测试是为了发现错误而执行程序的过程 。
软件测试在软件生存期中横跨两个阶段:
单元测试
综合测试
软件测试的目的:
测试是程序的执行过程,目的在于发现错误,而不是证明软件的正确
一个好的测试用例在于能发现至今未发现的错误
一个成功的测试是发现了至今未发现的错误的测试。
5? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.1 软件测试概述
软件测试的原则,
应当尽早地和不断地进行软件测试
测试用例应由测试输入数据和与之对应的预期输出结果这两部分组成
程序员应避免测试自己的程序
在设计测试用例时,应当包括合理的输入条件和不合理的输入条件
充分注意测试中的群集现象
严格执行测试计划,排除测试的随意性
应当对每一个测试结果做全面检查
妥善保存测试计划,测试用例,出错统计和最终分析报告,为维护提供方便。
6? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.2 软件的可测试性
影响软件可测试性的因素,
可操作性,运行的越好,被测试的效率越高
可观察性,所看见的就是所测试的
可控制性,对软件的控制越好,测试越能被自动执行与优化
可分解性,通过控制测试范围,能够更快地分解问题
,执行更灵巧的再测试
简单性,需要测试的内容越少,测试的速度越快
稳定性,改变越小,对测试的破坏越小
易理解性,得到的信息越多,进行的测试越灵巧
7? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.3 软件测试的对象
软件测试并不等于程序测试,应该贯穿于软件开发的整个期间。
需求分析、概要设计、详细设计以及程序编码等各个阶段所得到的文档,都应该成为测试的对象。
为了把握各个环节的正确性,人们需要进行各种确认和验证工作:
确认( Validation):是一系列的活动和过程,其目的是证实在一个给定的外部环境中软件的逻辑正确性。
需求规格说明的确认
程序的确认
验证( Verification):试图证明在软件生存期各个阶段
,以及阶段间的逻辑协调性、完备性和正确性。
8? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.3 软件测试的对象用户要求用户,我要什么?
运行结果计算机,程序运行得到的结果源程序程序员,我要让计算机什么做?
设计说明书设计员,我要让软件做什么?
需求说明书分析员,我可以提供什么?
1
2 3
4
5理解正确性表达正确性理解正确性设计正确性表达正确性理解正确性编码正确性运行正确性输入正确性相符吗?
9? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.4 软件测试信息流
软件配置,包括软件需求规格说明、软件设计规格说明、源代码等
测试配置,包括测试计划、测试用例、测试驱动程序等
测试工具,测试工具为测试的实施提供某种服务。
10? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.5 软件测试步骤
11? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.6 软件测试流程
理解测试需求
编写测试计划
设计测试方案
开发测试用例
执行软件测试
评估测试效果
编写测试文档
12? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心软件测试文档
,软件测试计划,,根据,系统 /子系统需求规格说明,定义的软件配置项,说明测试项目、测试用例、测试人员,使软件测试能有效地管理和控制。
,软件测试说明,,测试项目的具体分析,区分自动测试和手工测试;构造测试平台;定义测试过程。
,软件测试记录,,执行软件测试用例,记录测试结果。
,软件问题报告,,软件测试的结果汇总,分析软件的质量和存在的问题,并通知开发单位。
,软件问题处理报告,,开发单位根据问题处理得出的解决方法,软件重新提交测试。
,软件测试报告,,是整个测试的总结性文档。
13? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.7软件测试与软件开发各阶段的关系
14? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.8 软件错误的分类
按错误的影响和后果分类,
较小错误:只对系统输出有一些非实质性影响。如,输出的数据格式不合要求等。
中等错误:对系统的运行有局部影响。如输出的某些数据有错误或出现冗余。
较严重错误:系统的行为因错误的干扰而出现明显不合情理的现象。比如开出了 0.00元的支票,系统的输出完全不可信赖。
严重错误:系统运行不可跟踪,一时不能掌握其规律,时好时坏。
非常严重的错误:系统运行中突然停机,其原因不明,无法软启动。
最严重的错误:系统运行导致环境破坏,或是造成事故,
引起生命、财产的损失。
15? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.8 软件错误的分类
按错误的性质和范围分类,
( 1)功能错误,规格说明错误 ;功能错误 ;
测试错误 ;测试标准引起的错误 ;
( 2)系统错误,外部 /内部接口错误;硬件结构错误 ;操作系统错误 ;软件结构错误 ;控制与顺序错误 ;资源管理错误;
( 3)加工错误,算术与操作错误 ;初始化错误 ;控制和次序错误 ;静态逻辑错误 ;
( 4)数据错误,动态 /静态数据错误;数据内容错误 ;数据结构错误 ;数据属性错误 ;
( 5)代码错误,语法错误;打字错误;对语句或指令不正确理解所产生的错误。
16? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.8 软件错误的分类
按软件生存期阶段分类
( 1) 问题定义(需求分析)错误:由于需求分析没有准确定义用户要求
( 2)规格说明错误,规格说明与问题定义不一致;
( 3)设计错误:设计与规格说明不相符
( 4)编码错误:编码未很好实现设计结果,
包括:数据使用类错误、控制流错误、界面错误、输入输出错误等。
17? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2 软件测试方法与技术
本节内容
12.2.1 测试技术分类
12.2.2 白盒测试技术
12.2.3 黑盒测试技术
12.2.4 测试方法选择的综合策略
12.2.5 针对专门环境和应用的测试
18? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.1 测试技术分类
软件测试技术从大的方面可以分为两类:
静态测试:对软件进行分析、检查和审阅,不实际运行被测试的软件。约可找出 30~ 70%的逻辑设计错误
动态测试,通过运行软件来检验软件的动态行为和运行结果的正确性
黑盒测试,已知产品的功能设计规格,可以进行测试证明每个实现了的功能是否符合要。
白盒测试,已知产品的内部工作过程,可以通过测试证明每种内部操作是否符合设计规格的要求。
19? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心黑盒测试
黑盒测试,在不考虑程序内部结构和内部特征的情况下,根据软件产品的功能设计规格说明,在计算机上进行测试,以证实每个实现了的功能是否符合要求。又叫做功能测试、数据驱动测试或基于规格说明的测试 。
黑盒测试主要是为了发现以下几类错误:
功能错误或遗漏
输入和输出接口的正确性
数据结构或外部信息访问错误
性能要求满足情况
初始化或终止性错误
20? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心白盒测试
白盒测试,指根据软件产品的内部工作过程,在计算机上进行测试,以证实每种内部操作是否符合设计规格要求,所有内部成分是否已经过检查
。又称为结构测试、逻辑驱动测试或基于程序的测试 。
白盒测试方法主要对程序模块进行如下检查:
程序模块所有独立执行路径至少测试一次
所有逻辑判定分支至少测试一次
循环边界和运行界限内执行情况
程序内部数据结构的有效性
21? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心黑盒测试与白盒测试的比较
22? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心测试用例的选择
唯一能够保证程序正确的测试方法就是“穷举测试”,但是对于一般的软件系统,无论是黑盒测试还是白盒测试,可能的测试用例都是天文数字。
假设一个程序 P有输入 X和 Y及输出 Z,
字长为 32位的计算机上运行。
如果 X,Y只取整数,考虑把所有的 X、
Y值都作为测试数据,测试数据组( Xi,
Yi)的最大可能数目为:
232× 232= 264。
如果程序 P测试一组 X,Y数据需要 1毫秒,且一天工作 24小时,一年工作 365
天,要完成 264组测试,需要 5亿年。
23? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心测试用例的选择
任何软件开发项目都要受到期限、费用、人力和机时等条件的限制,实行穷举测试工作量过大,
实施起来是不现实的。
测试用例的选择是测试中最为关键的工作。
为了节省时间和资源,提高测试效率,必须从数量极大的可用测试用例中精心地挑选 少量的测试数据,使得采用这些测试数据能够 达到最佳的测试效果,于是人们对如何挑选有效的测试用例进行了研究,下面就分别介绍几种行之有效的测试用例设计方法。
24? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.2白盒测试技术
基本白盒测试技术:
1.逻辑覆盖
2.基本路径测试
3.控制结构测试
25? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
1.逻辑覆盖
逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的一种白盒测试技术。
可分为:
语句覆盖
判定覆盖
判定-条件覆盖
条件组合覆盖
路径覆盖
26? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心语句覆盖
语句覆盖,语句覆盖就是设计若干个测试用例,运行被测程序,使得 每一可执行语句至少执行一次。 这种覆盖又称为点覆盖,它使得程序中每个可执行语句都得到执行。
测试用例:
A=2,B=0,X=4
语句覆盖是最弱的逻辑覆盖准则。
27? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心判定覆盖
判定覆盖:判定覆盖就是设计若干个测试用例,运行被测程序,使得程序中 每个判断的取真分支和取假分支至少经历一次。
测试用例:
A=3,B=0,X=3 可覆盖 a,c,d分支
A=2,B=1,X=1 可覆盖 a,b,e分支
判定覆盖只比语句覆盖稍强一些,但还是很弱。
28? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心条件覆盖
条件覆盖:条件覆盖就是设计若干个测试用例,运行被测程序,使得程序中 每个判断的每个条件的可能取值至少执行一次。
29? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心判定-条件覆盖
判定-条件覆盖,判定-条件覆盖就是设计足够的测试用例,使得判断中每个条件的所有可能取值至少执行一次,同时每个判断本身的所有可能判断结果至少执行一次。
30? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心多重条件覆盖
多重条件覆盖,多重条件覆盖就是设计足够的测试用例
,运行被测程序,使得每个判断的条件结果的所有可能取值组合至少执行一次。
31? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心路径测试
路径测试,路径测试就是设计足够的测试用例,覆盖程序中所有可能的路径 ;
路径测试是最强的覆盖准则
。
32? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
2.基本路径测试
路径测试是最强的覆盖准则,但实际上,
一个不太复杂的程序,路径数都是非常庞大的,所以真正做到完全路径覆盖是很困难的,必须把覆盖路径数目压缩到一定限度。
基本路径测试是在 程序控制流图 的基础上
,通过分析控制构造的环路复杂性,导出基本可执行路径集合,从而设计测试用例的方法。
33? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心基本路径测试步骤
( 1) 导出程序流程图的拓扑结构 -流图 (程序图 )
( 2)计算流图 G的环路复杂度 V(G)
( 3)确定只包含独立路径的基本路径集
( 4)设计测试用例
34? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心导出 程序的控制流图
35? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心计算程序环路复杂性
进行程序的基本路径测试时,程序的 环路复杂性给出了程序基本路径集合中的独立路径条数,这是确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上界。
所谓独立路径,是指包括一组以前没有处理的语句或条件的一条路径。
通常环路复杂性可用以下三种方法求得,
将环路复杂性定义为控制流图中的区域数。
设 E为控制流图的边数,N为图的结点数,则定义环路复杂性为 V(G)= E- N+ 2。
若设 P为控制流图中的判定结点数,则有 V(G)= P+ 1
。
36? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心基本路径集
path1,1 - 11
path2,1 - 2 - 3 - 4 - 5 - 10 - 1 - 11
path3,1 - 2 - 3 - 6 - 8 - 9 - 10 - 1 - 11
path4,1 - 2 - 3 - 6 - 7 - 9 - 10 - 1 - 11
37? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心导出测试用例
采用基本路径法导出测试用例的步骤为:
以详细设计或源代码为基础,导出程序的控制流图;
计算得到的控制流图 G的环路复杂性 V( G);
确定现行无关的路径基本集;
利用逻辑覆盖方法生成测试用例,确保基本路径集中每条路径的执行。
38? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
3.控制结构测试
关于分支结构路径数的讨论嵌套型分支若有 n
个判定语句,则需要 n+1个测试用例连锁型分支若有 n
个判定语句,则需要 2n个测试用例
39? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心减少测试用例
为减少测试用例的数目,可采用试验设计法,抽取部分路径进行测试。
1)设耦合型分支结构中有 n个判定,计算满足关系式 n+1≤2m的最小自然数 m;
2)设 t = 2m,取正交表 Lt,并利用它设计测试数据。
40? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心条件测试的策略
程序中的条件分为简单条件和复合条件。
简单条件是一个布尔变量或一个关系表达式(可加前缀 NOT);
复合条件由简单条件通过逻辑运算符( AND,OR
,NOT)和括号连接而成。
如果条件出错,至少是条件中某一成分有错。
条件中可能的出错类型有:布尔运算符错、布尔变量错、布尔括号错、关系运算符错、算术表达式错。
41? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
BRO 测试法
BRO(分支与关系运算符)测试法可以发现多个布尔运算符或关系运算符错,以及其它错误。
BRO策略引入条件约束的概念。
设有 n个简单条件的复合条件 C,其条件约束为 D =
( D1,D2,…,Dn ),其中 Di( 1≤i≤n)是条件 C中第 i个简单条件的输出约束。如果在 C的执行过程中
,其每个简单条件的输出都满足 D中对应的约束,
则称条件 C的条件约束 D由 C的执行所覆盖。特别地
,布尔变量或布尔表达式的输出约束必须是真( t
)或假( f);关系表达式的输出约束为符号 >,=
,<。
42? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心循环测试
43? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心简单循环测试
对于简单循环,测试应包括以下几种。其中的 n
表示循环允许的最大次数。
零次循环:从循环入口直接跳到循环出口。
一次循环:查找循环初始值方面的错误。
二次循环:检查在多次循环时才能暴露的错误。
m次循环:此时的 m< n,也是检查在多次循环时才能暴露的错误。
最大次数循环、比最大次数多一次的循环、比最大次数少一次的循环。
44? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心嵌套循环测试
对于嵌套循环,不能将简单循环的测试方法简单地扩大到嵌套循环,因为可能的测试数目将随嵌套层次的增加呈几何倍数增长。这可能导致一个天文数字的测试数目。下面给出一种有助于减少测试数目的测试方法。
除最内层循环外,从最内层循环开始,置所有其它层的循环为最小值;
对最内层循环做简单循环的全部测试。测试时保持所有外层循环的循环变量为最小值。另外,对越界值和非法值做类似的测试。
逐步外推,对其外面一层循环进行测试。测试时保持所有外层循环的循环变量取最小值,所有其它嵌套内层循环的循环变量取“典型”值。
反复进行,直到所有各层循环测试完毕。
对全部各层循环同时取最小循环次数,或者同时取最大循环次数。对于后一种测试,由于测试量太大,需人为指定最大循环次数。
45? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心连锁与非结构循环测试
对于连锁循环,要区别两种情况。如果各个循环互相独立,则连锁循环可以用与简单循环相同的方法进行测试。但如果几个循环不是互相独立的,则需要使用测试嵌套循环的办法来处理。
对于非结构循环,应该使用结构化程序设计方法重新设计测试用例。
46? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.3黑盒测试技术
1.等价类划分
2.边界值分析
3.错误推测法
4.因果图法
47? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
1.等价类划分
等价类划分是一种典型的黑盒测试方法。
该方法是把所有可能的输入数据划分为若干部分
,从每一部分中选取少数有代表性的数据作为测试用例。
所谓等价类是指某个输入域的子集合,在该子集合中,各个输入数据对于揭露程序中的错误都是等效的 。 并合理地假定:测试某等价类的代表值就等价于对这一类其它值的测试。
采用等价类方法测试系统步骤:
( 1)划分等价类
( 2)确定测试用例
48? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心划分等价类
等价类的划分有两种不同的情况:
有效等价类:是指对于程序规格说明来说
,是合理的,有意义的输入数据构成的集合。利用它,可以检验程序是否实现了规格说明预先规定的功能和性能。
无效等价类:是指对于程序规格说明来说
,是不合理的,无意义的输入数据构成的集合。利用它,可以检查程序中功能和性能的实现是否有不符合规格说明要求的地方。
49? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心划分等价类的原则
1)按区间划分:如果可能的输入数据属于一个取值范围或值的个数限制范围,则可以确立一个有效等价类和两个无效等价类。例如对于学生成绩,有效范围为 0~100,则划分一个有效等价类,0≤成绩 ≤100”和两个无效等价类“
成绩 >100”、“成绩 <0”,如图所示:
0 100
无效等价类?|? 有效等价类?|?无效等价类
2)按数值集合划分:如果输入条件规定了输入数据的集合,则可划分一个有效等价类和一个无效等价类,有效等价类就是所有符合输入条件的数据,无效等价类是所有不允许输入值的集合。
3)如果输入条件是一个布尔量,则可以确定一个有效等价类和一个无效等价类。
50? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心划分等价类的原则
4)按数值划分:如果规定了输入数据的一组值,而且程序要对每个输入值分别进行处理,这时可以为每一个输入值确立一个有效等价类,确立一个无效等价类,包含所有不允许输入的数值。例如输入条件说明学历可为:专科、
本科,硕士、博士四种之一,则分别取这四个值作为四个有效等价类,另外把四种学历之外的任何输入作为无效等价类。
5)按限制条件或规则划分:如果规定了输入数据必须遵守的规则或限制条件,则可以确立一个有效等价类(符合规则)和若干个无效等价类(从不同角度违反规则)。
6)如果已划分的等价类中各元素在程序中的处理方式不同,则应将此等价类进一步划分成更小的等价类。
51? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心确定测试用例
( 1)形成等价类表,每一等价类规定一个唯一的编号;
( 2)设计一个测试用例,使其尽可能多地覆盖尚未覆盖的有效等价类,重复这一步骤,直到所有有效等价类均被测试用例所覆盖。
( 3)设计一新测试用例,使其只覆盖一个无效等价类,重复这一步骤直到所有无效等价类均被覆盖。
52? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心等价类划分举例
一个程序从屏幕读入三个整数,程序把此三个数值看成是一个三角形的三个边,经过程序的判断,在屏幕上打印输出这个三角形的类型,包括等腰三角形、等边三角形、普通三角形。
为了测试上述程序功能是否正确,采用等价类划分的方法设计有效和无效等价类。
53? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
设三角形的三条边分别为 A,B,C。如果它们能够构成三角形的三条边,必需满足:
A > 0,B > 0,C > 0,且 A + B > C,B + C > A
,A + C > B。
如果是等腰的,还要判断是否 A = B,或 B = C
,或 A = C。
对于等边的,则需判断是否 A = B,且 B = C,
且 A = C。
54? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心识别等价类输入条件 有效等价类 无效等价类是否三角形的三条边
(A > 0) (1),
(B > 0) (2),
(C > 0) (3),
(A + B > C)(4),
(B + C > A) (5),
(A + C > B) (6)
A? 0 (7),
B? 0 (8),
C? 0 (9),
A + B? C (10),
A + C? B (11),
B + C? A (12)
是否等腰三角形
(A = B) (13),
(B = C) (14),
(A = C) (15)
(A? B) and (B? C) and
(A? C) (16)
是否等边三角形
(A = B) and (B = C) and
(A = C)
(17)
(A? B) (18),
(B? C) (19),
(A? C) (20)
55? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心设计测试用例序号 输入 【 A,B,C】 覆盖等价类 输出
1 【 3,4,5】 (1)(2)(3)(4)(5)(6) 普通三角形
2 【 0,1,2】 (7) 不能构成三角形
3 【 1,0,2】 (8)
4 【 1,2,0】 (9)
5 【 1,2,3】 (10)
6 【 1,3,2】 (11)
7 【 3,1,2】 (12)
8 【 3,3,4】 (1)(2)(3)(4)(5)(6)(13) 等腰三角形
9 【 3,4,4】 (1)(2)(3)(4)(5)(6)(14)
10 【 3,4,3】 (1)(2)(3)(4)(5)(6)(15)
11 【 3,4,5】 (1)(2)(3)(4)(5)(6)(16) 非等腰三角形
12 【 3,3,3】 (1)(2)(3)(4)(5)(6)(17) 等边三角形
13 【 3,4,4】 (1)(2)(3)(4)(5)(6)(14)(18) 非等边三角形
14 【 3,4,3】 (1)(2)(3)(4)(5)(6)(15)(19)
15 【 3,3,4】 (1)(2)(3)(4)(5)(6)(13)(20)
56? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
2.边界值分析
人们从长期的测试工作经验得知,大量的错误是发生在输入或输出范围的边界上,
而不是在输入范围的内部。
通常输入等价类与输出等价类的边界,就是应着重测试的边界情况。
应当选取正好等于,刚刚大于,或刚刚小于边界的值作为测试数据,而不是选取等价类中的典型值或任意值作为测试数据。
57? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心边界值分析法原则
如果输入条件规定了值的范围,则应选取刚达到这个范围的边界值,以及刚刚超过这个范围的边界值作为测试输入数据
如果输入条件规定了值的个数,则用最大个数、最小个数、比最大个数多 1、比最小个数少 1的数作为测试用例
如果输出结果限定在某个范围内,则应选取测试用例,使输出结果刚刚达到这个范围的边界值,或刚刚超过这个边界值
如果输出结果规定了个数,则选用使输出结果为最大个数、最小个数、比最大个数多 1、比最小个数少 1的数作为测试用例
如果输入与输出是有序集合,则应选取集合的第一个元素和最后一个元素作为测试用例
如果程序中使用了一个内部数据结构,则应当选择这个内部数据结构的边界的值作为测试用例
分析规格说明书,找到其他可能的边界条件进行测试。
58? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
3.错误推测法
错误推测法的基本想法是:
列举出程序中所有可能有的错误和容易发生错误的特殊情况,根据它们选择测试用例。 例如:
输入输出为 0
输入表格为空
排序中输入空、一个数据、相等数据、顺序数据、逆序数据等情况
59? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
4.因果图法
在测试时必须考虑输入条件的各种组合,
可能的组合数将是天文数字。因此必须考虑使用一种适合于描述对于多种条件的组合,相应产生多个动作的形式来考虑设计测试用例,这就需要利用因果图。
因果图方法最终生成的就是判定表。它适合于检查程序输入条件的各种组合情况。
60? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心因果图生成步骤
( 1)分析软件规格说明描述中,哪些是原因(即输入条件或输入条件的等价类),哪些是结果(即输出条件),并给每个原因和结果赋予一个标识符;
( 2)分析软件规格说明描述中的语义,找出原因与结果之间,原因与原因之间对应的关系,根据这些关系,画出因果图 ;
( 3)由于语法或环境限制,有些原因与原因之间,原因与结果之间的组合情况不可能出现。为表明这些特殊情况,在因果图上用一些记号标明约束或限制条件;
( 4)把因果图转换成判定表;
( 5)把判定表的每一列拿出来作为依据,设计测试用例;
61? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
在因果图中,用 Ci表示原因,Ei表示结果,主要的原因和结果之间的关系有:
恒等:若原因出现,则结果出现。若原因不出现,则结果也不出 现。
非:若原因出现,则结果不出现。若原因不出现,反而结果出现 。
或( ∨ ):若几个原因中有一个出现,则结果出现,几个原因都不出现,结果不出现。
与( ∧ ):若几个原因都出现,结果才出现。若其中有一个原因不出现,结果不出现。
62? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
为了表示原因与原因之间,结果与结果之间可能存在的约束条件,在因果图中可以附加一些表示约束条件的符号,
E(互斥):表示 a,b两个原因不会同时成立,两个中最多有一个可能成立。
I(包含):表示 a,b,c三个原因中至少有一个必须成立。
O(唯一):表示 a和 b当中必须有一个,且仅有一个成立。
R(要求):表示当 a出现时,b必须也出现。不可能 a出现,b不出现。
M(屏蔽):表示当 a是 1时,b必须是 0。而当 a为 0时,b的值不定。
63? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心因果图法举例
【 例 】 有一个处理单价为 5角钱的饮料的自动售货机软件测试用例的设计。 其规格说明如下:
,若投入 5角钱或 1元钱的硬币,按下 〖 橙汁
〗 或 〖 啤酒 〗 的按钮,则相应的饮料就送出来。
若售货机没有零钱找,则一个显示 〖 零钱找完 〗 的红灯亮,这时再投入 1元硬币并按下按钮后,饮料不送出来而且 1元硬币也退出来;
若有零钱找,则显示 〖 零钱找完 〗 的红灯灭
,在送出饮料的同时退还 5角硬币。”
64? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
( 1)分析这一段说明,列出原因和结果
65? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
( 2)画出因果图
( 3)由于 2 与 3,4 与 5 不能同时发生,分别加上约束条件 E
( 4)转换成判定表
66? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
在判定表中,阴影部分表示因违反约束条件的不可能出现的情况,删去
67? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.4 测试方法选择的综合策略
Myers提出使用各种测试方法的综合策略
:
在任何情况下都必须使用边界值分析方法
必要时用等价类划分方法补充一些测试用例
用错误推测法再追加一些测试用例
对照程序逻辑,检查已设计出的测试用例的逻辑覆盖程度
如果程序的功能说明中含有输入条件的组合情况,则一开始就可选用因果图法。
68? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.5 针对专门环境和应用的测试
1,GUI测试
图形用户界面( GUI)对软件工程师提出了有趣的挑战,因为 GUI开发环境有可复用的构件,开发用户界面更加省时和精确
,但同时 GUI的复杂性也增加了,从而增加了设计和执行测试用例的难度。
窗口
下拉式菜单和鼠标操作
数据项
69? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.5针对专门环境和应用的测试
2.客户 /服务器( C/S)软件测试
客户 /服务器( C/S)软件系统是比较复杂的软件产品,其具有的分布性、事物处理相关性、跨平台性、网络通讯的复杂性、中心数据库为多个客户服务和服务器的协调一致性等特点,使得对 C/S
结构的软件系统测试非常困难。
C/S常用测试方法包括:
客户端应用功能测试;
服务器测试(协调和数据管理功能、性能);
数据库测试;
事务测试;
网络通信测试。
70? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.5针对专门环境和应用的测试
3.实时系统测试
实时系统的时间依赖性和异步性给软件测试带来新的困难 —— 时间。测试用例设计者考虑的不仅是白盒和黑盒测试用例,而且包括事件处理 (如中断处理 )、数据的时间安排以及处理数据的任务 (进程 )的并发性。
另外、实时系统的软件和硬件之间的密切关系也会导致测试问题,软件测试必须考虑硬件故障对软件处理的影响。
71? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3软件测试过程
本节内容
12.3.1 单元测试
12.3.2 集成测试
12.3.3 确认测试
12.3.4 系统测试
12.3.5 何时停止测试
72? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.1单元测试
单元测试又称为模块测试,是针对程序模块进行正确性检验的测试。其目的在于发现各模块内部可能存在的各种差错。
单元测试主要采用白盒测试为主、黑盒测试为辅的测试方法。
模块错误处理 模块接口 局部数据结构重要的执行路径 边界条件
73? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心单元测试的步骤
单元测试在编码阶段进行,是编码步骤的附属部分。
单元测试需要编写一些辅助模块去模拟与被测模块相联系的其它模块 。 模块并不是一个独立的程序。
74? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心驱动模块与桩模块
这些辅助模块分为两种:
驱动模块( driver),相当于被测模块的主程序。
它接收测试数据,把这些数据传送给被测模块,最后输出实测结果。
桩模块( stub),也叫做存根模块,用以代替被测模块调用的子模块。桩模块可以做少量的数据操作
,不需要把子模块所有功能都带进来,但不允许什么事情也不做。
75? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.2集成测试
在单元测试的基础上,需要将所有模块按照设计要求组装成为系统。
模块组装成为系统有两种方式:
一次性集成方式
增殖式集成方式
自顶向下的增殖方式
自底向上的增殖方式
混合增殖式测试
三种常见的综合增殖方式,
衍变的自顶向下的增殖测试
自底向上 -自顶向下的增殖测试
回归测试
76? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.3确认测试
确认测试又称有效性测试,它的任务是验证软件的有效性,即验证软件的功能和性能及其它特性是否与用户的要求一致。
77? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.3确认测试
进行有效性测试(功能测试)
有效性测试是在模拟的环境(可能就是开发的环境)下,运用黑盒测试的方法,验证被测软件是否满足需求规格说明书列出的需求。
软件配置复查
软件配置复查的目的是保证软件配置的所有成分都齐全,各方面的质量都符合要求
,具有维护阶段所必需的细节,而且已经编排好分类的目录。
78? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.3确认测试
α测试和 β测试
α测试是由一个用户在开发环境下进行的测试
,也可以是公司内部的用户在模拟实际操作环境下进行的测试。这是在受控制的环境下进行的测试 。
β测试是由软件的多个用户在一个或多个用户的实际使用环境下进行的测试。与 α测试不同的是,开发者通常不在测试现场 。 β测试是在开发者无法控制的环境下进行的软件现场应用
。
验收测试
验收测试是以用户为主的测试。软件开发人员和 QA(质量保证)人员也应参加。
79? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.4 系统 测试
所谓系统测试,是将通过确认测试的软件,作为基于计算机系统的一个元素,与计算机硬件、外设、
某些支持软件、数据和人员等其它系统元素结合在一起,在实际运行(使用)环境下,对计算机系统进行一系列的组装测试和确认测试。
系统测试的目的在于通过与系统的需求定义作比较
,发现软件与系统定义不符合或与之矛盾的地方
恢复测试
压力测试
性能测试
安全测试
80? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.5 何时停止 测试
Musa 和 Ackerman[ MUS89]提出,“我们不能绝对地认定软件永远也不会再出错,但是相对于一个理论上合理的和在试验中有效的统计模型来说,如果一个在按照概率的方法定义的环境中
,1000 个 CPU 小时内不出错的操作概率大于
0.995 的话,那么我们就有 95%的信心说我们已经进行了足够的测试。”
一个称为对数泊松执行时间模型 (logarithmic
Poisson execution-time model)的软件故障模型为
:
f(t)=(1/p)1n(l0pt+1)
81? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.5 何时停止 测试
其中:
f(t)=软件在一定的测试时间 t 后,可能会发生故障的预期累计数目。
l0=在测试刚开始时的初始软件故障密度 (单位时间内的故障数 )。
p=错误被发现和修正的过程中故障密度的指数递减值。
瞬时的故障密度,l(t)可以使用 f(t)的导数得出
l(t)=l0/(l0pt+1)
82? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心故障密度作为执行时间的函数
83? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4 面向对象的测试方法
本节内容
12.4.1面向对象测试与传统测试的区别
12.4.2面向对象的测试模型
12.4.3面向对象分析的测试
12.4.4面向对象设计的测试
12.4.5面向对象编程的测试
12.4.6面向对象的单元测试
12.4.7面向对象的集成测试
12.4.8面向对象的系统测试
84? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.1 面向对象测试与传统测试的区别
传统的测试计算机软件的策略是从,小型测试” 开始,逐步走向,大型测试,
首先从单元测试开始,然后逐步进入集成测试,最后是确认和系统测试
面向对象程序的结构不再是传统的功能模块结构,作为一个整体,原有集成测试所要求的逐步将开发的模块搭建在一起进行测试的方法已经不可能
面向对象软件抛弃了传统的开发模式,对每个开发阶段都有不同以往的要求和结果,已经不可能用功能细化的观点来检测面向对象分析和设计的结果
85? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.2 面向对象的测试模型
面向对象的开发模型将开发分为面向对象分析( OOA),面向对象设计( OOD),和面向对象编程( OOP)三个阶段
OOA Test和 OOD Test
是对分析结果和设计结果的测试
OOP Test主要针对编程风格和程序代码实现进行测试
86? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.3 面向对象分析的测试
1.对认定的对象的测试
认定的对象是否全面,是否问题空间中所有涉及到的实例都反映在认定的抽象对象中
认定的对象是否具有多个属性
对认定为同一对象的实例是否有共同的,区别于其他实例的共同属性
如果系统没有必要始终保持对象代表的实例的信息,提供或者得到关于它的服务,认定的对象也无必要
认定的对象的名称应该尽量准确,适用
87? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.3 面向对象分析的测试
2.对认定的结构的测试
在 Coad方法中,认定的结构指的是多种对象的组织方式,用来反映问题空间中的复杂实例和复杂关系
认定的结构分为两种:分类结构和组装结构
3.对认定的主题的测试
贯彻 George Miller 的,7+2”原则,如果主题个数超过 7个,就要求对有较密切属性和服务的主题进行归并
主题所反映的一组对象和结构是否具有相同和相近的属性和服务
认定的主题是否是对象和结构更高层的抽象,是否便于理解 OOA结果的概貌
主题间的消息联系(抽象)是否代表了主题所反映的对象和结构之间的所有关联。
88? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.3 面向对象分析的测试
4.对定义的属性和实例关联的测试
属性是用来描述对象或结构所反映的实例的特性。而实例关联是反映实例集合间的映射关系
5.对定义的服务和消息关联的测试
定义的服务,就是定义的每一种对象和结构在问题空间所要求的行为。由于问题空中实例间必要的通信,在 OOA 中相应需要定义消息关联
89? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.4 面向对象设计的测试
而面向对象设计( OOD)采用,造型的观点
”,以 OOA为基础归纳出类,并建立类结构或进一步构造成类库,实现分析结果对问题空间的抽象
OOD是 OOA的进一步细化和更高层的抽象
对认定的类的测试
对构造的类层次结构的测试
对构造的类层次结构的测试
90? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.5面向对象编程的测试
典型的面向对象程序具有继承、封装和多态的新特性,这使得传统的测试策略必须有所改变
在面向对象编程( OOP)阶段,忽略类功能实现的细则,将测试的目光集中在类功能的实现和相应的面向对象程序风格
数据成员是否满足数据封装的要求
类是否实现了要求的功能
91? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.6面向对象的单元测试
当考虑面向对象软件时,单元测试的对象是类的成员函数
在设计测试用例选择输入数据时,可以基于以下两个假设:
如果函数(程序)对某一类输入中的一个数据正确执行,对同类中的其他输入也能正确执行
如果函数(程序)对某一复杂度的输入正确执行,对更高复杂度的输入也能正确执行
面向对象编程的特性使得对成员函数的测试,又不完全等同于传统的函数或过程测试
Brian Marick 给出了两方面的考虑:
继承的成员函数是否都不需要测试
对父类的测试是否能照搬到子类
92? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.7面向对象的集成测试
传统的集成测试
自顶向下集成
自底向上集成
具体设计测试用例,可参考下列步骤:
先选定检测的类,参考 OOD分析结果,分析出类的状态和相应的行为,类或成员函数间传递的消息,输入或输出的界定等
确定覆盖标准
利用结构关系图确定待测类的所有关联
根据程序中类的对象构造测试用例,确认使用什么输入激发类的状态、使用类的服务和期望产生什么行为等
93? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.8面向对象的系统测试
系统测试应该尽量搭建与用户实际使用环境相同的测试平台,应该保证被测系统的完整性,对临时没有的系统设备部件,也应有相应的模拟手段
系统测试的具体测试内容包括:
功能测试
强度测试
性能测试
安全测试
恢复测试
可用性测试
安装 /卸载测试( install/uninstall test)等等
94? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.5 程序的静态分析方法
本节内容
12.5.1 源程序静态分析
12.5.2 人工测试
95? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.5.1源程序静态分析
1.生成各种引用表
直接从表中查出说明/使用错误等
为用户提供辅助信息
用来做错误预测和程序复杂度计算
2,静态错误分析
类型和单位分析
类型和单位分析
表达式分析
接口分析
96? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.5.2 人工测试
1,桌前检查 ( Desk Checking)
由程序员自己检查自己编写的程序 。 程序员在程序通过编译之后,进行单元测试设计之前,对源程序代码进行分析,检验,并补充相关的文档,目的是发现程序中的错误
2,代码会审 ( Code Reading Review)
代码会审是由若干程序员和测试员组成一个会审小组,通过阅读,讨论和争议,对程序进行静态分析的过程
3,走查 ( Walkthroughs)
97? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.6 软件调试方法
本节内容
12.6.1 调试过程
12.6.2 调试原则
12.6.3 主要调试方法
98? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心软件调试
软件测试的目的是尽可能多地发现软件中的错误,但进一步诊断和改正程序中潜在的错误,则是调试的任务。
调试活动由两部分组成:
( 1)确定程序中可疑错误的确切性质和位置。
( 2)对程序(设计,编码)进行修改,排除这个错误。
通常,调试工作是一个具有很强技巧性的工作。软件运行失效往往只是外部表现,如果要找出真正导致错误的原因,排除潜在的错误,不是一件易事。因此可以说,调试是通过现象,找出原因的一个思维分析的过程,调试的难点是错误的定位。
99? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.6.1 调试过程
调试的执行步骤如下,
从错误的外部表现形式入手,确定程序中出错位置
研究有关部分的程序,找出错误的内在原因
修改设计和代码,以排除这个错误
重复进行暴露了这个错误的原始测试或某些有关测试,以确认该错误是否被排除;是否引进了新的错误
如果所做的修正无效,则撤消这次改动,重复上述过程,直到找到一个有效的解决办法为止
100? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.6.1 调试过程
调试的执行步骤,
101? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.6.2调试原则
1.确定错误的性质和位置的原则
用头脑去分析思考与错误征兆有关的信息
避开死胡同
只把调试工具当作辅助手段来使用
避免用试探法,最多只能把它当作最后手段
2.修改错误的原则
在出现错误的地方,很可能还有别的错误
修改错误的一个常见失误是只修改了这个错误的征兆或这个错误的表现,而没有修改错误的本身
当心修正一个错误的同时有可能会引入新的错误
修改错误的过程将迫使人们暂时回到程序设计阶段
修改源代码程序,不要改变目标代码
102? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.6.3主要调试方法
1,强行排错
这是目前使用较多,效率较低的调试方法 。
它不需要过多的思考,比较省脑筋
2,回溯法排错
这是在小程序中常用的一种有效的排错方法
3,归纳法排错
103? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.6.3主要调试方法
4,演绎法排错
104? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.7软件测试工具
本节内容
12.7.1软件测试工具分类
12.7.2常用的软件测试工具简介
105? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.7.1软件测试工具分类
1.白盒测试工具
2.黑盒测试工具
3.测试管理工具
4.静态分析工具
5.动态测试工具
6.测试数据自动生成工具
7.模块测试台
8.集成测试环境
106? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.7.2常用的软件测试工具简介
1.按照测试功能分类
单元测试工具
C++Test,JUnit
测试管理工具
Suite TestStudio,Testexpert
GUI测试工具
Rational robot
负载性能测试工具
PerfomanceStudio
Web测试工具
SilkTset,SilkPerfomer,Surf,Web Application Stress
缺陷跟踪工具
Rational ClearQuest,Compuware公司的 TrackRecord
107? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.7.2 常用的软件测试工具简介
2.按照软件测试工具开发商分类
Mercury Interactive
Topaz,Astra LoadTest
Rational
Rose,ClearCase
Compuware
BoundsChecker,SmartCheck
Microsoft
NT/2000/XP Resource Kit,Web Application Stress
108? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.8软件的可靠性
本节内容
12.8.1基本概念
12.8.2软件可靠性衡量方法
109? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.8.1基本概念
在衡量一个软件系统优劣的指标:
可用性:指程序在给定的时间点,按照规格说明书的规定,成功运行的概率。
可靠性:指的是程序在给定的时间间隔内,按照规格说明书的规定,成功运行的概率。
可靠性和可用性之间的主要差别是可靠性意味着在 0-t这段时间间隔内系统没有失效,而可用性只意味着在时刻 t,系统是正常运行的。
按照 IEEE的规定
术语“错误”的含义是由开发人员造成的软件差错
术语“故障”的含义是由错误引起的软件的不正确行为
110? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.8.2软件可靠性衡量方法
在软件开发的过程中,利用测试的统计数据,可以估算软件的可靠性,从而控制软件的质量 。
衡量软件可靠性的主要统计指标有:
1.估算平均无故障时间
2.估算软件中故障总数 ET的方法
TcTT ItEIEK 1=M T T F?
111? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
1,估算平均无故障时间
MTTF( Mean Time To Failure)估算公式(
Shooman模型)为:
K 是一个经验常数,美国一些统计数字表明,K的典型值是
200
ET 是测试之前程序中原有的故障总数
IT 是程序长度
t是测试(包括排错)的时间
EC (t) 是在 0~ t期间内检出并排除的故障总数
112? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.8.2软件可靠性衡量方法
设 EC(τ) 是 0~ τ时间内检出并排除的故障总数
,τ是测试时间 (月 ),则在同一段时间 0~ τ内的单条指令累积规范化排除故障数曲线 εc (τ) 为:
εc (τ) = EC (τ)∕IT
TcTT ItEIEK 1=M T T F?
113? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.8.2软件可靠性衡量方法
2,估算软件中故障总数 ET的方法
利用 Shooman模型估算程序中原来错误总量
ET—— 瞬间估算法,
利用植入故障法估算程序中原有故障总数 ET—
— 捕获-再捕获抽样法
Hyman分别测试法
软件工程模型与方法
Models & Methods of Software
Engineering
第十二章 软件测试修佳鹏 xiujiapeng@bupt.cn
2? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心本章内容
12.1 软件测试基础
12.2 软件测试方法与技术
12.3 软件测试过程
12.4 面向对象的测试方法
12.5 程序的静态分析方法
12.6 软件调试方法
12.7 软件测试工具
12.8 软件的可靠性
3? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1 软件测试基础
本节内容
12.1.1 软件测试概述
12.1.2 软件的可测试性
12.1.3 软件测试的对象
12.1.4 软件测试信息流
12.1.5 软件测试步骤
12.1.6 软件测试流程
12.1.7 软件测试与软件开发各阶段的关系
12.1.8 程序错误的分类
4? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.1 软件测试概述
软件测试是为了发现错误而执行程序的过程 。
软件测试在软件生存期中横跨两个阶段:
单元测试
综合测试
软件测试的目的:
测试是程序的执行过程,目的在于发现错误,而不是证明软件的正确
一个好的测试用例在于能发现至今未发现的错误
一个成功的测试是发现了至今未发现的错误的测试。
5? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.1 软件测试概述
软件测试的原则,
应当尽早地和不断地进行软件测试
测试用例应由测试输入数据和与之对应的预期输出结果这两部分组成
程序员应避免测试自己的程序
在设计测试用例时,应当包括合理的输入条件和不合理的输入条件
充分注意测试中的群集现象
严格执行测试计划,排除测试的随意性
应当对每一个测试结果做全面检查
妥善保存测试计划,测试用例,出错统计和最终分析报告,为维护提供方便。
6? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.2 软件的可测试性
影响软件可测试性的因素,
可操作性,运行的越好,被测试的效率越高
可观察性,所看见的就是所测试的
可控制性,对软件的控制越好,测试越能被自动执行与优化
可分解性,通过控制测试范围,能够更快地分解问题
,执行更灵巧的再测试
简单性,需要测试的内容越少,测试的速度越快
稳定性,改变越小,对测试的破坏越小
易理解性,得到的信息越多,进行的测试越灵巧
7? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.3 软件测试的对象
软件测试并不等于程序测试,应该贯穿于软件开发的整个期间。
需求分析、概要设计、详细设计以及程序编码等各个阶段所得到的文档,都应该成为测试的对象。
为了把握各个环节的正确性,人们需要进行各种确认和验证工作:
确认( Validation):是一系列的活动和过程,其目的是证实在一个给定的外部环境中软件的逻辑正确性。
需求规格说明的确认
程序的确认
验证( Verification):试图证明在软件生存期各个阶段
,以及阶段间的逻辑协调性、完备性和正确性。
8? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.3 软件测试的对象用户要求用户,我要什么?
运行结果计算机,程序运行得到的结果源程序程序员,我要让计算机什么做?
设计说明书设计员,我要让软件做什么?
需求说明书分析员,我可以提供什么?
1
2 3
4
5理解正确性表达正确性理解正确性设计正确性表达正确性理解正确性编码正确性运行正确性输入正确性相符吗?
9? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.4 软件测试信息流
软件配置,包括软件需求规格说明、软件设计规格说明、源代码等
测试配置,包括测试计划、测试用例、测试驱动程序等
测试工具,测试工具为测试的实施提供某种服务。
10? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.5 软件测试步骤
11? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.6 软件测试流程
理解测试需求
编写测试计划
设计测试方案
开发测试用例
执行软件测试
评估测试效果
编写测试文档
12? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心软件测试文档
,软件测试计划,,根据,系统 /子系统需求规格说明,定义的软件配置项,说明测试项目、测试用例、测试人员,使软件测试能有效地管理和控制。
,软件测试说明,,测试项目的具体分析,区分自动测试和手工测试;构造测试平台;定义测试过程。
,软件测试记录,,执行软件测试用例,记录测试结果。
,软件问题报告,,软件测试的结果汇总,分析软件的质量和存在的问题,并通知开发单位。
,软件问题处理报告,,开发单位根据问题处理得出的解决方法,软件重新提交测试。
,软件测试报告,,是整个测试的总结性文档。
13? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.7软件测试与软件开发各阶段的关系
14? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.8 软件错误的分类
按错误的影响和后果分类,
较小错误:只对系统输出有一些非实质性影响。如,输出的数据格式不合要求等。
中等错误:对系统的运行有局部影响。如输出的某些数据有错误或出现冗余。
较严重错误:系统的行为因错误的干扰而出现明显不合情理的现象。比如开出了 0.00元的支票,系统的输出完全不可信赖。
严重错误:系统运行不可跟踪,一时不能掌握其规律,时好时坏。
非常严重的错误:系统运行中突然停机,其原因不明,无法软启动。
最严重的错误:系统运行导致环境破坏,或是造成事故,
引起生命、财产的损失。
15? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.8 软件错误的分类
按错误的性质和范围分类,
( 1)功能错误,规格说明错误 ;功能错误 ;
测试错误 ;测试标准引起的错误 ;
( 2)系统错误,外部 /内部接口错误;硬件结构错误 ;操作系统错误 ;软件结构错误 ;控制与顺序错误 ;资源管理错误;
( 3)加工错误,算术与操作错误 ;初始化错误 ;控制和次序错误 ;静态逻辑错误 ;
( 4)数据错误,动态 /静态数据错误;数据内容错误 ;数据结构错误 ;数据属性错误 ;
( 5)代码错误,语法错误;打字错误;对语句或指令不正确理解所产生的错误。
16? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.1.8 软件错误的分类
按软件生存期阶段分类
( 1) 问题定义(需求分析)错误:由于需求分析没有准确定义用户要求
( 2)规格说明错误,规格说明与问题定义不一致;
( 3)设计错误:设计与规格说明不相符
( 4)编码错误:编码未很好实现设计结果,
包括:数据使用类错误、控制流错误、界面错误、输入输出错误等。
17? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2 软件测试方法与技术
本节内容
12.2.1 测试技术分类
12.2.2 白盒测试技术
12.2.3 黑盒测试技术
12.2.4 测试方法选择的综合策略
12.2.5 针对专门环境和应用的测试
18? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.1 测试技术分类
软件测试技术从大的方面可以分为两类:
静态测试:对软件进行分析、检查和审阅,不实际运行被测试的软件。约可找出 30~ 70%的逻辑设计错误
动态测试,通过运行软件来检验软件的动态行为和运行结果的正确性
黑盒测试,已知产品的功能设计规格,可以进行测试证明每个实现了的功能是否符合要。
白盒测试,已知产品的内部工作过程,可以通过测试证明每种内部操作是否符合设计规格的要求。
19? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心黑盒测试
黑盒测试,在不考虑程序内部结构和内部特征的情况下,根据软件产品的功能设计规格说明,在计算机上进行测试,以证实每个实现了的功能是否符合要求。又叫做功能测试、数据驱动测试或基于规格说明的测试 。
黑盒测试主要是为了发现以下几类错误:
功能错误或遗漏
输入和输出接口的正确性
数据结构或外部信息访问错误
性能要求满足情况
初始化或终止性错误
20? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心白盒测试
白盒测试,指根据软件产品的内部工作过程,在计算机上进行测试,以证实每种内部操作是否符合设计规格要求,所有内部成分是否已经过检查
。又称为结构测试、逻辑驱动测试或基于程序的测试 。
白盒测试方法主要对程序模块进行如下检查:
程序模块所有独立执行路径至少测试一次
所有逻辑判定分支至少测试一次
循环边界和运行界限内执行情况
程序内部数据结构的有效性
21? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心黑盒测试与白盒测试的比较
22? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心测试用例的选择
唯一能够保证程序正确的测试方法就是“穷举测试”,但是对于一般的软件系统,无论是黑盒测试还是白盒测试,可能的测试用例都是天文数字。
假设一个程序 P有输入 X和 Y及输出 Z,
字长为 32位的计算机上运行。
如果 X,Y只取整数,考虑把所有的 X、
Y值都作为测试数据,测试数据组( Xi,
Yi)的最大可能数目为:
232× 232= 264。
如果程序 P测试一组 X,Y数据需要 1毫秒,且一天工作 24小时,一年工作 365
天,要完成 264组测试,需要 5亿年。
23? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心测试用例的选择
任何软件开发项目都要受到期限、费用、人力和机时等条件的限制,实行穷举测试工作量过大,
实施起来是不现实的。
测试用例的选择是测试中最为关键的工作。
为了节省时间和资源,提高测试效率,必须从数量极大的可用测试用例中精心地挑选 少量的测试数据,使得采用这些测试数据能够 达到最佳的测试效果,于是人们对如何挑选有效的测试用例进行了研究,下面就分别介绍几种行之有效的测试用例设计方法。
24? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.2白盒测试技术
基本白盒测试技术:
1.逻辑覆盖
2.基本路径测试
3.控制结构测试
25? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
1.逻辑覆盖
逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的一种白盒测试技术。
可分为:
语句覆盖
判定覆盖
判定-条件覆盖
条件组合覆盖
路径覆盖
26? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心语句覆盖
语句覆盖,语句覆盖就是设计若干个测试用例,运行被测程序,使得 每一可执行语句至少执行一次。 这种覆盖又称为点覆盖,它使得程序中每个可执行语句都得到执行。
测试用例:
A=2,B=0,X=4
语句覆盖是最弱的逻辑覆盖准则。
27? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心判定覆盖
判定覆盖:判定覆盖就是设计若干个测试用例,运行被测程序,使得程序中 每个判断的取真分支和取假分支至少经历一次。
测试用例:
A=3,B=0,X=3 可覆盖 a,c,d分支
A=2,B=1,X=1 可覆盖 a,b,e分支
判定覆盖只比语句覆盖稍强一些,但还是很弱。
28? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心条件覆盖
条件覆盖:条件覆盖就是设计若干个测试用例,运行被测程序,使得程序中 每个判断的每个条件的可能取值至少执行一次。
29? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心判定-条件覆盖
判定-条件覆盖,判定-条件覆盖就是设计足够的测试用例,使得判断中每个条件的所有可能取值至少执行一次,同时每个判断本身的所有可能判断结果至少执行一次。
30? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心多重条件覆盖
多重条件覆盖,多重条件覆盖就是设计足够的测试用例
,运行被测程序,使得每个判断的条件结果的所有可能取值组合至少执行一次。
31? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心路径测试
路径测试,路径测试就是设计足够的测试用例,覆盖程序中所有可能的路径 ;
路径测试是最强的覆盖准则
。
32? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
2.基本路径测试
路径测试是最强的覆盖准则,但实际上,
一个不太复杂的程序,路径数都是非常庞大的,所以真正做到完全路径覆盖是很困难的,必须把覆盖路径数目压缩到一定限度。
基本路径测试是在 程序控制流图 的基础上
,通过分析控制构造的环路复杂性,导出基本可执行路径集合,从而设计测试用例的方法。
33? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心基本路径测试步骤
( 1) 导出程序流程图的拓扑结构 -流图 (程序图 )
( 2)计算流图 G的环路复杂度 V(G)
( 3)确定只包含独立路径的基本路径集
( 4)设计测试用例
34? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心导出 程序的控制流图
35? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心计算程序环路复杂性
进行程序的基本路径测试时,程序的 环路复杂性给出了程序基本路径集合中的独立路径条数,这是确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上界。
所谓独立路径,是指包括一组以前没有处理的语句或条件的一条路径。
通常环路复杂性可用以下三种方法求得,
将环路复杂性定义为控制流图中的区域数。
设 E为控制流图的边数,N为图的结点数,则定义环路复杂性为 V(G)= E- N+ 2。
若设 P为控制流图中的判定结点数,则有 V(G)= P+ 1
。
36? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心基本路径集
path1,1 - 11
path2,1 - 2 - 3 - 4 - 5 - 10 - 1 - 11
path3,1 - 2 - 3 - 6 - 8 - 9 - 10 - 1 - 11
path4,1 - 2 - 3 - 6 - 7 - 9 - 10 - 1 - 11
37? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心导出测试用例
采用基本路径法导出测试用例的步骤为:
以详细设计或源代码为基础,导出程序的控制流图;
计算得到的控制流图 G的环路复杂性 V( G);
确定现行无关的路径基本集;
利用逻辑覆盖方法生成测试用例,确保基本路径集中每条路径的执行。
38? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
3.控制结构测试
关于分支结构路径数的讨论嵌套型分支若有 n
个判定语句,则需要 n+1个测试用例连锁型分支若有 n
个判定语句,则需要 2n个测试用例
39? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心减少测试用例
为减少测试用例的数目,可采用试验设计法,抽取部分路径进行测试。
1)设耦合型分支结构中有 n个判定,计算满足关系式 n+1≤2m的最小自然数 m;
2)设 t = 2m,取正交表 Lt,并利用它设计测试数据。
40? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心条件测试的策略
程序中的条件分为简单条件和复合条件。
简单条件是一个布尔变量或一个关系表达式(可加前缀 NOT);
复合条件由简单条件通过逻辑运算符( AND,OR
,NOT)和括号连接而成。
如果条件出错,至少是条件中某一成分有错。
条件中可能的出错类型有:布尔运算符错、布尔变量错、布尔括号错、关系运算符错、算术表达式错。
41? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
BRO 测试法
BRO(分支与关系运算符)测试法可以发现多个布尔运算符或关系运算符错,以及其它错误。
BRO策略引入条件约束的概念。
设有 n个简单条件的复合条件 C,其条件约束为 D =
( D1,D2,…,Dn ),其中 Di( 1≤i≤n)是条件 C中第 i个简单条件的输出约束。如果在 C的执行过程中
,其每个简单条件的输出都满足 D中对应的约束,
则称条件 C的条件约束 D由 C的执行所覆盖。特别地
,布尔变量或布尔表达式的输出约束必须是真( t
)或假( f);关系表达式的输出约束为符号 >,=
,<。
42? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心循环测试
43? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心简单循环测试
对于简单循环,测试应包括以下几种。其中的 n
表示循环允许的最大次数。
零次循环:从循环入口直接跳到循环出口。
一次循环:查找循环初始值方面的错误。
二次循环:检查在多次循环时才能暴露的错误。
m次循环:此时的 m< n,也是检查在多次循环时才能暴露的错误。
最大次数循环、比最大次数多一次的循环、比最大次数少一次的循环。
44? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心嵌套循环测试
对于嵌套循环,不能将简单循环的测试方法简单地扩大到嵌套循环,因为可能的测试数目将随嵌套层次的增加呈几何倍数增长。这可能导致一个天文数字的测试数目。下面给出一种有助于减少测试数目的测试方法。
除最内层循环外,从最内层循环开始,置所有其它层的循环为最小值;
对最内层循环做简单循环的全部测试。测试时保持所有外层循环的循环变量为最小值。另外,对越界值和非法值做类似的测试。
逐步外推,对其外面一层循环进行测试。测试时保持所有外层循环的循环变量取最小值,所有其它嵌套内层循环的循环变量取“典型”值。
反复进行,直到所有各层循环测试完毕。
对全部各层循环同时取最小循环次数,或者同时取最大循环次数。对于后一种测试,由于测试量太大,需人为指定最大循环次数。
45? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心连锁与非结构循环测试
对于连锁循环,要区别两种情况。如果各个循环互相独立,则连锁循环可以用与简单循环相同的方法进行测试。但如果几个循环不是互相独立的,则需要使用测试嵌套循环的办法来处理。
对于非结构循环,应该使用结构化程序设计方法重新设计测试用例。
46? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.3黑盒测试技术
1.等价类划分
2.边界值分析
3.错误推测法
4.因果图法
47? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
1.等价类划分
等价类划分是一种典型的黑盒测试方法。
该方法是把所有可能的输入数据划分为若干部分
,从每一部分中选取少数有代表性的数据作为测试用例。
所谓等价类是指某个输入域的子集合,在该子集合中,各个输入数据对于揭露程序中的错误都是等效的 。 并合理地假定:测试某等价类的代表值就等价于对这一类其它值的测试。
采用等价类方法测试系统步骤:
( 1)划分等价类
( 2)确定测试用例
48? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心划分等价类
等价类的划分有两种不同的情况:
有效等价类:是指对于程序规格说明来说
,是合理的,有意义的输入数据构成的集合。利用它,可以检验程序是否实现了规格说明预先规定的功能和性能。
无效等价类:是指对于程序规格说明来说
,是不合理的,无意义的输入数据构成的集合。利用它,可以检查程序中功能和性能的实现是否有不符合规格说明要求的地方。
49? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心划分等价类的原则
1)按区间划分:如果可能的输入数据属于一个取值范围或值的个数限制范围,则可以确立一个有效等价类和两个无效等价类。例如对于学生成绩,有效范围为 0~100,则划分一个有效等价类,0≤成绩 ≤100”和两个无效等价类“
成绩 >100”、“成绩 <0”,如图所示:
0 100
无效等价类?|? 有效等价类?|?无效等价类
2)按数值集合划分:如果输入条件规定了输入数据的集合,则可划分一个有效等价类和一个无效等价类,有效等价类就是所有符合输入条件的数据,无效等价类是所有不允许输入值的集合。
3)如果输入条件是一个布尔量,则可以确定一个有效等价类和一个无效等价类。
50? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心划分等价类的原则
4)按数值划分:如果规定了输入数据的一组值,而且程序要对每个输入值分别进行处理,这时可以为每一个输入值确立一个有效等价类,确立一个无效等价类,包含所有不允许输入的数值。例如输入条件说明学历可为:专科、
本科,硕士、博士四种之一,则分别取这四个值作为四个有效等价类,另外把四种学历之外的任何输入作为无效等价类。
5)按限制条件或规则划分:如果规定了输入数据必须遵守的规则或限制条件,则可以确立一个有效等价类(符合规则)和若干个无效等价类(从不同角度违反规则)。
6)如果已划分的等价类中各元素在程序中的处理方式不同,则应将此等价类进一步划分成更小的等价类。
51? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心确定测试用例
( 1)形成等价类表,每一等价类规定一个唯一的编号;
( 2)设计一个测试用例,使其尽可能多地覆盖尚未覆盖的有效等价类,重复这一步骤,直到所有有效等价类均被测试用例所覆盖。
( 3)设计一新测试用例,使其只覆盖一个无效等价类,重复这一步骤直到所有无效等价类均被覆盖。
52? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心等价类划分举例
一个程序从屏幕读入三个整数,程序把此三个数值看成是一个三角形的三个边,经过程序的判断,在屏幕上打印输出这个三角形的类型,包括等腰三角形、等边三角形、普通三角形。
为了测试上述程序功能是否正确,采用等价类划分的方法设计有效和无效等价类。
53? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
设三角形的三条边分别为 A,B,C。如果它们能够构成三角形的三条边,必需满足:
A > 0,B > 0,C > 0,且 A + B > C,B + C > A
,A + C > B。
如果是等腰的,还要判断是否 A = B,或 B = C
,或 A = C。
对于等边的,则需判断是否 A = B,且 B = C,
且 A = C。
54? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心识别等价类输入条件 有效等价类 无效等价类是否三角形的三条边
(A > 0) (1),
(B > 0) (2),
(C > 0) (3),
(A + B > C)(4),
(B + C > A) (5),
(A + C > B) (6)
A? 0 (7),
B? 0 (8),
C? 0 (9),
A + B? C (10),
A + C? B (11),
B + C? A (12)
是否等腰三角形
(A = B) (13),
(B = C) (14),
(A = C) (15)
(A? B) and (B? C) and
(A? C) (16)
是否等边三角形
(A = B) and (B = C) and
(A = C)
(17)
(A? B) (18),
(B? C) (19),
(A? C) (20)
55? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心设计测试用例序号 输入 【 A,B,C】 覆盖等价类 输出
1 【 3,4,5】 (1)(2)(3)(4)(5)(6) 普通三角形
2 【 0,1,2】 (7) 不能构成三角形
3 【 1,0,2】 (8)
4 【 1,2,0】 (9)
5 【 1,2,3】 (10)
6 【 1,3,2】 (11)
7 【 3,1,2】 (12)
8 【 3,3,4】 (1)(2)(3)(4)(5)(6)(13) 等腰三角形
9 【 3,4,4】 (1)(2)(3)(4)(5)(6)(14)
10 【 3,4,3】 (1)(2)(3)(4)(5)(6)(15)
11 【 3,4,5】 (1)(2)(3)(4)(5)(6)(16) 非等腰三角形
12 【 3,3,3】 (1)(2)(3)(4)(5)(6)(17) 等边三角形
13 【 3,4,4】 (1)(2)(3)(4)(5)(6)(14)(18) 非等边三角形
14 【 3,4,3】 (1)(2)(3)(4)(5)(6)(15)(19)
15 【 3,3,4】 (1)(2)(3)(4)(5)(6)(13)(20)
56? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
2.边界值分析
人们从长期的测试工作经验得知,大量的错误是发生在输入或输出范围的边界上,
而不是在输入范围的内部。
通常输入等价类与输出等价类的边界,就是应着重测试的边界情况。
应当选取正好等于,刚刚大于,或刚刚小于边界的值作为测试数据,而不是选取等价类中的典型值或任意值作为测试数据。
57? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心边界值分析法原则
如果输入条件规定了值的范围,则应选取刚达到这个范围的边界值,以及刚刚超过这个范围的边界值作为测试输入数据
如果输入条件规定了值的个数,则用最大个数、最小个数、比最大个数多 1、比最小个数少 1的数作为测试用例
如果输出结果限定在某个范围内,则应选取测试用例,使输出结果刚刚达到这个范围的边界值,或刚刚超过这个边界值
如果输出结果规定了个数,则选用使输出结果为最大个数、最小个数、比最大个数多 1、比最小个数少 1的数作为测试用例
如果输入与输出是有序集合,则应选取集合的第一个元素和最后一个元素作为测试用例
如果程序中使用了一个内部数据结构,则应当选择这个内部数据结构的边界的值作为测试用例
分析规格说明书,找到其他可能的边界条件进行测试。
58? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
3.错误推测法
错误推测法的基本想法是:
列举出程序中所有可能有的错误和容易发生错误的特殊情况,根据它们选择测试用例。 例如:
输入输出为 0
输入表格为空
排序中输入空、一个数据、相等数据、顺序数据、逆序数据等情况
59? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
4.因果图法
在测试时必须考虑输入条件的各种组合,
可能的组合数将是天文数字。因此必须考虑使用一种适合于描述对于多种条件的组合,相应产生多个动作的形式来考虑设计测试用例,这就需要利用因果图。
因果图方法最终生成的就是判定表。它适合于检查程序输入条件的各种组合情况。
60? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心因果图生成步骤
( 1)分析软件规格说明描述中,哪些是原因(即输入条件或输入条件的等价类),哪些是结果(即输出条件),并给每个原因和结果赋予一个标识符;
( 2)分析软件规格说明描述中的语义,找出原因与结果之间,原因与原因之间对应的关系,根据这些关系,画出因果图 ;
( 3)由于语法或环境限制,有些原因与原因之间,原因与结果之间的组合情况不可能出现。为表明这些特殊情况,在因果图上用一些记号标明约束或限制条件;
( 4)把因果图转换成判定表;
( 5)把判定表的每一列拿出来作为依据,设计测试用例;
61? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
在因果图中,用 Ci表示原因,Ei表示结果,主要的原因和结果之间的关系有:
恒等:若原因出现,则结果出现。若原因不出现,则结果也不出 现。
非:若原因出现,则结果不出现。若原因不出现,反而结果出现 。
或( ∨ ):若几个原因中有一个出现,则结果出现,几个原因都不出现,结果不出现。
与( ∧ ):若几个原因都出现,结果才出现。若其中有一个原因不出现,结果不出现。
62? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
为了表示原因与原因之间,结果与结果之间可能存在的约束条件,在因果图中可以附加一些表示约束条件的符号,
E(互斥):表示 a,b两个原因不会同时成立,两个中最多有一个可能成立。
I(包含):表示 a,b,c三个原因中至少有一个必须成立。
O(唯一):表示 a和 b当中必须有一个,且仅有一个成立。
R(要求):表示当 a出现时,b必须也出现。不可能 a出现,b不出现。
M(屏蔽):表示当 a是 1时,b必须是 0。而当 a为 0时,b的值不定。
63? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心因果图法举例
【 例 】 有一个处理单价为 5角钱的饮料的自动售货机软件测试用例的设计。 其规格说明如下:
,若投入 5角钱或 1元钱的硬币,按下 〖 橙汁
〗 或 〖 啤酒 〗 的按钮,则相应的饮料就送出来。
若售货机没有零钱找,则一个显示 〖 零钱找完 〗 的红灯亮,这时再投入 1元硬币并按下按钮后,饮料不送出来而且 1元硬币也退出来;
若有零钱找,则显示 〖 零钱找完 〗 的红灯灭
,在送出饮料的同时退还 5角硬币。”
64? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
( 1)分析这一段说明,列出原因和结果
65? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
( 2)画出因果图
( 3)由于 2 与 3,4 与 5 不能同时发生,分别加上约束条件 E
( 4)转换成判定表
66? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
在判定表中,阴影部分表示因违反约束条件的不可能出现的情况,删去
67? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.4 测试方法选择的综合策略
Myers提出使用各种测试方法的综合策略
:
在任何情况下都必须使用边界值分析方法
必要时用等价类划分方法补充一些测试用例
用错误推测法再追加一些测试用例
对照程序逻辑,检查已设计出的测试用例的逻辑覆盖程度
如果程序的功能说明中含有输入条件的组合情况,则一开始就可选用因果图法。
68? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.5 针对专门环境和应用的测试
1,GUI测试
图形用户界面( GUI)对软件工程师提出了有趣的挑战,因为 GUI开发环境有可复用的构件,开发用户界面更加省时和精确
,但同时 GUI的复杂性也增加了,从而增加了设计和执行测试用例的难度。
窗口
下拉式菜单和鼠标操作
数据项
69? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.5针对专门环境和应用的测试
2.客户 /服务器( C/S)软件测试
客户 /服务器( C/S)软件系统是比较复杂的软件产品,其具有的分布性、事物处理相关性、跨平台性、网络通讯的复杂性、中心数据库为多个客户服务和服务器的协调一致性等特点,使得对 C/S
结构的软件系统测试非常困难。
C/S常用测试方法包括:
客户端应用功能测试;
服务器测试(协调和数据管理功能、性能);
数据库测试;
事务测试;
网络通信测试。
70? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.2.5针对专门环境和应用的测试
3.实时系统测试
实时系统的时间依赖性和异步性给软件测试带来新的困难 —— 时间。测试用例设计者考虑的不仅是白盒和黑盒测试用例,而且包括事件处理 (如中断处理 )、数据的时间安排以及处理数据的任务 (进程 )的并发性。
另外、实时系统的软件和硬件之间的密切关系也会导致测试问题,软件测试必须考虑硬件故障对软件处理的影响。
71? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3软件测试过程
本节内容
12.3.1 单元测试
12.3.2 集成测试
12.3.3 确认测试
12.3.4 系统测试
12.3.5 何时停止测试
72? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.1单元测试
单元测试又称为模块测试,是针对程序模块进行正确性检验的测试。其目的在于发现各模块内部可能存在的各种差错。
单元测试主要采用白盒测试为主、黑盒测试为辅的测试方法。
模块错误处理 模块接口 局部数据结构重要的执行路径 边界条件
73? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心单元测试的步骤
单元测试在编码阶段进行,是编码步骤的附属部分。
单元测试需要编写一些辅助模块去模拟与被测模块相联系的其它模块 。 模块并不是一个独立的程序。
74? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心驱动模块与桩模块
这些辅助模块分为两种:
驱动模块( driver),相当于被测模块的主程序。
它接收测试数据,把这些数据传送给被测模块,最后输出实测结果。
桩模块( stub),也叫做存根模块,用以代替被测模块调用的子模块。桩模块可以做少量的数据操作
,不需要把子模块所有功能都带进来,但不允许什么事情也不做。
75? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.2集成测试
在单元测试的基础上,需要将所有模块按照设计要求组装成为系统。
模块组装成为系统有两种方式:
一次性集成方式
增殖式集成方式
自顶向下的增殖方式
自底向上的增殖方式
混合增殖式测试
三种常见的综合增殖方式,
衍变的自顶向下的增殖测试
自底向上 -自顶向下的增殖测试
回归测试
76? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.3确认测试
确认测试又称有效性测试,它的任务是验证软件的有效性,即验证软件的功能和性能及其它特性是否与用户的要求一致。
77? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.3确认测试
进行有效性测试(功能测试)
有效性测试是在模拟的环境(可能就是开发的环境)下,运用黑盒测试的方法,验证被测软件是否满足需求规格说明书列出的需求。
软件配置复查
软件配置复查的目的是保证软件配置的所有成分都齐全,各方面的质量都符合要求
,具有维护阶段所必需的细节,而且已经编排好分类的目录。
78? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.3确认测试
α测试和 β测试
α测试是由一个用户在开发环境下进行的测试
,也可以是公司内部的用户在模拟实际操作环境下进行的测试。这是在受控制的环境下进行的测试 。
β测试是由软件的多个用户在一个或多个用户的实际使用环境下进行的测试。与 α测试不同的是,开发者通常不在测试现场 。 β测试是在开发者无法控制的环境下进行的软件现场应用
。
验收测试
验收测试是以用户为主的测试。软件开发人员和 QA(质量保证)人员也应参加。
79? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.4 系统 测试
所谓系统测试,是将通过确认测试的软件,作为基于计算机系统的一个元素,与计算机硬件、外设、
某些支持软件、数据和人员等其它系统元素结合在一起,在实际运行(使用)环境下,对计算机系统进行一系列的组装测试和确认测试。
系统测试的目的在于通过与系统的需求定义作比较
,发现软件与系统定义不符合或与之矛盾的地方
恢复测试
压力测试
性能测试
安全测试
80? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.5 何时停止 测试
Musa 和 Ackerman[ MUS89]提出,“我们不能绝对地认定软件永远也不会再出错,但是相对于一个理论上合理的和在试验中有效的统计模型来说,如果一个在按照概率的方法定义的环境中
,1000 个 CPU 小时内不出错的操作概率大于
0.995 的话,那么我们就有 95%的信心说我们已经进行了足够的测试。”
一个称为对数泊松执行时间模型 (logarithmic
Poisson execution-time model)的软件故障模型为
:
f(t)=(1/p)1n(l0pt+1)
81? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.3.5 何时停止 测试
其中:
f(t)=软件在一定的测试时间 t 后,可能会发生故障的预期累计数目。
l0=在测试刚开始时的初始软件故障密度 (单位时间内的故障数 )。
p=错误被发现和修正的过程中故障密度的指数递减值。
瞬时的故障密度,l(t)可以使用 f(t)的导数得出
l(t)=l0/(l0pt+1)
82? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心故障密度作为执行时间的函数
83? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4 面向对象的测试方法
本节内容
12.4.1面向对象测试与传统测试的区别
12.4.2面向对象的测试模型
12.4.3面向对象分析的测试
12.4.4面向对象设计的测试
12.4.5面向对象编程的测试
12.4.6面向对象的单元测试
12.4.7面向对象的集成测试
12.4.8面向对象的系统测试
84? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.1 面向对象测试与传统测试的区别
传统的测试计算机软件的策略是从,小型测试” 开始,逐步走向,大型测试,
首先从单元测试开始,然后逐步进入集成测试,最后是确认和系统测试
面向对象程序的结构不再是传统的功能模块结构,作为一个整体,原有集成测试所要求的逐步将开发的模块搭建在一起进行测试的方法已经不可能
面向对象软件抛弃了传统的开发模式,对每个开发阶段都有不同以往的要求和结果,已经不可能用功能细化的观点来检测面向对象分析和设计的结果
85? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.2 面向对象的测试模型
面向对象的开发模型将开发分为面向对象分析( OOA),面向对象设计( OOD),和面向对象编程( OOP)三个阶段
OOA Test和 OOD Test
是对分析结果和设计结果的测试
OOP Test主要针对编程风格和程序代码实现进行测试
86? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.3 面向对象分析的测试
1.对认定的对象的测试
认定的对象是否全面,是否问题空间中所有涉及到的实例都反映在认定的抽象对象中
认定的对象是否具有多个属性
对认定为同一对象的实例是否有共同的,区别于其他实例的共同属性
如果系统没有必要始终保持对象代表的实例的信息,提供或者得到关于它的服务,认定的对象也无必要
认定的对象的名称应该尽量准确,适用
87? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.3 面向对象分析的测试
2.对认定的结构的测试
在 Coad方法中,认定的结构指的是多种对象的组织方式,用来反映问题空间中的复杂实例和复杂关系
认定的结构分为两种:分类结构和组装结构
3.对认定的主题的测试
贯彻 George Miller 的,7+2”原则,如果主题个数超过 7个,就要求对有较密切属性和服务的主题进行归并
主题所反映的一组对象和结构是否具有相同和相近的属性和服务
认定的主题是否是对象和结构更高层的抽象,是否便于理解 OOA结果的概貌
主题间的消息联系(抽象)是否代表了主题所反映的对象和结构之间的所有关联。
88? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.3 面向对象分析的测试
4.对定义的属性和实例关联的测试
属性是用来描述对象或结构所反映的实例的特性。而实例关联是反映实例集合间的映射关系
5.对定义的服务和消息关联的测试
定义的服务,就是定义的每一种对象和结构在问题空间所要求的行为。由于问题空中实例间必要的通信,在 OOA 中相应需要定义消息关联
89? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.4 面向对象设计的测试
而面向对象设计( OOD)采用,造型的观点
”,以 OOA为基础归纳出类,并建立类结构或进一步构造成类库,实现分析结果对问题空间的抽象
OOD是 OOA的进一步细化和更高层的抽象
对认定的类的测试
对构造的类层次结构的测试
对构造的类层次结构的测试
90? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.5面向对象编程的测试
典型的面向对象程序具有继承、封装和多态的新特性,这使得传统的测试策略必须有所改变
在面向对象编程( OOP)阶段,忽略类功能实现的细则,将测试的目光集中在类功能的实现和相应的面向对象程序风格
数据成员是否满足数据封装的要求
类是否实现了要求的功能
91? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.6面向对象的单元测试
当考虑面向对象软件时,单元测试的对象是类的成员函数
在设计测试用例选择输入数据时,可以基于以下两个假设:
如果函数(程序)对某一类输入中的一个数据正确执行,对同类中的其他输入也能正确执行
如果函数(程序)对某一复杂度的输入正确执行,对更高复杂度的输入也能正确执行
面向对象编程的特性使得对成员函数的测试,又不完全等同于传统的函数或过程测试
Brian Marick 给出了两方面的考虑:
继承的成员函数是否都不需要测试
对父类的测试是否能照搬到子类
92? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.7面向对象的集成测试
传统的集成测试
自顶向下集成
自底向上集成
具体设计测试用例,可参考下列步骤:
先选定检测的类,参考 OOD分析结果,分析出类的状态和相应的行为,类或成员函数间传递的消息,输入或输出的界定等
确定覆盖标准
利用结构关系图确定待测类的所有关联
根据程序中类的对象构造测试用例,确认使用什么输入激发类的状态、使用类的服务和期望产生什么行为等
93? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.4.8面向对象的系统测试
系统测试应该尽量搭建与用户实际使用环境相同的测试平台,应该保证被测系统的完整性,对临时没有的系统设备部件,也应有相应的模拟手段
系统测试的具体测试内容包括:
功能测试
强度测试
性能测试
安全测试
恢复测试
可用性测试
安装 /卸载测试( install/uninstall test)等等
94? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.5 程序的静态分析方法
本节内容
12.5.1 源程序静态分析
12.5.2 人工测试
95? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.5.1源程序静态分析
1.生成各种引用表
直接从表中查出说明/使用错误等
为用户提供辅助信息
用来做错误预测和程序复杂度计算
2,静态错误分析
类型和单位分析
类型和单位分析
表达式分析
接口分析
96? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.5.2 人工测试
1,桌前检查 ( Desk Checking)
由程序员自己检查自己编写的程序 。 程序员在程序通过编译之后,进行单元测试设计之前,对源程序代码进行分析,检验,并补充相关的文档,目的是发现程序中的错误
2,代码会审 ( Code Reading Review)
代码会审是由若干程序员和测试员组成一个会审小组,通过阅读,讨论和争议,对程序进行静态分析的过程
3,走查 ( Walkthroughs)
97? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.6 软件调试方法
本节内容
12.6.1 调试过程
12.6.2 调试原则
12.6.3 主要调试方法
98? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心软件调试
软件测试的目的是尽可能多地发现软件中的错误,但进一步诊断和改正程序中潜在的错误,则是调试的任务。
调试活动由两部分组成:
( 1)确定程序中可疑错误的确切性质和位置。
( 2)对程序(设计,编码)进行修改,排除这个错误。
通常,调试工作是一个具有很强技巧性的工作。软件运行失效往往只是外部表现,如果要找出真正导致错误的原因,排除潜在的错误,不是一件易事。因此可以说,调试是通过现象,找出原因的一个思维分析的过程,调试的难点是错误的定位。
99? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.6.1 调试过程
调试的执行步骤如下,
从错误的外部表现形式入手,确定程序中出错位置
研究有关部分的程序,找出错误的内在原因
修改设计和代码,以排除这个错误
重复进行暴露了这个错误的原始测试或某些有关测试,以确认该错误是否被排除;是否引进了新的错误
如果所做的修正无效,则撤消这次改动,重复上述过程,直到找到一个有效的解决办法为止
100? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.6.1 调试过程
调试的执行步骤,
101? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.6.2调试原则
1.确定错误的性质和位置的原则
用头脑去分析思考与错误征兆有关的信息
避开死胡同
只把调试工具当作辅助手段来使用
避免用试探法,最多只能把它当作最后手段
2.修改错误的原则
在出现错误的地方,很可能还有别的错误
修改错误的一个常见失误是只修改了这个错误的征兆或这个错误的表现,而没有修改错误的本身
当心修正一个错误的同时有可能会引入新的错误
修改错误的过程将迫使人们暂时回到程序设计阶段
修改源代码程序,不要改变目标代码
102? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.6.3主要调试方法
1,强行排错
这是目前使用较多,效率较低的调试方法 。
它不需要过多的思考,比较省脑筋
2,回溯法排错
这是在小程序中常用的一种有效的排错方法
3,归纳法排错
103? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.6.3主要调试方法
4,演绎法排错
104? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.7软件测试工具
本节内容
12.7.1软件测试工具分类
12.7.2常用的软件测试工具简介
105? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.7.1软件测试工具分类
1.白盒测试工具
2.黑盒测试工具
3.测试管理工具
4.静态分析工具
5.动态测试工具
6.测试数据自动生成工具
7.模块测试台
8.集成测试环境
106? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.7.2常用的软件测试工具简介
1.按照测试功能分类
单元测试工具
C++Test,JUnit
测试管理工具
Suite TestStudio,Testexpert
GUI测试工具
Rational robot
负载性能测试工具
PerfomanceStudio
Web测试工具
SilkTset,SilkPerfomer,Surf,Web Application Stress
缺陷跟踪工具
Rational ClearQuest,Compuware公司的 TrackRecord
107? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.7.2 常用的软件测试工具简介
2.按照软件测试工具开发商分类
Mercury Interactive
Topaz,Astra LoadTest
Rational
Rose,ClearCase
Compuware
BoundsChecker,SmartCheck
Microsoft
NT/2000/XP Resource Kit,Web Application Stress
108? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.8软件的可靠性
本节内容
12.8.1基本概念
12.8.2软件可靠性衡量方法
109? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.8.1基本概念
在衡量一个软件系统优劣的指标:
可用性:指程序在给定的时间点,按照规格说明书的规定,成功运行的概率。
可靠性:指的是程序在给定的时间间隔内,按照规格说明书的规定,成功运行的概率。
可靠性和可用性之间的主要差别是可靠性意味着在 0-t这段时间间隔内系统没有失效,而可用性只意味着在时刻 t,系统是正常运行的。
按照 IEEE的规定
术语“错误”的含义是由开发人员造成的软件差错
术语“故障”的含义是由错误引起的软件的不正确行为
110? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.8.2软件可靠性衡量方法
在软件开发的过程中,利用测试的统计数据,可以估算软件的可靠性,从而控制软件的质量 。
衡量软件可靠性的主要统计指标有:
1.估算平均无故障时间
2.估算软件中故障总数 ET的方法
TcTT ItEIEK 1=M T T F?
111? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
1,估算平均无故障时间
MTTF( Mean Time To Failure)估算公式(
Shooman模型)为:
K 是一个经验常数,美国一些统计数字表明,K的典型值是
200
ET 是测试之前程序中原有的故障总数
IT 是程序长度
t是测试(包括排错)的时间
EC (t) 是在 0~ t期间内检出并排除的故障总数
112? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.8.2软件可靠性衡量方法
设 EC(τ) 是 0~ τ时间内检出并排除的故障总数
,τ是测试时间 (月 ),则在同一段时间 0~ τ内的单条指令累积规范化排除故障数曲线 εc (τ) 为:
εc (τ) = EC (τ)∕IT
TcTT ItEIEK 1=M T T F?
113? 2008 BUPT TSEG 北京邮电大学 通信软件工程中心
12.8.2软件可靠性衡量方法
2,估算软件中故障总数 ET的方法
利用 Shooman模型估算程序中原来错误总量
ET—— 瞬间估算法,
利用植入故障法估算程序中原有故障总数 ET—
— 捕获-再捕获抽样法
Hyman分别测试法