软件测试工程师测试如何深入理解测试用例设计之等价类分法

最新推荐文章于 2023-03-15 19:03:13 发布

陈宇林

最新推荐文章于 2023-03-15 19:03:13 发布

阅读量464

点赞数

文章标签：软件测试测试工程师测试类型压力测试

本文链接：https://blog.csdn.net/zjl20200127/article/details/115864036

版权

等价类分法是将测试空间划分成若干个子集，并且满足每个子集中的任一数据对揭露程序中的缺陷都是等价的，这些子集就叫做等价类或者叫等价子集。

等价类分法

1.1 等价类分法的基本概念

比如一个程序的输入数据满足 0

1 ～99中的任一数据和其他数据都是等价的，比如使用了2来进行测试，那么可以假定数据2测试通过的话，1～99中的其他数据也能测试通过。

等价类分法可以用来对一些不能穷举的集合进行合理分类，从各个等价类中选出有代表性的数据进行测试，从而保证设计出来的设计用例具有一定的代表性和一定范围内的完整性，有效地缩减测试用例的数量。

等价类实际上是符合测试空间划分原则的一种特殊划分形式，即划分完后的子集里的可测数据是等价的，而测试空间划分原则则是要求里面有一个可测数据测试通过能够代表其他测试数据在满足选取概率条件下也都可以通过。等价类选取测试数据时可以选取等价类中的任意数据作为测试数据，而测试空间划分原则划分的子集一般是选择指定的数据作为测试数据，如果按测试空间划分原则划分后的子集刚好成为了等价类才可以选择里面的任一数据作为测试数据。

1.2 等价类的几种类型

在现实情况中，由于缺陷的可能情况非常多，一个子集中的数据对某种缺陷是等价的，但对另外一种缺陷可能又是不等价的。所以把等价类分为弱等价类、强等价类、理想等价类三种类型。

1、弱等价类

弱等价类是考虑某个单一缺陷情况下的等价情况，子集里所有数据在这种缺陷假设下是等价的，并且划分成的几个等价类能够覆盖整个测试空间的单一缺陷。比如以下一段程序：

void Func(unsigned int x)

{

if ( x > 10 )

{

Func1();

}

else

{

Func2();

}

我们可以将数据划分为两个等价类，0~10为1个等价类，大于 10的数据为1个等价类，在考虑“>”号误写成“<”号这种缺陷的情况下，这两个等价集中的数据都是等价的，比如0～10这个等价类中，使用 0或使用10来进行测试都能发现缺陷。这两个等价类中各自抽取一个测试数据进行测试，都能代表其他数据揭示出“>”号误写成“<”号这种缺陷来，因此整个测试空间都被覆盖了。
更多相关知识点击如下链接进行获取:
https://edu.csdn.net/lecturer/6110
https://edu.csdn.net/course/detail/32107
https://edu.csdn.net/course/detail/32047
https://edu.csdn.net/course/detail/31981
https://edu.csdn.net/course/detail/31967
https://edu.csdn.net/course/detail/31941
　　2、强等价类

强等价类是在多个缺陷假设前提下，各个等价类中的可测数据在单个或多个缺陷假设下是等价的，并且划分的各个等价子集中各自取一个测试数据可以覆盖整个测试空间的多个缺陷情况。

再考虑前面弱等价类中的例子程序，出错的可能性有那些呢?除了大于号会错写成小于号外，实际上还有可能写成大于等于号，10有可能写成1或100等大于10或小于10的数，为方便描述以错写成1和100为例，事实上错误成其他数和错写成1和100是等价的。这样将各种可能出错的情况组合起来，程序中的判断条件有可能有以下12种情况：

考虑0～10这个集合，在误写成中间一列条件中情况下，里面的数据并不等价，比如误写成x>1的情况下，使用1做测试和使用2做测试揭示缺陷是不同的，使用1做测试发现不了缺陷，但使用2测试就能发现缺陷。

在判断条件误写成x>=10条件下，10和0~9中的任一数据也不等价，并且使用大于10的数据也无法揭示出条件错写成x>=10这个缺陷，因此整个测试空间的多个缺陷无法被已划分的两个等价类来覆盖，10需要单独划分成一个等价类。

这样将数据划分成三个等价类{0～9}、{10}、{大于10的数据}，再看看这三个等价类是否可以覆盖表中各种出错情况，显然在x>100和x>=100两种情况下，大于10的数据集合中的数据是不等价的，使用大于100的数据不能揭示出缺陷，但使用大于10小于100的数据却能揭示出缺陷，因此需要对大于10的数据再划分等价类，实际上只要将边界值 {11}划一个单独的等价类就可以了。

这样总共得到四个等价类{0～9}、{10}、{11}、{大于 11的数据}，从这四个等价类中各取一个数据的话就可以将以上列出的所有可能的缺陷情况都揭示出来，但是各个等价类并不是对所有缺陷都等价的，这种划分的等价类由于可以将各种缺陷情况覆盖到，把它叫叫做强等价类。

3、理想等价类这种等价类是严格按照等价类的定义来划分的，即划分的各个等价类中，每个等价类都满足每个可测数据对揭示所有可能的缺陷都是等价的

3、理想等价类

这种等价类是严格按照等价类的定义来划分的，即划分的各个等价类中，每个等价类都满足每个可测数据对揭示所有可能的缺陷都是等价的，并且划分的各个等价类中各自任意取一个可测数据做为测试数据可以将全部的缺陷都揭示出来。

理想等价类在实际情况中是很罕见的，除非只有很少的一两种可能的出错情况，否则很难划分成对揭示所有可能缺陷都等价的子集。所以在实际使用时，没有必要去寻找理想等价类，否则徒然浪费时间，一般采用强等价类或弱等价类进行测试就足够了。

1.3 等价类的判定方法

当将一个输入域进行等价类划分后，划分出来的子集是否是等价的基本上靠经验判断，这给使用等价类分法带来很大的难度，凭经验划分出来的等价类也许并不是真的等价类，如何才能确定划分的类是等价类呢?

按照前面讲过的弱等价类与强等价类的定义，要知道划分的子集是否等价类先要知道又那些种类的可能缺陷，然后将划分的等价类对照可能的缺陷进行验证看是否能揭示出那些可能发生的缺陷。

这种判定方法的缺点是必须先知道会发生那些可能的缺陷，实际情况中往往并不知道所有可能的缺陷，那么在实际情况中如何采取一些简单方法来判定一个子集是否是等价类呢?

当一个子集的处理过程与输出完全一致时，基本上可以认为是等价类，处理过程是否相同很容易从需求和设计中得出。但是现实情况中往往同一个等价类中的不同数据对应的输出结果并不相同，所以这种方法并不能对所有的情况都适用。

其实没有什么特别好的办法可以用来判断一个子集中的任一数据对揭露程序中的缺陷都是等价的，除非将所有数据测试一遍。但是有一些条件可以协助判断出某个子集不是等价类。

1、路径判定法