功能测试
上一篇 / 下一篇 2006-12-08 11:44:50 / 个人分类:软件测试技术
d3A V ~ x?xo0T051Testing软件测试网9LQ)O-O,Kd
51Testing软件测试网F*LA*X4}0r
黑盒测试(Black-box Testing,又称为功能测试或数据驱动测试)是把测试对象看作一个黑盒子。利用黑盒测试法进行动态测试时,需要测试软件产品的功能,不需测试软件产品的内部结构和处理过程。51Testing软件测试网tq^wyBy
x-U-X0x|:c'bI ` r0 采用黑盒技术设计测试用例的方法有:等价类划分、边界值分析、错误推测、因果图和综合策略。51Testing软件测试网n'Y%s n(h
$op)Ko5o(mE0 黑盒测试注重于测试软件的功能性需求,也即黑盒测试使软件工程师派生出执行程序所有功能需求的输入条件。黑盒测试并不是白盒测试的替代品,而是用于辅助白盒测试发现其他类型的错误。
$o%`X3[`[ ^L!t0
EE%\|&w0vU0 黑盒测试试图发现以下类型的错误:51Testing软件测试网oQs'n8}I:A[A
1B8M0^U?0 1)功能错误或遗漏;
G|)}~cJ9}+i2V0 2)界面错误;
K&]aSrX?D+W0 3)数据结构或外部数据库访问错误;51Testing软件测试网Q.l/[?itk
4)性能错误;
+Qy w2vAj[0 5)初始化和终止错误。51Testing软件测试网 Qety.U(@F9ttO
%v dO)r:x0一、黑盒测试的测试用例设计方法
ii@P#fS6CA051Testing软件测试网+|6tB}iCO
·等价类划分方法
urPaI;B t0·边界值分析方法51Testing软件测试网LO6p)V+mPR
·错误推测方法
O l$x!h[0·因果图方法
(NdQb.g7F^E0·判定表驱动分析方法51Testing软件测试网.sI~,|\B
·正交实验设计方法51Testing软件测试网"]_ WK"l1z&_E_0f-P
·功能图分析方法51Testing软件测试网a%D/KE Sl9S
-t,Q5g$B ^ {|0等价类划分:
c.z.B&GQ,t.o9lw0
um:v!g2U7e0 是把所有可能的输入数据,即程序的输入域划分成若干部分(子集),然后从每一个子集中选取少数具有代表性的数据作为测试用例.该方法是一种重要的,常用的黑盒测试用例设计方法.51Testing软件测试网&Cc2p7{#B$F
pX?];?v`0 1) 划分等价类: 等价类是指某个输入域的子集合.在该子集合中,各个输入数据对于揭露程序中的错误都是等效的.并合理地假定:测试某等价类的代表值就等于对这一类其它值的测试.因此,可以把全部输入数据合理划分为若干等价类,在每一个等价类中取一个数据作为测试的输入条件,就可以用少量代表性的测试数据.取得较好的测试结果.等价类划分可有两种不同的情况:有效等价类和无效等价类.
2TAg'X/]SL"x]051Testing软件测试网;\dl.[Re I
有效等价类:是指对于程序的规格说明来说是合理的,有意义的输入数据构成的集合.利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能.
2n.evEk}+r~p051Testing软件测试网y{/h} I QSe {p&cL
无效等价类:与有效等价类的定义恰巧相反.51Testing软件测试网t4sc8eT nI)b
51Testing软件测试网8~ M^7k'o
设计测试用例时,要同时考虑这两种等价类.因为,软件不仅要能接收合理的数据,也要能经受意外的考验.这样的测试才能确保软件具有更高的可靠性.
Wol_7NOE#lv051Testing软件测试网0\[Tur,s/M(AI
2)划分等价类的方法:下面给出六条确定等价类的原则.
6c3z6eBH;Ac0
M:["\/|x0 ①在输入条件规定了取值范围或值的个数的情况下,则可以确立一个有效等价类和两个无效等价类.51Testing软件测试网!]SS%Zo*o
k3H;G c o)}?0 ②在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下,可确立一个有效等价类和一个无效等价类.51Testing软件测试网 q0qw-Y1c P1p(@/D
51Testing软件测试网,|!WM2H#H#fF$@
③在输入条件是一个布尔量的情况下,可确定一个有效等价类和一个无效等价类.
W)a^7\'yJ0
n8o ~b g0 ④在规定了输入数据的一组值(假定n个),并且程序要对每一个输入值分别处理的情况下,可确立n个有效等价类和一个无效等价类.51Testing软件测试网!^4u6^"R/_;rW:j
51Testing软件测试网}F'Z/wO
⑤在规定了输入数据必须遵守的规则的情况下,可确立一个有效等价类(符合规则)和若干个无效等价类(从不同角度违反规则).
'h M*_.?,?f0
}GU3b:_5{Q,E0 ⑥在确知已划分的等价类中各元素在程序处理中的方式不同的情况下,则应再将该等价类进一步的划分为更小的等价类.
yg G4tj%AU0
(jp4F;b%m03)设计测试用例:在确立了等价类后,可建立等价类表,列出所有划分出的等价类:51Testing软件测试网w#uGY!g#q+osR
51Testing软件测试网)? w#YTD&VY@,Wa
输入条件 有效等价类 无效等价类
~]P s(h0
(S$B;aq0L/[5` bd0 ... ... ...
!Bchq2PZ%W4_y0
!JS/Blh{?0 ... ... ...51Testing软件测试网gy:^k2R4h
n^8?7|a&Q*\0 然后从划分出的等价类中按以下三个原则设计测试用例:51Testing软件测试网 C*}JF/Yt/f:^7Z
51Testing软件测试网!o F O x@!m;b%U _
①为每一个等价类规定一个唯一的编号.
{$v\0P;E051Testing软件测试网 HbH Js-S bD
②设计一个新的测试用例,使其尽可能多地覆盖尚未被覆盖地有效等价类,重复这一步.直到所有的有效等价类都被覆盖为止.51Testing软件测试网@T mW9e
51Testing软件测试网!lxp@ f!A$l }
③设计一个新的测试用例,使其仅覆盖一个尚未被覆盖的无效等价类,重复这一步.直到所有的无效等价类都被覆盖为止.
@,M t`9W oj)R0
K{qs/Y/^SHt0边界值分析法
,W~;\8bX0
.V$v;yC9E/D"xq[;Mn&I0 边界值分析方法是对等价类划分方法的补充.51Testing软件测试网+djW({R lX8[e
W u/AeT"l0(1)边界值分析方法的考虑:
*[["@n)}+Irx051Testing软件测试网z:y+l)S,\p ?
长期的测试工作经验告诉我们,大量的错误是发生在输入或输出范围的边界上,而不是发生在输入输出范围的内部.因此针对各种边界情况设计测试用例,可以查出更多的错误.51Testing软件测试网X/W2WEi!s0Y;?
51Testing软件测试网.rE(Q1vk.R(v*I'W;Us2Y
使用边界值分析方法设计测试用例,首先应确定边界情况.通常输入和输出等价类的边界,就是应着重测试的边界情况.应当选取正好等于,刚刚大于或刚刚小于边界的值作为测试数据,而不是选取等价类中的典型值或任意值作为测试数据.51Testing软件测试网xH IK1H
51Testing软件测试网pw^0J2O,t'BTE
(2)基于边界值分析方法选择测试用例的原则:
5nIL/\$K0N x7k0
|+|+y6b5S3zG0 1)如果输入条件规定了值的范围,则应取刚达到这个范围的边界的值,以及刚刚超越这个范围边界的值作为测试输入数据.51Testing软件测试网Fed)fo
*X8~N jyUy0 2)如果输入条件规定了值的个数,则用最大个数,最小个数,比最小个数少一,比最大个数多一的数作为测试数据.
-G6F2jI1~051Testing软件测试网nY(J&a9T]2Z
3)根据规格说明的每个输出条件,使用前面的原则1).
U*o-BGI5U@(RA051Testing软件测试网 W Z-w,W X"n@
4)根据规格说明的每个输出条件,应用前面的原则2).51Testing软件测试网v[3?ywAw
51Testing软件测试网n B%U,c+nkF*_dp[
5)如果程序的规格说明给出的输入域或输出域是有序集合,则应选取集合的第一个元素和最后一个元素作为测试用例.
'w_H'B"Ndr0
s,BeJjyO0 6)如果程序中使用了一个内部数据结构,则应当选择这个内部数据结构的边界上的值作为测试用例.51Testing软件测试网)]:GO:B5It
%Y,?)O0x#dV$g3D0 7)分析规格说明,找出其它可能的边界条件.51Testing软件测试网iz8}&{5Xv
51Testing软件测试网RR"l7B0il#|
错误推测法
5}q[9K7@ BW)]051Testing软件测试网)x:hd8` a.n
错误推测法: 基于经验和直觉推测程序中所有可能存在的各种错误, 从而有针对性的设计测试用例的方法.51Testing软件测试网u']m"^y_7i7Zw
/zmcvlt;H0 错误推测方法的基本思想: 列举出程序中所有可能有的错误和容易发生错误的特殊情况,根据他们选择测试用例. 例如, 在单元测试时曾列出的许多在模块中常见的错误. 以前产品测试中曾经发现的错误等, 这些就是经验的总结. 还有, 输入数据和输出数据为0的情况. 输入表格为空格或输入表格只有一行. 这些都是容易发生错误的情况. 可选择这些情况下的例子作为测试用例.51Testing软件测试网U W2sX1@}6AC7Y
51Testing软件测试网jEO+nQT
因果图方法
4xG5D5w`U051Testing软件测试网b Fh_]}
前面介绍的等价类划分方法和边界值分析方法,都是着重考虑输入条件,但未考虑输入条件之间的联系, 相互组合等. 考虑输入条件之间的相互组合,可能会产生一些新的情况. 但要检查输入条件的组合不是一件容易的事情, 即使把所有输入条件划分成等价类,他们之间的组合情况也相当多. 因此必须考虑采用一种适合于描述对于多种条件的组合,相应产生多个动作的形式来考虑设计测试用例. 这就需要利用因果图(逻辑模型).
!Cj1gh#K@;s051Testing软件测试网 A(f"w6t&[YX
因果图方法最终生成的就是判定表. 它适合于检查程序输入条件的各种组合情况.51Testing软件测试网}/hYD+M
Y:}F;rYZ0 利用因果图生成测试用例的基本步骤:51Testing软件测试网#g J| G'i"B%Mw:`*t:L
mGt0^yIoD0 (1) 分析软件规格说明描述中, 那些是原因(即输入条件或输入条件的等价类),那些是结果(即输出条件), 并给每个原因和结果赋予一个标识符.
)eA/k+dlOY051Testing软件测试网:b6D O9n _}
(2) 分析软件规格说明描述中的语义.找出原因与结果之间, 原因与原因之间对应的关系. 根据这些关系,画出因果图.
{?#[G(q0{0
9tX Nr"z }0 (3) 由于语法或环境限制, 有些原因与原因之间,原因与结果之间的组合情况不不可能出现. 为表明这些特殊情况, 在因果图上用一些记号表明约束或限制条件.51Testing软件测试网)U)[AP4K c/m6X
2b~:I!^\)F/Gz0 (4) 把因果图转换为判定表.
Q0{o#U5xw8} v0
5c5d9U1y0r-?0 (5) 把判定表的每一列拿出来作为依据,设计测试用例.51Testing软件测试网BD5GOE8x
51Testing软件测试网`"b"{4W R;aO
从因果图生成的测试用例(局部,组合关系下的)包括了所有输入数据的取TRUE与取FALSE的情况,构成的测试用例数目达到最少,且测试用例数目随输入数据数目的增加而线性地增加.51Testing软件测试网o,M2w sv
51Testing软件测试网S7_8Yz2Mr{!LW|
前面因果图方法中已经用到了判定表.判定表(Decision Table)是分析和表达多逻辑条件下执行不同操作的情况下的工具.在程序设计发展的初期,判定表就已被当作编写程序的辅助工具了.由于它可以把复杂的逻辑关系和多种条件组合的情况表达得既具体又明确.
*c[h8be"zr|0
1BW(F3x1c5u!xh0 判定表通常由四个部分组成.51Testing软件测试网kK w#Z&Y5QR;j
51Testing软件测试网'aT&Q`{9bQLgM
条件桩(Condition Stub):列出了问题得所有条件.通常认为列出得条件的次序无关紧要.
U5Eap1r\&w%Z0
(q(A I5Vxl0 动作桩(Action Stub):列出了问题规定可能采取的操作.这些操作的排列顺序没有约束.
Nr1P&v$j8~{.[0
[!djvo-Pl0 条件项(Condition Entry):列出针对它左列条件的取值.在所有可能情况下的真假值.51Testing软件测试网 b$Qb)Kow_$S9IXa
IHU)uD3~ E0 动作项(Action Entry):列出在条件项的各种取值情况下应该采取的动作.
x y`+K!WM)z L7^0
%d!w |H:U"C'bwQ"dw0 规则:任何一个条件组合的特定取值及其相应要执行的操作.在判定表中贯穿条件项和动作项的一列就是一条规则.显然,判定表中列出多少组条件取值,也就有多少条规则,既条件项和动作项有多少列.
3M$M8J1a r6F}MWc051Testing软件测试网1eTE+MD&w$Y2|B
判定表的建立步骤:(根据软件规格说明)51Testing软件测试网og/jY8t%E-`
51Testing软件测试网-Rv3s$SW6_%V W0M8b&rd
①确定规则的个数.假如有n个条件.每个条件有两个取值(0,1),故有 种规则.
"u}|#tH7hC;FiXh0
h8pG TB5q0 ②列出所有的条件桩和动作桩.51Testing软件测试网|r_5iq On n)ZE
51Testing软件测试网B0A8h_p5a
③填入条件项.51Testing软件测试网&l)UClI)o}&z^
51Testing软件测试网MGEhd:d`am
④填入动作项.等到初始判定表.51Testing软件测试网Y6R'txJ)a VLz
p6l*acNk0 ⑤简化.合并相似规则(相同动作).
Wd3q_"B:H0
1s"Q3sO3Y%]H0 B. Beizer 指出了适合使用判定表设计测试用例的条件:51Testing软件测试网*vU;x Am3g:h:t
+{j3iQ/zK,bq!?0 ①规格说明以判定表形式给出,或很容易转换成判定表.