软件质量保证与测试(二)

软件质量保证与测试

2软件测试的核心技术黑盒测试等价类划分边界值分析白盒测试逻辑覆盖路径覆盖灰盒测试2.1黑盒测试

（Black-BoxTesting）也称数据驱动测试或基于规格说明的测试特点：不考虑内部结构，而是在软件的接口处进行测试关注功能，可用于高层的测试设计用例可早于实现，或与实现同步进行黑盒测试优势功能上更易满足用户需要用例生成更直观、易理解、更容易用例可重复使用劣势代码得不到测试要求规格说明和设计正确测试的充分性难以保证对用例设计的要求高，人员因素更关键2.1.1等价类划分法划分

Pi为集合S的有限个子集，若∪Pi=S且任意的i和j，有Pi∩Pj=空，则称有限各子集Pi为S的一个划分、等价关系，R(x,y)自反性：R(x,x)；对称性：若R(x,y），则R(y,x)；传递性：若R(x,y），R(y,z），则R(x,z）等价类有集合S，R为S上的一种等价关系，则对于S中的任意元素x，称集合S’={y|R(x,y)}为元素x的等价类等价类划分等价类划分说明等价关系不唯一因此，等价类划分也不唯一测试中的划分，更依赖知识、经验、技巧例1.整数集合上的等价关系Mod3Sign合数、质数、1、0、负数2.1.1等价类划分法-单因素将所有可能的输入分为若干等价类，可有多个有效等价类和多个无效等价类。在每个等价类中构造用例进行测试。划分的原则：输入有取值范围的：一个有效+两个无效输入N个值，并且程序对个值分别处理：N个有效类+一个无效类输入必须满足规则：一个有效+多个无效一个等价类，必要时可进一步细化为多个子等价类例1函数bool

IsLeap(intyear),判断给定的year是否是闰年。无效等价类：0,特别大的数，特别小的数有效等价类：可以有多种划分方法第一种：分大于0，小于0两个等价类第二种：在第一种的基础上，进一步将大于0的等价类细分成小于2000，等于2000，大于2000三个等价类第三种：400的倍数，100的倍数，4的倍数，其它四个等价类例2文献分类号由两个大写字母+两位或三位数字组成。用等价类方法设计测试用例。有效等价类无效等价类测试数据输出期望有效的前导+有效的序号(1)

TP31合法

无效的前导+有效的序号（2）3A46，#K458非法

有效的前导+无效的序号（3）AB9876非法

无效的前导+无效的序号（4）345678%非法若必要可进一步细化：说明有效等价类无效等价类测试数据输出期望

有效的前导+有效的序号(1)

TP31合法无效的前导+有效的序号

非字母前导+有效的序号（2）

3A21非法

前导过长+有效的序号（3）

ABC13非法

前导过短+有效的序号（4）

D128非法

前导非大写+有效的序号（5）

ab666非法有效的前导+无效的序号

有效的前导+序号非数字（6）

TP3_7非法

有效的前导+序号过长（7）

QQ6789非法

有效的前导+序号过短（8）

MM8非法无效的前导+无效的序号

非字母前导+序号非数字（9）

$P_80非法

非字母前导+序号过长（10）

A&8080非法

非字母前导+序号过短（11）

B_1非法

前导过长+序号非数字（12）

BCXYZ_9A非法

前导过长+序号过长（13）

ABCD1234非法

前导过长+序号过短（14）

ABCD9非法

前导过短+序号非数字（15）

K8@@非法

前导过短+序号过长（16）

U1973非法

前导过短+序号过短（17）

J8非法

前导非大写+序号非数字（18）

No9@9非法

前导非大写+序号过长（19）tv45678

非法

前导非大写+序号过短（20）

jh7非法

等价类划分必须含有有效和无效等价类根据需要可以进一步细化等价类(包括有效、无效等价类)设计测试用例时，每个无效等价类对应一个测试用例(有效等价类的用例参考多因素等价类划分)在本例中，虽然文献号是一个输入量，但在设计等价类时，将其分成两个独立的部分，这种方式实际上属于多因素等价类划分。注意：在划分等价类时，即可以针对输入划分等价类，也可以针对输出划分等价类2.1.2等价类划分法-多因素多因素：集合中的每个元素是由多个相对独立的因素共同构成。例：日期是由年、月、日三个因素共同组成平面位置信息是由X和Y两个因素共同组成登录信息由用户名和密码两个因素组成圆x*x+y*y=1上的点由x和y两个因素组成(虽然x，y是相关的，从测试角度，可以看成独立的或弱相关的)等价类划分法-多因素方法：将每个因素，按单因素等价类的方法，划分等价类。将各因素的等价类，进行交叉组合。根据不同策略，从组合中选择不同的测试用例弱一般等价类法强一般等价类法弱健壮等价类法强健壮等价类法2.1.2.1弱一般等价类法只考虑有效等价类的组合情况如有效等价类的组合数量是2X3X4X4=96，选择一个具有最大有效等价类数量(这里为4)的因素，该因素的每个有效等价类对应一个测试用例，共计4个。设计用例时，选择其它因素的等价类，应保证用例不重复，用例集覆盖任何因素。弱一般等价类法示意图2.1.2.2强一般等价类法只考虑有效等价类的组合情况覆盖了所有的等价类覆盖了所有可能的输入组合如有效等价类的组合数量是2X3X4X4=96，测试用例数为96。强一般等价类示意图2.1.2.3弱健壮等价类法“健壮”是指测试考虑到了无效等价类“弱”是指基于单故障假设对于有效等价类，同弱一般等价类对于无效等价类，要求最终的用例集要至少覆盖所有单故障的情况，即用例中有一个无效等价类，其它等价类均为有效等价类多故障不限弱健壮等价类法示意图2.1.2.4强健壮等价类法“健壮”是指测试考虑到了无效等价类“强”是指基于多故障假设对于有效等价类，同强一般等价类对于无效等价类，用例集应覆盖所有故障的组合情况实际上，该方法就是所有等价的的完整笛卡尔积(或称组合)强健壮等价类法示意图例一个函数根据输入的年、月、日，计算并输出下一天的日期。使用等价类划分的方法测试该函数。int

NextDate(int

year,int

month,intday);从原理可以看出：等价关系的决定了等价类的划分，而划分直接影响测试的效果。本例中也有多种划分方法。如：Year，可分为闰年、平年和无效年份三个等价类。Month，可分为小月，大月，2月，非法月份4个等价类Day，可分为1、28、29、30、31、正常日期、非法日期7个等价类采用弱健壮等价类法对合法的：对Day的每个有效等价类，选择Year和Month的有效等价类，使得其尽可能多地覆盖未选的等价类。计6个用例。对非法的：可选3个用例Day非法，Month合法，year合法Day合法，Month非法，ye