黑盒测试用例设计方法.pptVIP

动态技术的应用 黑盒测试 黑盒测试 功能测试或者数据驱动测试。它是在已知产品所应 具有的功能，通过测试来检测每个功能是否都能正 常使用： 1）是否有不正确或遗漏的功能 2）在接口上，是否能正确的接受输入数 据，能否产生正确的输出 3）访问外部信息是否有错 4）性能上是否满足要求 5）界面是否错误、是否不美观 6）初始化和终止错误 黑盒测试用例设计方法 等价类划分 边界值分析法 错误推测法 因果图法 功能图法 等价类 指某个输入域的子集合，在该集合中，各个输入数据对于揭露程序中的错误都是等效的，具有等价性。 例如：对所有实数进行开方运算的程序的测试 将实数分类：正实数、负实数、零。 划分等价类 等价类的划分有两种不同的情况： 有效等价类：是指对于程序的规格说明来说，是合理的，有意义的输入数据构成的集合。 无效等价类：是指对于程序的规格说明来说，是不合理的，无意义的输入数据构成的集合。 在设计测试用例时，要同时考虑有效等价类和无效等价类的设计。 划分等价类的原则 如果输入条件规定了取值范围，或值的个数，则可以确立一个有效等价类和两个无效等价类。 划分等价类的原则 如果输入条件规定了输入值的集合，或者是规定了“必须如何”的条件，这时可确立一个有效等价类和一个无效等价类。 例如， 程序输入条件为x=10, 则有效等价类为x=10, 无效等价类为x≠10. 在编程语言中对变量标识符规定为“以字母打头的……串”。那么所有以字母打头的构成有效等价类，而不在此集合内（不以字母打头）的归于无效等价类。 划分等价类的原则 如果输入条件是一个布尔量，则可以确定一个有效等价类和一个无效等价类。 例如：输入条件为x=true, 则有效等价类为x=true,无效等价类为x= false 划分等价类的原则 ④ 如果规定了输入数据的一组值，而且程序要对每个输入值分别进行处理。这时可为 每一个输入值确立一个有效等价类，此外针对这组值确立一个无效等价类，它是所有不允许的输入值的集合。 例如，在教师上岗方案中规定对教授、副教授、讲师和助教分别计算分数，做相应的处理。因此可以确定4个有效等价类为教授、副教授、讲师和助教，一个无效等价类，它是所有不符合以上身分的人员的输入值的集合。 划分等价类的原则 如果规定了输入数据必须遵守的规则，则可以确立一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）。 例如， Pascal语言规定 “一个语句必须以分号‘;’结束”。这时，可以确定一个有效等价类 “以‘;’结束”，若干个无效等价类 “以‘:’结束”、“以‘,’结束”、“以‘ ’结束”、“以LF结束”等。 有效Email地址的规则：含有﹫，﹫后面是*.*, Emaild地址不带特殊符号”,#,,’等。 有效等价类：满足所有的条件的输入的集合。 无效等价类：任何不满足一个或者多个条件的输入的集合 划分等价类的原则 ⑥ 在确定已知的等价类中各元素在程序处理中的方式不同的情况下，应再将该等价类进一步划分为更小的等价类。 判断三角形的形状（续2） 边界值的确定 如果输入条件规定了值的范围，则应取刚达到这个范围的边界的值，以及刚刚超越这个范围边界的值作为测试输入数据。 如果输入条件规定了值的个数，则用最大个数、最小个数、比最小个数少一、比最大个数多一的数作为测试数据。 如果程序的规格说明给出的输入域或输出域是有序集合，则应选取集合的第一个元素和最后一个元素作为测试用例。 如果程序中使用了一个内部数据结构，则应当选择这个内部数据结构的边界上的值作为测试用例。 分析规格说明，找出其他可能的边界条件。 边界点 图示 上点: 就是边界上的点，不管它是开区间还是闭区间，就是说，如果该点是封闭的，那上点就在域范围内，如果该点是开放的，那上点就在域范围外； 内点: 就是在域范围内的任意一个点； 外点: 就是离上点最近的一个点，如果边界是封闭的，那离点就是域范围外离上点最近的点，如果边界是开放的，那离点就是域范围内离上点最近的点。 内部边界值的确定（隐含） 边界值测试 如果函数F实现了一个程序，则输入两个变量x1 和 x2会有一些边界： a≤ x1≤ b c ≤ x2≤ d 区间[a,b]和[c,d]是x1 和 x2的值域。 边界值分析 边界值分析 边界值分析 边界值类型的描述： 第一个/最后一个 最小值/最大值 开始/完成 超过/在内 空/满 最短/最长 最大/最小