第章黑盒测试.ppt

1．划分等价类 等价类是输入域的某个子集，在该子集中，各个输入数据对于揭露程序中的错误是等效的。测试某等价类的代表值就等价于对这一类其他的值进行测试。 （1）有效等价类 检验程序是否实现了规格说明预先规定的功能和性能。 即对于规格说明来说，是合理的、有意义的输入数据构成的集合。 （2）无效等价类 检查软件功能和性能的实现是否有不符合规格说明要求的地方。 即对于规格说明来说，是不合理的、没有意义的输入数据构成的集合。 （2）按数值划分 如果规格说明规定了一组输入数据，而且程序要对每个输入值分别进行处理，则可为每一个输入值确立一个有效等价类，针对这组值确立一个无效等价类，即所以不允许输入值的集合。 （3）按数值集合划分 如果输入条件规定了输入值的集合，或者是规定了“必须如何”的条件，这时可确定一个有效等价类和一个无效等价类。 例如，在C语言中对变量标识符的规定为“以字母打头的……”。那么所有以字母打头的构成一个有效等价类，而不在此集合内的构成一个无效等价类。 （4）按限制条件或规则划分 如果规定了输入数据和须遵守的规则或限制条件，则可以确立一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）。 （5）细分等价类 等价类中的各个无素在程序中的处理若不相同，则可将此等价类进一步划分成更小的等价类。 2.2.2 等价类划分法的测试运用 1. NextDate 函数包含三个变量：month 、 day 和 year ，函数的输出为输入日期后一天的日期。 例如，输入为 2006年3月 7日，则函数的输出为 2006年3月8日 。要求输入变量 month 、 day 和 year 均为整数值，并且满足下列条件：? ①1≤month≤12? ②1≤day≤31? ③1812≤year≤2012? 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?????????? 1912年6月16日? 强一般等价类测试用例同弱一般等价类测试用例? 注：弱--有单缺陷假设；健壮--考虑了无效值(一)弱健壮等价类测试? 用例ID?? 月份? 日期??? 年????????? 预期输出? WR1????? 6????? 15??? 1912????? 1912年6月16日? 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??????