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

权利要求书

1.一种基于定量度量的蜕变关系测试优先级排序方法，其特征在于，主要包括如下步骤：

（1）对目标蜕变关系进行形式化描述和分解，获取其输入关系和输出关系；

（2）计算输入关系的入度；

（3）计算输出关系的代数复杂度；

假设输出关系可以化简为初步的代数关系，其中包含四种计算操作（“+”.“-”,“*”,“/”），两种连接操作（“∧”,“∨”），以及五种代数判断操作（“<”,“>”,“≤”,“≥”,“=”）；将计算输出关系复杂性的问题转化为计算代数关系的复杂性问题；

（4）计算输入关系测试输入之间的距离；

通过步骤（1）中的形式化描述，蜕变关系中的测试用例可以形式化表示为输入空间中的点，通过计算输入之间的距离来度量测试输入之间的差异；

（5）蜕变关系测试优先级排序；

根据步骤（2）、（3）、（4）可以分别获得蜕变关系的InD(IR)、AC(OR)和Dis(IR)，当这三种度量之间的结果不一致时，他们之间的优先级顺序为：PIR(InD(IR))>PIR(AC(OR))>PIR(Dis(IR))。

2.如权利要求1所述的基于定量度量的蜕变关系测试优先级排序方法，其特征在于，在步骤（1）中，对于目标蜕变关系，可以得到如下描述形式：

MR:{<(x1,x2,..,xn),(P(x1),P(x2),...,P(xn))>|∀(x1,x2,..,xn)∈T,r(x1,x2,..,xn)→∀x∈T,P(x)=[P](x)rf(P(x1),P(x2),...,P(xn))}]]>

其中[P]表示程序P的程序函数，[P](x)和P(x)分别表示对于输入为x时相应的程序函数的输出和相应的程序输出，T表示测试输入域；

输入关系可以表示为：IR={<x₁,x₂,…,x_n>|x₁,x₂,…,x_n∈T,r(x₁,x₂,…,x_n)}；相应的输出关系可以表示为：OR={<P(x₁),P(x₂),…,P(x_n)>|x₁,x₂,…,x_n∈T,r_f(P(x₁),P(x₂),…,P(x_n))}={<y₁,y₂,…,y_n>|r_f(y₁,y₂,…,y_n)}；而程序函数本身称为子关系（SR：Self Relation），可以表示为