[发明专利]基于定量度量的蜕变关系测试优先级排序方法

说明书

技术领域

本发明涉及一种基于定量度量的蜕变关系测试优先级排序方法，涉及到蜕变关系的形式化描述与分解方法，属于软件蜕变测试技术领域。

背景技术

在软件测试中，通常假设测试判定存在，这也称为测试判定假设。然而实际中这种假设往往难以成立。因为在许多情况下，验证一个测试用例执行结果正确性的成本非常高，甚至在现有条件下不可能验证。这也就是通常意义上的“测试判定难题”。另外，在其它一些条件下，即便可以得到测试判定，但是这种获得测试判定的方法并不能自动化实现，也需要人工活动的参与。这时，人为活动参与的手动验证测试输出的正确性就容易出错，并且耗时长。

蜕变测试方法通过验证被测软件多次输出之间是否满足一定的关系，从而为构造测试判定提供了一种可行的方法。这种关系我们称之为蜕变关系。通常对于被测软件，测试用例的构造可以采用随机测试策略等技术。而作为蜕变测试关键因素的蜕变关系，其有效性对于蜕变测试的有效性具有至关重要的作用。对于被测软件，通常需要测试人员具有被测软件领域的知识，才能构造更加有效的蜕变关系。

为了提高对被测软件的测试充分性和测试质量，单个蜕变关系肯定不能满足测试需求。因此，在已有的蜕变测试实验研究和实例分析中，研究人员通常都会构造多个蜕变关系，从而形成蜕变关系集合。例如，对于实现[sin(x)]的程序，容易得到以下蜕变关系：

MRsin1:∀x∈T,P(x)=sin(x)∀(x1,x2)∈T,(x2-3*x1=0)→(P(x2)-3*P(x1)+4*P2(x1)=0)]]>