[發明專利]基于定量度量的蛻變關系測試優先級排序方法

有效

• 申請號: 201310611663.2
• 申請日: 2013-11-27
• 公開（公告）號: CN103713999A
• 公開（公告）日: 2014-04-09
• 發明（設計）人: 惠戰偉;黃松;史涯晴;張婷婷;姚奕;李輝;饒莉萍;洪宇;蔣園園;鄭長友;劉艷云;張賽男
• 申請（專利權）人: 中國人民解放軍理工大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 南京蘇高專利商標事務所(普通合伙) 32204
• 代理人: 李玉平

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），可以表示為