等价划分测试策略培训课件.ppt

强健壮等价类 x1 x2 a b c d e f g 更多内容请访问 测试之道，测试有道 测试之道定期举办在线免费培训 测试之道招募网站版主，管理员 测试之道招募培训讲师 测试之道招募编辑部翻译人员 测试之道网 * 测试之道网 YY培训教室 新浪微博：@测试之道网 * 测试之道网 测试之道网 测试之道网 测试之道网 测试之道网 测试之道网 测试之道网 测试之道网 测试之道网 测试之道网 测试之道网 测试之道培训系列 之 测试策略的作用 等价划分，边界值，决策表，状态机，正交表…. 人们为什么要设计和使用这些测试策略？ 等价划分 Equivalence Partitioning – 等价划分 也叫 Equivalence Class Partitioning or ECP – 等价类划分 一种软件测试技术，将输入软件的数据分成一些区间，测试用例可以直接用这些数据进行测试，通常测试用例设计成可以至少覆盖每个区间一次。该技术尝试定义能够发现错误的各类测试用例，从而减少总的测试用例的数目，达到减少测试时间的目的。 概念 实际上，在寻找等价类的同时，我们是在识别那些被系统相同对待并且产生相同结果的输入，这些输入拥有等价关系。 一组测试会构成一个等价类，只要你认为 他们都测试相同的内容 如果一个测试能捕获一个bug，其他的测试也可能会 如果一个测试不能捕获bug，那么其他的测试可能不会捕获bug 自动取款机来啦！ 一个ATM允许一次提取增量为100，从100到3000的现金。 有些测试人员认为既然有效数量不算多，那么可以把所有的都测一遍 TC01 – 提取100 TC02 – 提取200 …. TC30 – 提取3000 实际上这是浪费时间！ 等价划分 100 3000 无效划分 有效划分 无效划分 使用等价类，就不用为同一个等价类里的测试用例浪费时间。 注意 有可能程序员写了低质量的代码，导致错误必须由一个等价类的多个用例才能发现，但是，代码审查是发现这种问题更好的方法。 注意 等价类通常可以和其他一些测试技术合作使用，比如测试取款为带有零头的数额(195.53)，这可以使用错误猜测方法来处理。（也可以看做是另外一种角度的等价划分[有效区间中100的倍数，有效区间内的其他整数, 有效区间中的小数]） 边界值分析经常作为等价划分的补充。当确定了可能输入的不同分区后，需要使用边界值分析来选择这些分区边缘最有效的测试用例。 注意 等价划分的目的是减少测试用例数目，但是过度地划分等价类，就有漏掉那些能够发现软件缺陷用例的风险。 等价类划分不可避免地带有主观色彩，测试同一个复杂程序的两个测试工程师可能会得到两组不同的等价划分区间，只要做用例审查的人认可它们足以覆盖测试对象就行。 高阶等价划分 等价划分的两个动机 我们希望进行完备测试 同时希望避免冗余 等价类的重要问题是对它们构成集合的划分 划分是指互不相交的一组子集，这些子集的并是整个集合 表示整个集合提供一种形式的完备性，互不相交可以保证一种形式的无冗余性 高阶等价划分 两个集合A和B的笛卡尔积 A= {1, 2, 3} B = {x, y, z} A*B = {1,x, 1,y, 1,z, 2,x, 2,y, 2,z, 3,x, 3,y, 3,z} 高阶等价划分 单缺陷假设是边界值分析的关键假设。单缺陷假设指“失效极少是由两个或两个以上的缺陷同时发生引起的”。 多缺陷假设，则是指“失效是由两个或两个以上缺陷同时作用引起的”，要求在选取测试用例时同时让多个变量取极值。 高阶等价划分 前面的例子，我们考虑的是单因子的，即取款数目变量x的等价划分 但系统的行为通常是由多变量决定的。为了便于理解，我们还将讨论一个两变量x1，x2的函数F.如果F实现为一程序，则输入变量x1和x2将拥有以下边界。以及边界内的区间。 a = x1 = d，区间为[a, b), [b, c), [c, d] e = x2 = g，区间为[e, f), [f, g] 弱一般等价类 弱一般等价类通过使用一个测试用例中的每个等价类（区间）的一个变量实现。 弱一般等价类 x1 x2 a b c d e f g 强一般等价类 强一般等价类测试基于多缺陷假设，因此需要等价类笛卡尔积的每个元素对应的测试用例 具有两种意义上的“完备性” 覆盖所有的等价类 有效输入组合的任意一个 强一般等价类 x1 x2 a b c d e f g 弱健壮等价类 弱 – 单缺陷假设 健壮 – 考虑无效值 对于有效输入，使用每个等价类的一个值 对于无效输入，测试用例都将拥有一个无效值，并且保持其余的值有效 弱健壮等价类 x1 x2 a b c d e f g 强健壮等价类 强 – 多缺陷假设 健壮 – 要考虑无效