-
实用。。
v_v 发布于 2007-08-13 17:30:08
-
史上最全的测试用例设计方法总结（因果图方法）
千里 发布于 2008-05-08 15:34:06
因果图方法
一. 方法简介
1.定义：是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。
2.因果图法产生的背景：
等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合起来可能出错的情况却被忽视了。
如果在测试时必须考虑输入条件的各种组合，则可能的组合数目将是天文数字，因此必须考虑采用一种适合于描述多种条件的组合、相应产生多个动作的形式来进行测试用例的设计，这就需要利用因果图（逻辑模型）。
3.因果图介绍
1) 4种符号分别表示了规格说明中向4种因果关系。
2) 因果图中使用了简单的逻辑符号，以直线联接左右结点。左结点表示输入状态（或称原因），右结点表示输出状态（或称结果）。
3) Ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。Ci和ei均可取值0或1，0表示某状态不出现，1表示某状态出现。
4. 因果图概念
1) 关系
①恒等：若ci是1，则ei也是1；否则ei为0。
②非：若ci是1，则ei是0；否则ei是1。
③或：若c1或c2或c3是1，则ei是1；否则ei为0。“或”可有任意个输入。
④与：若c1和c2都是1，则ei为1；否则ei为0。“与”也可有任意个输入。
2) 约束
输入状态相互之间还可能存在某些依赖关系，称为约束。例如, 某些输入条件本身不可能同时出现。输出状态之间也往往存在约束。在因果图中,用特定的符号标明这些约束。
A.输入条件的约束有以下4类：
① E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。
② I约束（或）：a、b和c中至少有一个必须是1，即 a、b 和c不能同时为0。
③ O约束（唯一）；a和b必须有一个，且仅有1个为1。
④R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。
B.输出条件约束类型
输出条件的约束只有M约束（强制）：若结果a是1，则结果b强制为0。
5. 采用因果图法设计测试用例的步骤：
1)分析软件规格说明描述中, 那些是原因(即输入条件或输入条件的等价类),那些是结果(即输出条件), 并给每个原因和结果赋予一个标识符。
2)分析软件规格说明描述中的语义，找出原因与结果之间, 原因与原因之间对应的关系，根据这些关系,画出因果图。
3)由于语法或环境限制, 有些原因与原因之间,原因与结果之间的组合情况不可能出现，为表明这些特殊情况, 在因果图上用一些记号表明约束或限制条件。
4)把因果图转换为判定表。
5)把判定表的每一列拿出来作为依据,设计测试用例。
二. 实战演习
1. 某软件规格说明书包含这样的要求：第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改，但如果第一列字符不正确，则给出信息L；如果第二列字符不是数字，则给出信息M。
解答：
1) 根据题意，原因和结果如下：
原因：
1——第一列字符是A；
2——第一列字符是B；
3——第二列字符是一数字。
结果：
21——修改文件；
22 ——给出信息L；
23——给出信息M。
2) 其对应的因果图如下：
11为中间节点；考虑到原因1和原因2不可能同时为1，因此在因果图上施加E约束。
3)根据因果图建立判定表。
表中8种情况的左面两列情况中，原因①和原因②同时为1，这是不可能出现的，故应排除这两种情况。表的最下一栏给出了6种情况的测试用例，这是我们所需要的数据。
2.有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。
1) 分析这一段说明，列出原因和结果
原因：
1.售货机有零钱找
2.投入1元硬币
3.投入5角硬币
4.押下橙汁按钮
5.押下啤酒按钮
结果：
21.售货机〖零钱找完〗灯亮
22.退还1元硬币
23.退还5角硬币
24.送出橙汁饮料
25.送出啤酒饮料
2)画出因果图，如图所示。所有原因结点列在左边，所有结果结点列在右边。建立中间结点，表示处理的中间状态。中间结点：
11. 投入1元硬币且押下饮料按钮
12. 押下〖橙汁〗或〖啤酒〗的按钮
13. 应当找5角零钱并且售货机有零钱找
14. 钱已付清
3)转换成判定表：
4) 在判定表中，阴影部分表示因违反约束条件的不可能出现的情况，删去。第16列与第32列因什么动作也没做，也删去。最后可根据剩下的16列作为确定测试用例的依据。
(本文节选自己开拖拉机上班《史上最全的测试用例设计方法总结》) -
史上最全的测试用例设计方法总结（等价类划分）
千里 发布于 2008-05-08 14:24:22
等价类划分方法：
一.方法简介
1.定义
是把所有可能的输入数据,即程序的输入域划分成若干部分（子集）,然后从每一个子集中选取少数具有代表性的数据作为测试用例。该方法是一种重要的,常用的黑盒测试用例设计方法。
2.划分等价类：
等价类是指某个输入域的子集合。在该子集合中,各个输入数据对于揭露程序中的错误都是等效的，并合理地假定：测试某等价类的代表值就等于对这一类其它值的测试，因此,可以把全部输入数据合理划分为若干等价类,在每一个等价类中取一个数据作为测试的输入条件就可以用少量代表性的测试数据取得较好的测试结果。等价类划分可有两种不同的情况：有效等价类和无效等价类。
1)有效等价类
是指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合。利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能。
2)无效等价类
与有效等价类的定义恰巧相反。无效等价类指对程序的规格说明是不合理的或无意义的输入数据所构成的集合。对于具体的问题，无效等价类至少应有一个，也可能有多个。
设计测试用例时,要同时考虑这两种等价类。因为软件不仅要能接收合理的数据,也要能经受意外的考验，这样的测试才能确保软件具有更高的可靠性。
3.划分等价类的标准：
1)完备测试、避免冗余;
2)划分等价类重要的是：集合的划分，划分为互不相交的一组子集，而子集的并是整个集合;
3)并是整个集合：完备性;
4)子集互不相交：保证一种形式的无冗余性;
5)同一类中标识（选择）一个测试用例，同一等价类中，往往处理相同，相同处理映射到"相同的执行路径"。4.划分等价类的方法
1)在输入条件规定了取值范围或值的个数的情况下,则可以确立一个有效等价类和两个无效等价类。如：输入值是学生成绩，范围是0～100；（见图例）
2)在输入条件规定了输入值的集合或者规定了"必须如何"的条件的情况下,可确立一个有效等价类和一个无效等价类；
3)在输入条件是一个布尔量的情况下,可确定一个有效等价类和一个无效等价类。
4)在规定了输入数据的一组值（假定n个）,并且程序要对每一个输入值分别处理的情况下,可确立n个有效等价类和一个无效等价类。
例：输入条件说明学历可为:专科、本科、硕士、博士四种之一，则分别取这四种这四个值作为四个有效等价类，另外把四种学历之外的任何学历作为无效等价类。
5)在规定了输入数据必须遵守的规则的情况下,可确立一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）；
6)在确知已划分的等价类中各元素在程序处理中的方式不同的情况下,则应再将该等价类进一步的划分为更小的等价类。
5.设计测试用例
在确立了等价类后,可建立等价类表,列出所有划分出的等价类输入条件：有效等价类、无效等价类，然后从划分出的等价类中按以下三个原则设计测试用例：
1)为每一个等价类规定一个唯一的编号；
2)设计一个新的测试用例,使其尽可能多地覆盖尚未被覆盖地有效等价类,重复这一步，直到所有的有效等价类都被覆盖为止；
3)设计一个新的测试用例,使其仅覆盖一个尚未被覆盖的无效等价类,重复这一步，直到所有的无效等价类都被覆盖为止。
二.实战演习
1.某程序规定："输入三个整数 a 、 b 、 c 分别作为三边的边长构成三角形。通过程序判定所构成的三角形的类型，当此三角形为一般三角形、等腰三角形及等边三角形时，分别作计算 … "。用等价类划分方法为该程序进行测试用例设计。（三角形问题的复杂之处在于输入与输出之间的关系比较复杂。）
分析题目中给出和隐含的对输入条件的要求：
（1）整数 （2）三个数 （3）非零数 （4）正数
（5）两边之和大于第三边 （6）等腰 （7）等边
如果 a 、 b 、 c 满足条件（ 1 ） ~ （ 4 ），则输出下列四种情况之一：
1)如果不满足条件（5），则程序输出为 " 非三角形 " 。
2)如果三条边相等即满足条件（7），则程序输出为 " 等边三角形 " 。
3)如果只有两条边相等、即满足条件（6），则程序输出为 " 等腰三角形 " 。
4)如果三条边都不相等，则程序输出为 " 一般三角形 " 。
列出等价类表并编号（见图例）
覆盖有效等价类的测试用例：
a b c 覆盖等价类号码
3 4 5 （1）--（7）
4 4 5 （1）--（7），（8）
4 5 5 （1）--（7），（9）
5 4 5 （1）--（7），（10）
4 4 4 （1）--（7），（11）
覆盖无效等价类的测试用例（如下图）：
2.设有一个档案管理系统，要求用户输入以年月表示的日期。假设日期限定在1990年1月~2049年12月，并规定日期由6位数字字符组成，前4位表示年，后2位表示月。现用等价类划分法设计测试用例，来测试程序的"日期检查功能"。
1)划分等价类并编号,下表等价类划分的结果输入等价类
有效等价类
无效等价类
日期的类型及长度
①6位数字字符
②有非数字字符
③少于6位数字字符
④多于6位数字字符
年份范围
⑤在1990~2049之间
⑥小于1990
⑦大于2049
月份范围
⑧在01~12之间
⑨等于00
⑩大于12
2)设计测试用例，以便覆盖所有的有效等价类在表中列出了3个有效等价类，编号分别为①、⑤、⑧，设计的测试用例如下：
测试数据 期望结果 覆盖的有效等价类
200211 输入有效 ①、⑤、⑧
3)为每一个无效等价类设计一个测试用例，设计结果如下：
测试数据 期望结果 覆盖的无效等价类
95June 无效输入 ②
20036 无效输入 ③
2001006 无效输入 ④
198912 无效输入 ⑥
200401 无效输入 ⑦
200100 无效输入 ⑨
200113 无效输入 ⑩
3.NextDate 函数包含三个变量：month 、 day 和 year ，函数的输出为输入日期后一天的日期。 例如，输入为
①1≤month≤12
②1≤day≤31
③1920≤year≤2050
1)有效等价类为：
M1＝{月份：1≤月份≤12}
D1＝{日期：1≤日期≤31}
Y1＝{年：1812≤年≤2012}
2)若条件 ① ~ ③中任何一个条件失效，则 NextDate 函数都会产生一个输出，指明相应的变量超出取值范围，比如 "month 的值不在 1-12 范围当中 " 。显然还存在着大量的 year 、 month 、 day 的无效组合， NextDate 函数将这些组合作统一的输出： " 无效输入日期 " 。其无效等价类为：
M2＝{月份：月份<1}
M3＝{月份：月份>12}
D2＝{日期：日期<1}
D3＝{日期：日期>31}
Y2＝{年：年<1812}
Y3＝{年：年>2012}
弱一般等价类测试用例
月份 日期 年 预期输出
6 15 1912
强一般等价类测试用例同弱一般等价类测试用例
注：弱--有单缺陷假设；健壮--考虑了无效值
(一)弱健壮等价类测试
用例ID 月份 日期 年 预期输出
WR1 6 15 1912
WR2 -1 15 1912 月份不在1～12中
WR3 13 15 1912 月份不在1～12中
WR4 6 -1 1912 日期不在1～31中
WR5 6 32 1912 日期不在1～31中
WR6 6 15 1811 年份不在1812～2012中
WR7 6 15 2013 年份不在1812～2012中(二)强健壮等价类测试
用例ID 月份 日期 年 预期输出
SR1 -1 15 1912 月份不在1～12中
SR2 6 -1 1912 日期不在1～31中
SR3 6 15 1811 年份不在1812～2012中
SR4 -1 -1 1912 两个无效一个有效
SR5 6 -1 1811 两个无效一个有效
SR6 -1 15 1811 两个无效一个有效
SR7 -1 -1 1811 三个无效
4.佣金问题等价类测试用例，它是根据佣金函数的输出值域定义等价类，来改进测试用例集合。
输出销售额≤1000元 佣金10％
1000<销售额≤1800 佣金=100+(销售额-1000)*15%
销售额>1800 佣金=220+(销售额-1800)*20%
测试用例 枪机(45) 枪托(30) 枪管(25) 销售额 佣金
1 5 5 5 500 50
2 15 15 15 1500 175
3 25 25 25 2500 360
根据输出域选择输入值，使落在输出域等价类内，可以结合弱健壮测试用例结合。（本文节选自开拖拉机上班《史上最全的测试用例设计方法总结》）
-
测试用例设计—正交试验法【烟三修整】
naotang 发布于 2008-05-23 14:25:19
1、概念
1.1正交试验设计（Orthogonal experimental design）
是研究多因素多水平的一种设计方法，它是根据正交性从全面试验中挑选出部分有代表性的点进行试验，这些有代表性的点具备了“均匀分散，齐整可比”的特点，正交试验设计是一种基于正交表的、高效率、快速、经济的试验。1.2、因素（Factor）
在一项试验中，凡欲考察的变量称为因素（变量），也有的地方叫因子。1.3、水平（位级）（Level）
在试验范围内，因素被考察的值称为水平（变量的取值）。2、正交表
2.1正交表是一整套规则的设计表格。
正交表的表示形式：Ln（t^c）其中：L为正交表的代号，n为行数（试验次数），t为水平数，c为列数（因素数）。
例如：L4(2^3)，它表示需做4次实验，最多可观察3个因素，每个因素均为2水平。如下图：
一个正交表中也可以各列的水平数不相等，我们称它为混合型正交表，如L8(2^4 4^1)，如下图。此表的5列中，有1列为4水平，4列为2水平。根据正交表的数据结构看出，正交表是一个n行c列的表，其中第j列由数码1，2，… tj 组成，这些数码均各出现n/t 次，例如图1-1中，第二列的数码个数为2，t=2 ，即由1、2组成，各数码均出现2次。
mn型的正交表中，试验次数（行数）＝∑（每列水平数－1）＋1
例：5个3水平因子及一个2水平因子，表示为35*21，试验次数＝5*(3-1)+1*(2-1)+1＝12，即L12（3^5 2^1）。2.2正交表具有以下两项性质：
(1) 每一列中，不同的数字出现的次数相等。例如：在两水平正交表中，任何一列都有数码“1”与“2”，且任何一列中它们出现的次数是相等的；如在三水平正交表中，任何一列都有“1”、“2”、“3”，且在任一列的出现数均相等。
(2) 任意两列中数字的排列方式齐全而且均衡。例如：在两水平正交表中，任何两列(同一横行内)有序对子共有4种：(1，1)、(1，2)、(2，1)、(2，2)。每种对数出现次数相等。在三水平情况下，任何两列(同一横行内)有序对共有9种，1.1、1.2、1.3、2.1、2.2、2.3、3.1、3.2、3.3，且每对出现数也均相等。
以上两点充分的体现了正交表的两大优越性，即“均匀分散性，整齐可比”。通俗的说，每个因素的每个水平与另一个因素各水平各碰一次，这就是正交性。2.3如何查找正交表
1、Technical Support (support.sas.com)
http://support.sas.com/techsup/technote/ts723_Designs.txt2、查Dr. GenichiTaguchi设计的正交表，
http://www.york.ac.uk/depts/maths/tables/orthogonal.htm上面查询3、数理统计、试验设计等方面的书及附录中
关注点：因素数和对应的水平数组成的矩阵。
三、用正交表设计测试用例
3.1设计测试用例的步骤
1、有哪些因素（变量）
2、每个因素有哪几个水平（变量的取值）
3、选择一个合适的正交表
4、把变量的值映射到表中
5、把每一行的各因素水平的组合作为一个测试用例
7、加上你认为可疑且没有在表中出现的组合3.2如何选择正交表
1、考虑因素（变量）的个数
2、考虑因素水平（变量的取值）的个数
3、考虑正交表的行数
4、取行数最少的一个3.3设计测试用例时的三种情况
1、因素数（变量）、水平数（变量值）相符
水平数（变量的取值）相同、因素数（变量）刚好符合正交表例子：
对某人进行查询
假设查询某个人时有三个查询条件：
根据“姓名”进行查询
根据“身份证号码”查询
根据“手机号码”查询
考虑查询条件要么不填写，要么填写，此时可用正交表进行设计①因素数和水平数
有三个因素：
姓名、身份证号、手机号码每个因素有两个水平
姓名：填、不填
身份证号：填、不填
手机号码：填、不填②选择正交表
表中的因素数＞＝3
表中至少有三个因素的水平数＞＝2
行数取最少的一个
结果：L4(2^3)（图参见前面）③变量映射
姓名：1→填写，2→不填写；
身份证号：1→填写，2→不填写；
手机号码：1→填写，2→不填写；④用L4(2^3)设计的测试用例
测试用例如下：
1：填写姓名、填写身份证号、填写手机号
2：填写姓名、不填身份证号、不填手机号
3：不填姓名、填写身份证号、不填手机号
4：不填姓名、不填身份证号、填写手机号⑤增补测试用例
5：不填姓名、不填身份证号、不填手机号
测试用例减少数：8→52、因素数不相同
水平数（变量的取值）相同但在正交表中，找不到相同的因素数（变量）（取因素数最接近但略大的实际值的表）
例子：
兼容性测试：
操作系统：2000、XP、2003
浏览器：IE6.0、IE7.0、TT
杀毒软件：卡巴、金山、诺顿
如果全部进行测试的话，3^3=27个组合，需要进行27次测试。①因素数和水平数
有三个因素：
操作系统、浏览器、杀毒软件每个因素有三个水平。
②选择正交表
表中的因素数＞＝3
表中至少有三个因素的水平数＞＝3
行数取最少的一个
结果：L9(3^4)，如下图：
③变量映射
操作系统：1→2000，2→XP，3→2003
浏览器：1→IE6.0，2→IE7.0，3→TT
杀毒软件：1→卡巴，2→金山，3→诺顿
④用L9(3^4)设计的测试用例
测试用例如下：
2000、IE6.0、卡巴
2000、IE7.0、诺顿
2000、TT、金山
XP、IE6.0、诺顿
XP、IE7.0、金山
XP、TT、卡巴
2003、IE6.0、金山
2003、IE7.0、卡巴
2003、TT、诺顿
⑤增补测试用例
由于目前IE6.0、XP、卡巴的使用量很高，故增添以下测试用例：
XP、IE6.0、金山
XP、IE6.0、卡巴
2003、IE6.0、卡巴
测试用例减少数：27→123、水平数不相同
因素（变量）的水平数（变量的取值）不相同
例子：
假设有一个系统有5个独立的变量（A，B，C，D，E）。变量A和B都有两个取值（A1 、A2和B1、B2）。变量C和D都有三个可能的取值（C1、C2、C3和D1、D2、D3）。变量E有六个可能的取值（E1、E2、E3、E4、E5、E6）。①因素数和水平数
有五个因素（变量）：
A、B、C、D和E
两个因素有两个水平（变量的取值）、两个因素
有三个水平，一个因素有六个水平：
A：A1、A2
B：B1、B2
C：C1、C2、C3
D：D1、D2、D3
E：E1、E2、E3、E4、E5、E6②选择正交表
表中的因素数（变量）＞＝5
表中至少有二个因素的水平数（变量的取值）＞＝2
至少有另外二个因素的水平数＞＝3
还至少有另外一个因素的水平数＞＝6
行数取最少的一个（L49(7^8)、L18(3^6 6^1)）
结果：L18(3^6 6^1)（如下图）
③变量映射
A：1→A1、2→A2
B：1→B1、2→B2
C：1→C1、2→C2、3→C3
D：1→D1、2→D2、3→D3
E：1→E1、2→E2、3→E3、4→E4、5→E5、6→E6
④用L18(3^6 6^1)设计的测试用例
略测试用例减少数：216→18
加上一些可疑的情况（设为n个）为18＋n，它比原来也少多了。 -
对集合点（Rendezvous）的认识
胖英 发布于 2008-07-13 10:37:03
-
[转贴] 华为面试问题
jinhong2008_8 发布于 2007-02-08 10:32:07
-
《软件测试》 第八章 配置测试
maguschen 发布于 2007-08-20 21:43:55
标题搜索
我的存档
数据统计
- 访问量: 29791
- 日志数: 27
- 图片数: 1
- 书签数: 2
- 建立时间: 2008-07-16
- 更新时间: 2015-03-11
