基于定量度量的蜕变关系测试优先级排序方法

摘要

本发明公开了一种基于定量度量的蜕变关系测试优先级排序方法，首先基于测试覆盖，从蜕变关系输入关系的入度进行度量，然后从输出关系的复杂性进行度量，最后从输入关系中相关测试输入之间的距离进行度量。最终，得到蜕变关系的三个有效性度量元。当三者之间的结果不一致时，按照PIR(InD(IR))＞PIR(AC(OR))＞PIR(Dis(IR))顺序进行排序。通过这三个度量元，无须先验测试执行，就可以实现对蜕变关系测试优先级的快速排序。本发明提供的蜕变关系测试优先级排序的方法，为蜕变关系有效性度量提供了定量依据，并且为测试优先级的设定提供了可行的手段。通过定量度量，相对于传统的经验结论更加简单明了、精确、可行，保证了优先级设计的适用范围，为蜕变关系的选择和排序提供了精确、有效的方法。

主权项

一种基于定量度量的蜕变关系测试优先级排序方法，其特征在于，主要包括如下步骤：（1）对目标蜕变关系进行形式化描述和分解，获取其输入关系和输出关系；（2）计算输入关系的入度；（3）计算输出关系的代数复杂度；假设输出关系可以化简为初步的代数关系，其中包含四种计算操作（“+”.“‑”,“*”,“/”），两种连接操作（“∧”,“∨”），以及五种代数判断操作（“<”,“>”,“≤”,“≥”,“=”）；将计算输出关系复杂性的问题转化为计算代数关系的复杂性问题；（4）计算输入关系测试输入之间的距离；通过步骤（1）中的形式化描述，蜕变关系中的测试用例可以形式化表示为输入空间中的点，通过计算输入之间的距离来度量测试输入之间的差异；（5）蜕变关系测试优先级排序；根据步骤（2）、（3）、（4）可以分别获得蜕变关系的InD(IR)、AC(OR)和Dis(IR)，当这三种度量之间的结果不一致时，他们之间的优先级顺序为：PIR(InD(IR))>PIR(AC(OR))>PIR(Dis(IR))。