软件测试技术与项目案例教程 章节内实例 梁立新 -第1、4章

Chapt1:例1：要对Windows记事本程序进行测试，选取其中的一个：测试项——文件菜单栏的测试测试对象——记事本程序文件菜单栏（测试用例标识10000，下同）所包含的子测试用例描述如下：------------文件/新建（1001）-----------文件/打开（1002）------------文件/保存（1003）------------文件/另存为（1004）------------文件/页面设置（1005）------------文件/打印（1006）------------文件/退出（1007）选取其中的一个子测试用例——文件/退出（1007）作为例子，测试用例如表1-1所示。表1-1测试用例示例字段名称描述标识符1007测试项记事本程序，“文件”菜单栏中的“文件”|“退出”命令的功能测试测试环境要求Windows2000Professional中文版输入标准(1)打开记事本程序，不输入任何字符，单击“文件”|“退出”命令(2)打开记事本程序，输入一些字符，不保存文件，单击“文件”|“退出”命令(3)打开记事本程序，输入一些字符，保存文件，单击“文件”|“退出”命令(4)打开一个记事本文件（*.txt），不做任何修改，单击“文件”|“退出”命令(5)打开一个记事本文件，修改后不保存，单击“文件”|“退出”命令输出标准(1)记事本未做修改，单击“文件”|“退出”命令，能正确地退出应用程序，无提示信息(2)记事本做修改未保存或者另存，单击“文件”|“退出”命令，会提示“未定标题文件的文字已经改变，想保存文件吗？”单击“是”，Windows将打开“保存”/“另存为”对话框，单击“否”，文件将不被保存并退出记事本程序，单击“取消”将返回记事本窗口测试用例间的关联Chapt4：等价类测试的测试运用1.准考证号码对招干考试系统“输入学生成绩”子模块设计测试用例。招干考试分三个专业，准考证号第一位为专业代号，如：1-行政专业，2-法律专业，3-财经专业。 行政专业准考证号码为：110001～111215 法律专业准考证号码为：210001～212006 财经专业准考证号码为：310001～314015准考证号码的等价类划分设计如下：有效等价类：(1)110001～111215(2)210001～212006(3)310001～314015无效等价类：(1)-¥～110000(2)111216～210000(3)212007～310000(4)314016～+¥2.电话号码城市的电话号码由两部分组成。这两部分的名称和内容分别是：地区码：以0开头的三位或者四位数字（包括0）；电话号码：以非0、非1开头的七位或者八位数字。假定被调试的程序能接受一切符合上述规定的电话号码，拒绝所有不符合规定的号码，就可用等价分类法来设计它的调试用例。划分等价类并编号，如表4-3所示。表4-3电话号码的等价类设计输入数据有效等价类无效等价类地区码以0开头的3位数串以0开头的4位数串以0开头的含有非数字字符的串以0开头的小于3位的数串以0开头的大于4位的数串以非0开头的数串电话号码以非0、非1开头的7位数串以非0、非1开头的8位数串以0开头的数串以1开头的数串以非0、非1开头的含有非法字符7或者8位数串以非0、非1开头的小于7位数串以非0、非1开头的大于8位数串为有效等价类设计测试用例，如表4-4所示。表4-4电话号码的有效等价类测试用例设计测试数据期望结果覆盖范围01023145678显示有效输入（1）、（8）0232234567（1）、（7）08513456789显示有效输入（2）、（7）085123145678（2）、（8）为每一个无效等价类至少设计一个测试用例，如表4-5所示。表4-5电话号码的无效等价类测试用例设计测试数据期望结果覆盖范围0a3423456789显示无效输入（3）0523456789显示无效输入（4）0123423456789显示无效输入（5）234123456789显示无效输入（6）02801234567显示无效输入（9）02812345678显示无效输入（10）028qw123456显示无效输入（11）028623456显示无效输入（12）028886234569显示无效输入（13）3.三角形问题的等价类测试三角形问题是软件测试中最经典的一个例子。输入三个整数a、b和c分别作为三角形的3条边，通过程序判断由这3条边构成的三角形类型是：等边三角形、等腰三角形、一般三角形或非三角形（不能构成一个三角形）。分析问题中给出和隐含的对输入条件的要求：条件1：整数条件2：三个数条件3：非零数条件4：正数条件5：两边之和大于第三边条件6：等腰条件7：等边如果a、b、c满足条件（1）~（4），则输出下列四种情况之一：如果不满足条件（5），则程序输出为“非三角形”。如果三条边相等即满足条件（7），则程序输出为“等边三角形”。如果只有两条边相等、即满足条件（6），则程序输出为“等腰三角形”。如果三条边都不相等，则程序输出为“一般三角形”。（1）划分等价类并编号，如表4-6所示。表4-6三角形问题的等价类输入条件输入3个整数有效等价类无效等价类整数a为非整数b为非整数c为非整数a和b为非整数b和c为非整数a和c为非整数a、b、c为非整数三个数只输入a只输入b只输入c只输入a、b只输入b、c只输入a、c输入三个以上非零数a为0b为0c为0a和b为0b和c为0a和c为0a、b、c为0正数a<0b<0c<0a<0且b<0a<0且c<0b<0且c<0a<0且b<0且c<0输出条件一般三角形a+b>cb+c>aa+c>ba+b=ca+b<cb+c=ab+c<aa+c=ba+c<b等腰三角形a=b但a≠cb=c但a≠ba=c但a≠b等边三角形a=b=c（2）为有效等价类设计测试用例，如表4-7所示。表4-7三角形问题的有效等价类测试用例设计输入a输入b输入c预期输出覆盖范围345一般三角形1~7；445等腰三角形1~7；8455等腰三角形1~7；9545等腰三角形1~7；10444等边三角形1~7；11（3）为每一个无效等价类至少设计一个测试用例，如表4-8所示。表4-8三角形问题的无效等价类测试用例设计4.保险公司计算保费费率的程序某保险公司的人寿保险的保费计算方式为：投保额×保险费率其中，保险费率依点数不同而有别，10点及10点以上保险费率为0.6%，10点以下保险费率为0.1%；而点数又是由投保人的年龄、性别、婚姻状况和抚养人数来决定，具体规则如表4-9所示。表4-9保险公司计算保费费率的规则年龄性别婚姻抚养人数20~3940~59其它MF已婚未婚1人扣0.5点最多扣3点（四舍五入取整）6点4点2点5点3点3点5点分析程序规格说明中给出和隐含的对输入条件的要求，列出等价类表（包括有效等价类和无效等价类）。年龄：一位或两位非零整数，值的有效范围为1~99。性别：一位英文字符，只能取值‘M’或‘F’。婚姻：字符，只能取值‘已婚’或‘未婚’。抚养人数：空白或一位非零整数（1~9）点数：一位或两位非零整数，值的范围为1~99根据表4-10中所示的等价类表，设计能覆盖所有等价类的测试用例如表4-11所示。表4-10保险公司人寿保险保费计算程序的等价类表输入条件有效等价类编号无效等价类编号年龄20~39岁1

40~59岁2

1~19岁60~99岁3小于112大于9913性别单个英文字符4非英文字符14非单个英文字符15‘M’5除‘M’和‘F’之外的其它单个字符16‘F’6婚姻已婚7除’已婚’和’未婚’之外的其它字符17未婚8抚养人数空白9除空白和数字之外的其它字符181~6人10小于1196~9人11大于920表4-11保险公司人寿保险保费计算程序的等价类测试用例测试用例编号输入数据预期输出年龄性别婚姻抚养人数保险费率127F未婚空白0.6%250M已婚20.6%370F已婚70.1%40M未婚空白无法推算5100F已婚3无法推算699男已婚4无法推算71Child未婚空白无法推算845N已婚5无法推算938F离婚1无法推算1062M已婚没有无法推算1118F未婚0无法推算1240M未婚10无法推算边界值分析法的测试运用例1：有两个输入变量x1(a≤x1≤b)和x2(c≤x2≤d)的程序P的边界值分析测试用例如下：{<X1nom,X2min>,<X1nom,X2min+>,<X1nom,X2nom>,<X1nom,X2max>,<X1nom,X2max->,<X1min,X2nom>,<X1min+,X2nom>,<X1max,X2nom>,<X1max-,X2nom>}如图4-4所示： 图4-4边界值分析测试用例程序P的健壮性测试如下图4-5所示： 图4-5健壮性边界值测试用例对于有两个变量的程序P1，其最坏情况测试的用例如图4-6所示。 图4-6最坏情况测试用例显而易见，最坏情况测试将更加彻底，因为边界值分析测试是最坏情况测试用例的子集。进行最坏情况测试意味着更多的测试工作量。n个变量的函数，其最坏情况测试将会产生5n个测试用例，而边界值分析只会产生4n+1个测试用例。由此，可以推知健壮性最坏情况测试是对最坏情况测试的扩展，这种测试使用健壮性测试的七个元素集合的笛卡尔积，将会产生7n个测试用例。图4-7给出了两个变量函数的最坏情况的测试用例。图4-7健壮性最坏情况测试用例例2：有二元函数f(x,y)，其中x∈[1,12]，y∈[1,31]。则采用边界值分析法设计的测试用例是：{<1,15>,<2,15>,<11,15>,<12,15>,<6,15>,<6,1>,<6,2>,<6,30>,<6,31>}由此，可以得出推论：对于一个含有n个变量的程序，采用边界值分析法测试程序会产生4n+1个测试用例。例3标准化考试成绩统计的测试用例：现有一个学生标准化考试批阅试卷，产生成绩报告的程序。其规格说明如下：程序的输入文件由一些有80个字符的记录组成，如表4-15所示，所有记录分为3组：表4-15输入条件①标题：这一组只有一个记录，其内容为输出成绩报告的名字。②试卷各题标准答案记录：每个记录均在第80个字符处标以数字"2"。该组的第一个记录的第1至第3个字符为题目编号（取值为1-999）。第10至第59个字符给出第1至第50题的答案（每个合法字符表示一个答案）。该组的第2，第3……个记录相应为第51至第100，第101至第150，…题的答案。③每个学生的答卷描述：该组中每个记录的第80个字符均为数字"3"。每个学生的答卷在若干个记录中给出。如甲的首记录第1至第9字符给出学生姓名及学号，第10至第59字符列出的是甲所做的第1至第50题的答案。若试题数超过50，则第2，第3……记录分别给出他的第51至第100，第101至第150……题的解答。然后是学生乙的答卷记录。④学生人数不超过200，试题数不超过999。⑤程序的输出有4个报告：a)按学号排列的成绩单，列出每个学生的成绩、名次。b)按学生成绩排序的成绩单。c)平均分数及标准偏差的报告。d)试题分析报告。按试题号排序，列出各题学生答对的百分比。解答：分别考虑输入条件和输出条件，以及边界条件。如表4-16所示的输入条件及相应的测试用例。表4-16输入条件测试用例

输出条件及相应的测试用例如表4-17所示。表4-17输出条件测试用例例4NextDate函数的边界值分析测试用例NextDate问题也是软件测试中的一个经典问题。在NextDate函数中，隐含规定了变量mouth和变量day的取值范围为1≤mouth≤12和1≤day≤31，并设定变量year的取值范围为1912≤year≤2050，如表4-18所示。表4-18NextDate函数测试用例测试用例mouthdayyear预期输出Test1Test2Test3Test4Test5Test6Test766666661515151515151519111912191319752049205020511911.6.161912.6.161913.6.161975.6.162049.6.162050.6.162051.6.16Test8Test9Test10Test11Test12Test13666666-112303132200120012001200120012001day超出[1…31]2001.6.22001.6.32001.7.1输入日期超界day超出[1…31]Test14Test15Test16Test17Test18Test19-112111213151515151515200120012001200120012001Mouth超出[1…12]2001.1.162001.2.162001.11.162001.12.16Mouth超出[1…12]例5加法器边界值测试用例设计加法器程序计算两个1～100之间整数的和。对于加法器程序，根据输入要求可将输入空间划分为三个等价类，即1个有效等价类（1～100之间），两个无效等价类（<1，>100）。但这种等价类划分不是很完善，我们只考虑了输入数据的取值范围，而没有考虑输入数据的类型，我们认为输入应为整数，但用户输入什么都有可能。测试用例如表4-19所示表4-19加法器程序测试用例测试用例输入数据预期输出加数1加数2和Test115051Test225052Test39950149Test410050150Test550151Test650252Test75099149Test850100150Test9050提示“请输入1～100间的整数”Test10500提示“请输入1～100间的整数”Test1110150提示“请输入1～100间的整数”Test1250101提示“请输入1～100间的整数”Test130.250提示“请输入1～100间的整数”Test14500.2提示“请输入1～100间的整数”Test15A50提示“请输入1～100间的整数”Test1650A提示“请输入1～100间的整数”Test17@50提示“请输入1～100间的整数”Test1850@提示“请输入1～100间的整数”Test19空格50提示“请输入1～100间的整数”Test2050空格提示“请输入1～100间的整数”Test2150提示“请输入1～100间的整数”Test2250提示“请输入1～100间的整数”例6三角形问题的边界值分析测试用例设计在三角形问题描述中，除了要求边长是整数外，没有给出其它的限制条件。在此，我们将三角形每边边长的取范围值设置为[1,100]。如表4-20所示。说明：如果程序规格说明中没有显式地给出边界值，则可以在设计测试用例前先设定取值的下限值和上限值。表4-20三角形问题测试用例测试用例abc预期输出Test1Test2Test3Test4Test560606050506060605050126099100等腰三角形等腰三角形等边三角形等腰三角形非三角形Test6Test7Test8Test960605050129910060605050等腰三角形等腰三角形等腰三角形非三角形Test10Test11Test12Test1312991006060505060605050等腰三角形等腰三角形等腰三角形非三角形决策表的测试运用例1：假设中国某航空公司规定：中国去欧美的航线所有座位都有食物供应。每个座位都可以播放电影。中国去非欧美的国外航线都有食物供应，只有商务舱可以播放电影。中国国内的航班的商务舱有食物供应，但是不可以播放电影

。中国国内的航班的经济舱除非飞行时间大于2小时就有食物供应，但是不可以播放电影。

这样，条件有：1．航线：国外的欧美，国外非欧美，国内；2．舱位：商务，经济；3．飞行时间：小于2还是大于等于2。行为有：1．播放电影；2．食物供应。形成的判定表如表4-22所示。表4-22中国某航空公司决策表设计规则1规则2规则3规则4规则5规则6条件

航线是国外欧美的YNNNNN航线是国外非欧美的NYYNNN航线是国内的NNNYYY舱位是商务舱-YNYNN飞行时间大于等于2小时----YN行为

食物供应XXXXX

播放电影XX

这样可以写出6个测试用例来覆盖到这些场景了。注意这些测试用例完全是根据需求定义而来的。对于测试用例1来说，需求说明认为商务舱还是经济舱是不能影响后面的行为的，但是对于测试人员来说，其实还是要验证的。所以可能需要加测试用例。这就更说明了决策表只是一种理清思路的工具，还是要结合其它的测试技术来生成额外的测试用例。例2：NextDate函数的精简决策表M1＝{月份：每月有30天}M2＝{月份：每月有31天，12月除外}M4＝{月份：12月}M3＝{月份：2月}D1＝{日期：1<=日期<=27}D2＝{日期：28}D3＝{日期：29}D4＝{日期：30}D5＝{日期：31}Y1＝{年：年是闰年}Y2＝{年：年不是闰年}输入变量间存在大量逻辑关系的NextData决策表如表4-23所示。表4-23NextDate问题决策表例3：问题要求：“……对功率大于50瓦特的机器、维修记录不全或已运行10年以上的机器，应给予优先的维修处理……”。这里假定，“维修记录不全”和“优先维修处理”均已在别处有更严格的定义。请建立决策表。解答：（1）确定规则的个数：这里有3个条件，每个条件有两个取值，故应有2*2*2=8种规则。（2）列出所有的条件项和动作桩，如表4-24所示：表4-24条件项和动作桩

条件项和动作桩条件功率大于50瓦特吗？维修记录不全吗？运行超过10年吗？动作进行优先处理作其他处理（3）填入条件项。可从最后1行条件项开始，逐行向上填满。如第三行是：YNYNYNYN，第二行是：YYNNYYNN等等。（4）填入动作桩和动作顶。这样便得到形如表4-25的初始判定表。表4-25初始判定表

12345678条件功率大于50瓦特吗？YYYYNNNN维修记录不全吗？YYNNYYNN运行超过10年吗？YNYNYNYN动作进行优先处理XXX

X

X

作其他处理

X

X

X（5）化简。合并相似规则后得到表4-26。表4-26化简后的判定表

12345条件功率大于50瓦特吗？YYYNN维修记录不全吗？YNN--运行超过10年吗？-YNYN动作进行优先处理XX

X

作其他处理

X

X因果图的测试运用例1用因果图法测试以下程序。程序的规格说明要求：输入的第一个字符必须是#或*，第二个字符必须是一个数字，此情况下进行文件的修改；如果第一个字符不是#或*，则给出信息N，如果第二个字符不是数字，则给出信息M。解答：1)

根据题意，原因和结果如下：

原因：

1——第一列字符是A；

2——第一列字符是B；

3——第二列字符是一数字。

结果：

21——修改文件；

22——给出信息L；

23——给出信息M。2)

其对应的因果图如下：11为中间节点；考虑到原因1和原因2不可能同时为1，因此在因果图上施加E