基丁等价类划分的蜕变测试方法.doc

基丁等价类划分的蜕变测试方法.doc基丁等价类划分的蜕变测试方法
基于等价类划分的蜕变测试方法
：对程序P的输入域进行等价类划分，如果等价类里各个元素的关系具有原子性, 即无法进行再分类，则该等价类称为单等价类，如果等价类里元素的关系不具有原子性，即 该等价类还科研划分子等价类，则被称为复合等价类。
：假设程序P的输入域可划分成m个等价类EC,, EQ…ECm，D为不同等价类的 输入域，则称D (EQ)为等价类EC的定义域。
使用测试用例集TC测试程序P时，对于PMR,和0EC八若D^(MR)cD(EC”0, 人)w TC ,使得{(rove(/ )=£CJ v (rove(/^ 尸EC,)} a {rove(/^) # /•%(/,)}成立,则 称TC满足ECCEM〔珂。基于等价类的测试用例生成方法适用于输入域之间性质相差较 大的程序。
使用测试用例集TC测试程序P时，对于PMRj和X/ECj, 6TC,使得
{(rove(/£1) = EQ) V(rove(/i2) = EQ)} A{rove(/Z1)工 rove(/f2)}成立， 则 D(MRJ n D(ECJ 工 0o
将所有蜕变关系按有效性高低依次入队列SMR；
将所有的单等价类依次如队列SEC,对于复合等价类，将它的不同类型作为伪单等价类依 次入队列SEC；
算法如下：
while(SEC 工 0)
EC=dequeue(SEC); 〃选取等价类
while(SMR 工 0)
MR=dequeue(SMR); 〃选取蜕变关系
随机选择心e D(EC)且心6 D(MR);
依据蜕变关系MR生成衍生测试用例厶2 = FUg MR); 若亿g D(EC),执行测试用例(MR, Iilf Ii2);
若衍生测试用例始终满足厶2 e D(EC),则删除MR；
end while
从SEC中删除等价类EC与化所属的等价类EC;
end while