1、测试用例设计测试用例设计n黑盒测试n等价类划分法n边界值分析法n因果图法n错误推测法n功能图法n白盒测试n基本路径测试法n逻辑覆盖法语句覆盖法判定覆盖法条件覆盖法判定-条件覆盖法条件组合覆盖法路径覆盖法测试用例的定义和特征测试用例的定义和特征n测试用例的定义：测试用例的定义：（1）测试用例是为特定的目的而设计的一组测试输）测试用例是为特定的目的而设计的一组测试输入、入、执行条件和预期的结果的集合。执行条件和预期的结果的集合。（2）测试用例是有效的发现软件缺陷的最小测试执）测试用例是有效的发现软件缺陷的最小测试执行单元。行单元。n测试用例的特征：测试用例的特征：（1）最有可能抓住错误的；）最有可
2、能抓住错误的；（2）不是重复的、多余的；）不是重复的、多余的；（3）一组相似测试用例中最有效的；）一组相似测试用例中最有效的；（4）既不是太简单，也不是太复杂。）既不是太简单，也不是太复杂。设计测试用例的基本准则n测试用例的代表性测试用例的代表性 能够代表并覆盖各种合理的和不合理的、合法的和非法的、边界的和越界的以及极限的输入数据、操作和环境设置等。n测试结果的可判定性测试结果的可判定性 即测试执行结果的正确性是可判定的，每一个测试用例都应有相应的期望结果。n测试结果的可再现性测试结果的可再现性 即对同样的测试用例，系统的执行结果应当是相同的。黑盒测试黑盒测试称为功能性测试称为功能性测试或数据
3、驱动测试。或数据驱动测试。等价类划分法的思想等价类划分法的思想n等价类划分设计方法是把所有可能的输入数据，即程序的输入域划分成若干部分（子集），然后从每一个子集中选取少量具有代表性的数据作为测试用例。n等价类是指某个输入域的子集合。在该子集合中，各个输入数据对于揭露程序中的错误都是各个输入数据对于揭露程序中的错误都是等效的等效的。n并合理地假定：测试某等价类的代表值就等效于对这一类其他值的测试。等价类的类型*有效等价类：有效等价类：是指对于程序的规格说明来说是是指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合。合理的、有意义的输入数据构成的集合。利用有效等价类可检验程序是否实现了规
4、利用有效等价类可检验程序是否实现了规格说明书中所规定的功能和性能格说明书中所规定的功能和性能*无效等价类：无效等价类：是指对软件规格说明而言，是指对软件规格说明而言，是无意义的、不合理的输入数据所构成的集合。是无意义的、不合理的输入数据所构成的集合。利用无效等价类，可以鉴别程序异常处理利用无效等价类，可以鉴别程序异常处理的情况，检查被测对象的功能和性能的实现是的情况，检查被测对象的功能和性能的实现是否有不符合规格说明要求的地方。否有不符合规格说明要求的地方。等价类的划分原则（1）按照区间划分）按照区间划分在输入条件规定了取值在输入条件规定了取值范围或值的个数的情况下，可以确定一个有效范围或值的
5、个数的情况下，可以确定一个有效等价类和两个无效等价类。等价类和两个无效等价类。（2）按照数值划分）按照数值划分在规定了一组输入数据在规定了一组输入数据（假设包括（假设包括 n个输入值），并且程序要对每一个个输入值），并且程序要对每一个输入值分别进行处理的情况下，可确定输入值分别进行处理的情况下，可确定 n 个有个有效等价类（每个值确定一个有效等价类）和一个效等价类（每个值确定一个有效等价类）和一个无效等价类（所有不允许的输入值的集合无效等价类（所有不允许的输入值的集合）。（3）按照数值集合划分）按照数值集合划分在输入条件规定了在输入条件规定了输入值的集合或规定了输入值的集合或规定了“必须如何必
6、须如何”的条件的条件下，可以确定一个有效等价类和一个无效等下，可以确定一个有效等价类和一个无效等价类（该集合有效值之外）。价类（该集合有效值之外）。（4）按照限制条件或规则划分）按照限制条件或规则划分在规定了在规定了输入数据必须遵守的规则或限制条件的情况输入数据必须遵守的规则或限制条件的情况下，可确定一个有效等价类（符合规则）和下，可确定一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）若干个无效等价类（从不同角度违反规则）。（5）细分等价类）细分等价类在确知已划分的等价类中各元在确知已划分的等价类中各元素在程序中的处理方式不同的情况下，则应再将该素在程序中的处理方式不同的情况
7、下，则应再将该等价类进一步划分为更小的等价类，并建立等价类等价类进一步划分为更小的等价类，并建立等价类表。表。（6）在输入条件是一个布尔量的情况下，可确定一个有效等价类和一个无效等价类。等价类划分法的步骤（1）确定等价类）确定等价类（2）建立等价类表，列出所有划分出的等价类）建立等价类表，列出所有划分出的等价类（3）从划分出的等价类中按以下的）从划分出的等价类中按以下的3个原则设计测个原则设计测试用例：试用例：A 为每一个等价类规定一个唯一的编号为每一个等价类规定一个唯一的编号 B 设计一个新的测试用例，使其尽可能多的覆设计一个新的测试用例，使其尽可能多的覆盖尚未被覆盖的有效等价类，重复这一步
8、，直到所盖尚未被覆盖的有效等价类，重复这一步，直到所有的有的有效等价类有效等价类都被覆盖为止。都被覆盖为止。C 设计一个新的测试用例，使其仅覆盖一个尚设计一个新的测试用例，使其仅覆盖一个尚未被覆盖的无效等价类，重复这一步，直到所有的未被覆盖的无效等价类，重复这一步，直到所有的无效等价类无效等价类都被覆盖为止。都被覆盖为止。确定等价类的方法n先考虑输入数据的类型（合法型和非法型）先考虑输入数据的类型（合法型和非法型）n再考虑数据范围（合法型中的合法区间和非再考虑数据范围（合法型中的合法区间和非法区间）法区间）n最后考虑输出结果，逆向设定输入最后考虑输出结果，逆向设定输入举例n输入三个整数作为三边
9、的边长构成三角形。输入三个整数作为三边的边长构成三角形。当此三角形为一般三角形、等腰三角形、等当此三角形为一般三角形、等腰三角形、等边三角形时，分别作计算。用等价类划分方边三角形时，分别作计算。用等价类划分方法为该程序进行测试用例设计。法为该程序进行测试用例设计。(1)确定等价类设a、b、c代表三角形的三条边。a)整数b)3个数c)非零数d)正数e)两边之和大于第三边f)两边相等g)三边相等2）列出等价类表并编号练习n现有一个小程序，能够求出三个在-100到+100间整数中的最大者，程序界面如下：2.等价类划分法n(1)弱一般等价类测试n特点:不考虑无效数据,测试用例使用部分有效等价类中的一个
10、值abcdefgx2x12.等价类划分法n(2)强一般等价类测试n特点:每一个有效等价类要选择至少一个测试用例abcdefgx2x12.等价类划分方法n(3)弱健壮等价类测试n对于有效输入:使用部分有效类的个值n对于无效输入:使用部分无效值abcdefgx2x12.等价类划分方法n(4)强健壮等价类测试n每个有效等价类和无效等价类都至少要选择一个测试用例abcdefgx2x1三角形问题4个标准等价类测试用例测试用例测试用例abc预期输出预期输出Test1101010等边Test210105等腰Test3345一般三角形test4412非三角形n练习3：NextDate函数nNextDateNe
11、xtDate函数有三个变量函数有三个变量month,day,yearmonth,day,year的函数，输出为输入的函数，输出为输入日期下一天的日期。如：输入为日期下一天的日期。如：输入为20072007年年7 7月月1919日，输出为日，输出为20072007年年7 7月月2020日。要求三个变量都为整数，且满日。要求三个变量都为整数，且满足：足：n条件：1 month 12n条件2：1 day 31n条件3：1912 year 2050（1）划分等价类1Year Month DayYear Month Day的有效值区间定义如下：的有效值区间定义如下：nM1=month:1month 12
12、nD1=day:1 day 31nY1=year:1912 year 2050（1）划分等价类2nM2=month:month12nD2=day:day31nY2=year:year2050NextDate函数的弱健壮等价类测试用例测试用例 monthdayyear预期输出Test1Test2Test3Test4Test5Test6Test76-1136666151515-132151519122005200520052005191120511912.6.16month不在有效值内不在有效值内month不在有效值内不在有效值内day不在有效值内不在有效值内day不在有效值内不在有效值内year
13、不在有效值内不在有效值内year不在有效值内不在有效值内NextDate函数的强健壮等价类测试用例函数的强健壮等价类测试用例(部分部分)测试用例 monthdayyear预期输出Test1Test2Test3Test4Test5Test6Test7-166-16-1-115-115-1-115-11918191819112005191119111911month不在有效值内不在有效值内day不在有效值内不在有效值内year不在有效值内不在有效值内month,day不在有效值内不在有效值内day,year不在有效值内不在有效值内month,year不在有效值内不在有效值内month,day,ye
14、ar不在有效值不在有效值内内续：详细的等价类划分n考虑对考虑对的处理：的处理：nM1=month:month有有30天天nM2=month:month有有31天天nM3=month:month是是2月月nD1=day:1 day 28nD2=day:day=29nD3=day:day=30nD4=day:day=31nY1=year:year=2000nY2=year:year是闰年是闰年nY3=year:year是平年是平年测试用例monthdayyear预期输出Test1Test2Test3Test467261529303120001996200220002000.6.161996.7.3
15、02002.2.31 2000.7.1（）强强一一般般等等价价类类测测试试用用例例测试用例monthdayyear预期输出Test1Test2Test3Test4Test5Test6Test7Test8Test9Test10Test11Test12Test13Test14Test156666666666667771515142929293030303131311514142000199620022000199620022000199620022000199620022000199620022000.6.161996.6.162002.6.152000.6.301996.6.302002.6.3
16、02000.6.31(不可能的日期不可能的日期)1996.6.31(不可能的日期不可能的日期)2002.6.31(不可能的日期不可能的日期)2000.7.1(无效输入无效输入)1996.7.1(无效输入无效输入)2002.7.1(无效输入无效输入)2000.7.161996.7.152002.7.15测试用例monthdayyear预期输出Test16Test17Test18Test19Test20Test21Test22Test23Test24Test25Test26Test27Test28Test29Test30777777777222222292929303030313131141414
17、2929292000199620022000199620022000199620022000199620022000199620022000.7.301996.7.302002.7.302000.7.311996.7.312004.7.312000.8.11996.8.12002.8.12000.2.151996.2.152002.2.152000.3.1(无效的输入日期无效的输入日期)1996.3.12002.3.1 不可能的日期不可能的日期测试用例 monthdayyear预期输出Test31Test32Test33Test34Test35Test362226663030303131312
18、000199620022000199620022000.3.1无效输入日期无效输入日期1996.3.1无效输入日期无效输入日期2002.3.1无效输入日期无效输入日期2000.7.1无效输入日期无效输入日期1996.7.1无效输入日期无效输入日期2002.7.1无效输入日期无效输入日期作业：某城市电话号码由三部分组成。它们的某城市电话号码由三部分组成。它们的名称和内容分别是：名称和内容分别是：地区码：空白或必须为地区码：空白或必须为0952；前前 缀：非缀：非0 的三位数字；的三位数字；后后 缀：缀：4位数字。位数字。假定被测程序能接受一切符合上述规定假定被测程序能接受一切符合上述规定的电话号码，拒绝所有不符合规定的电话号的电话号码，拒绝所有不符合规定的电话号码。根据该程序的规格说明，作等价类的划码。根据该程序的规格说明，作等价类的划分，并设计测试方案。分，并设计测试方案。
