失效链接处理 |
软件工程实验报告模板计16级(黑盒) PDF 下载
本站整理下载:
相关截图:
主要内容:
一、实验目的
1 掌握等价类划分的原则
2 掌握弱一般等价类、强一般等价类、弱健壮等价类、强健壮等价类
3 掌握等价类划分法测试的方法和步骤
二、实验原理
1 等价类划分法介绍
等价类划分法基于对输入或输出情况的评估,然后划分成两个或更多子集进行测试,即将所有可能的有效或无效的输入数据划分成若干个等价类,从每个等价类中选择一定的代表值进行测试。使用等价类划分法测试的最主要目的在于在有限的测试资源的情况下,用少量有代表性的数据得到比较好的测试结果。
2 等价类划分的类型
软件不能都只接收有效的、合理的数据,还要经受意外的考验,即接收无效的或不合理的数据,这样的软件可靠性较高。因此,在划分等价类时,可有两种不同的情况:有效等价类和无效等价类。
(1)有效等价类是指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合。主要为了检验程序是否实现了规格说明中所规定的功能和性能。
(2)与有效等价类相反,无效等价类指对程序的规格说明是不合理的或无意义的输入数据所构成的集合。对于具体的问题,无效等价类至少应有一个,也可能有多个。主要为了程序的健壮性与可靠性。
3 等价类划分的原则
(1)按照区间划分——在输入条件规定了取值范围或值的个数的情况下,可以确定一个有效等价类和两个无效等价类。
(2)按照数值划分——在规定了输入数据的一组值(假定 n个),并且程序要对每一个输入值分别进行处理的情况下,可确立 n 个有效等价类和一个无效等价类。
(3)按照数值集合划分——在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下,可确立一个有效等价类和一个无效等价类。
(4)按照限制条件或规则划分——在规定了输入数据必须遵守的规则的情况下,可确定一个有效等价类(符合规则)和若干个无效等价类(从不同角度违反规则)。
(5)细分等价类——在确知已划分的等价类中各元素在程序中的处理方式不同的情况下,则应再将该等价类进一步划分为更小的等价类。
(6)一个布尔量——在输入条件是一个布尔量的情况下,可确定一个有效等价类和一个无效等价类。
4 等价类
如何恰当地选择等价关系是等价类测试的关键,为此通常需要研究其他各种各样的实现方式及这些实现方式所体现出的功能操作。我们首先要区分弱等价类测试和强等价类测试。
为了便于理解,采用双变量函数作为例子:函数F有两个变量x1,x2。它们的边界和取值区间分别为:
a≤x1≤d,取值区间为[a,b],[b,c),[c,d]
e≤x2≤g,取值区间为[e,f),[f,g]
其中的方括号和圆括号分别表示闭区间端点和开区间端点。用这些区间来表示待测程序内部的差异。x1和x2的无效取值范围是:x1<a或x1>d和x2<e或x2>g。
(1)弱一般等价类
弱一般等价类测试可以具体实现为:每个测试用例只使用一个等价类(区间)中的一个变量。在前面的例子中,所构造的弱一般等价类测试用例如图所示。
|