本發(fā)明涉及軟件蛻變測試，特別是一種數(shù)值表達式型蛻變關系的靜態(tài)迭代構造方法及系統(tǒng)。

背景技術：

1、軟件測試兩大核心問題：測試用例集合完備性，以及程序正確性判定機制。軟件測試技術可分為傳統(tǒng)測試和非傳統(tǒng)測試，傳統(tǒng)測試技術的判定機制為程序輸出與預期結果是否一致。當預期值構造困難、獲取成本極高時，判定機制失效，如：核反應堆仿真、武器爆轟流體模擬、航天飛行器太空環(huán)境仿真等場景就存在該問題。同時，傳統(tǒng)測試技術只適用于確定論程序，當同一組輸入的多次執(zhí)行結果不相等時，判定機制也會失效，如基于概率模型的蒙特卡洛計算、深度神經(jīng)網(wǎng)絡、生成式人工智能等場景也存在該問題。

2、蛻變測試(metamorphictesting，mt)是一種非傳統(tǒng)測試技術，它是緩解軟件測試預期值問題的有效技術之一，在科學計算、生成式人工智能等場景有廣闊應用前景。蛻變關系(metamorphicrelation，mr)是蛻變測試的核心，按照表征形式分類包括數(shù)值表達式型、謂詞表達式型和其他。數(shù)值表達式是使用常量、變量、數(shù)學函數(shù)和運算符構建的表達式，在科學研究、工程建模等領域有著廣泛應用。

3、蛻變關系構造是mt的核心問題。目前，雖然出現(xiàn)了一些mr生成技術，但是構造對軟件測試、檢測缺陷有意義的mr仍然是巨大挑戰(zhàn)。根據(jù)是否需要初始mr，可將現(xiàn)行mr構造方法分為兩類：①復合初始mr，構造“新”mr，即復合mr(compoundmr，cmr)；②從程序執(zhí)行數(shù)據(jù)中挖掘mr。因初始mr經(jīng)過檢驗，一般源自物理模型、數(shù)值算法、程序規(guī)約的性質，具備可解釋性，所以，前者獲得的mr質量較好，后者識別的mr通常屬于似然mr，即mr僅在當前數(shù)據(jù)集上是可滿足的，不具備可解釋性，質量一般，而且，為獲得執(zhí)行數(shù)據(jù)需要多次執(zhí)行被測程序，非常耗時，故構造效率較低。

4、現(xiàn)有技術存在如下技術問題：復合初始mr方法構造效率低，如imt存在組合爆炸問題，獲取代碼路徑覆蓋信息需要執(zhí)行被測程序；數(shù)據(jù)挖掘方法得到的是似然mr，可靠性不高，同時需要多次執(zhí)行被測程序，構造效率低?，F(xiàn)有mr構造方法存在的主要問題為：①采用動態(tài)方法，需要執(zhí)行被測程序，構造成本高；②未排除對軟件測試無意義的mr，構造效率低。

技術實現(xiàn)思路

1、鑒于現(xiàn)有的數(shù)值表達式型蛻變關系的靜態(tài)迭代構造方法存在的問題，提出了本發(fā)明。因此，本發(fā)明所要解決的問題在于如何提供一種數(shù)值表達式型蛻變關系的靜態(tài)迭代構造方法及系統(tǒng)。

2、為解決上述技術問題，本發(fā)明提供如下技術方案：

3、第一方面，本發(fā)明提供了一種數(shù)值表達式型蛻變關系的靜態(tài)迭代構造方法，其包括，獲取數(shù)值表達式參數(shù)構建編輯距離矩陣，計算數(shù)值表達式相似度分析參數(shù)的相似性；構建回溯規(guī)則，通過編輯距離矩陣得到進行字符串轉換的編輯操作，得出初始蛻變關系集合；進行數(shù)值表達式型蛻變關系的靜態(tài)迭代構造，輸出蛻變關系集合。

4、作為本發(fā)明所述數(shù)值表達式型蛻變關系的靜態(tài)迭代構造方法的一種優(yōu)選方案，其中：所述數(shù)值表達式參數(shù)包括算術運算符、關系運算符、變元、變元次數(shù)以及常量。

5、作為本發(fā)明所述數(shù)值表達式型蛻變關系的靜態(tài)迭代構造方法的一種優(yōu)選方案，其中：所述構建編輯距離矩陣包括以下步驟，獲取參數(shù)集，將所有數(shù)值表達式轉換成統(tǒng)一形式；定義編輯操作構造編輯操作集，編輯操作用于進行表達式轉換，編輯操作包括插入、刪除、替換符號、變元或常量值；構建二維矩陣，對于每對表達式計算最小編輯距離，每個單元格表示從第一個表達式的前i個字符轉換到第二個表達式的前j個字符所需的最少操作數(shù)；填充編輯距離矩陣，矩陣中的每個元素表示表達式之間的編輯距離；給不同的編輯操作分配權重，對編輯操作的權重進行調(diào)整反映表達式的相似性。

6、作為本發(fā)明所述數(shù)值表達式型蛻變關系的靜態(tài)迭代構造方法的一種優(yōu)選方案，其中：所述計算數(shù)值表達式相似度包括以下步驟，從每個數(shù)值表達式中提取參數(shù)，使用正則表達式或解析器識別出表達式中的運算符，記錄種類和位置；比較表達式在參數(shù)上的相似性，計算表達式的相似度，計算公式為：

7、

8、式中，sim(s,t)為表達式s和表達式t的相似度，|s|和|t|分別表示兩個表達式序列的長度，dmn表示表達式s轉換到表達式t的編輯距離；根據(jù)表達式的相似性準則，得出輸入輸出關系的表達式字符串的具體度量方式。

9、作為本發(fā)明所述數(shù)值表達式型蛻變關系的靜態(tài)迭代構造方法的一種優(yōu)選方案，其中：所述編輯距離包括將序列s轉換為序列t需要的最少的編輯操作次數(shù)，權重代表單次編輯操作的編輯距離，兩個序列的編輯距離即為所有單次編輯操作的距離之和；若在表達式序列中插入字符時，則序列的單次操作的編輯距離為插入字符的長度；若在表達式序列中刪除字符時，則序列的單次操作的編輯距離為刪除字符的長度；若在表達式序列中的字符替換為其他字符時，則序列的單次操作的編輯距離為替換后的字符長度；構造字符串s＝s1,s2…sm和t＝t1,t2…tn的編輯距離矩陣為ld＝{dij}，0≤i≤m，0≤j≤m，編輯距離矩陣構造為：

10、

11、計算字符串的編輯距離，將兩個字符序列從左往右開始比較并記錄每次比較的編輯距離dij，依照每個符號的權重構建編輯距離矩陣；得到兩個字符序列的編輯距離，編輯距離的取值即為編輯距離矩陣的右下角的元素dmn；得到編輯距離矩陣后通過回溯方式得到將字符串s轉換為字符串t的每步編輯操作。

12、作為本發(fā)明所述數(shù)值表達式型蛻變關系的靜態(tài)迭代構造方法的一種優(yōu)選方案，其中：所述回溯規(guī)則包括從編輯距離矩陣的右下角中的元素開始進行回溯，回溯規(guī)則為：當si＝tj時，元素dij則回溯到編輯距離矩陣中的di-1,j-1元素；當si≠tj時，元素dij則回溯到編輯距離矩陣中的di-1,j-1，di,j-1，di-1,j中最小的元素，若編輯距離存在元素值相等時，采用優(yōu)先級為di-1,j-1，di,j-1，di-1,j。

13、作為本發(fā)明所述數(shù)值表達式型蛻變關系的靜態(tài)迭代構造方法的一種優(yōu)選方案，其中：所述進行數(shù)值表達式型蛻變關系的靜態(tài)迭代構造包括以下步驟，從初始蛻變關系集合中隨機挑選一條蛻變關系作為根蛻變關系；計算根蛻變關系與蛻變關系集合中其它蛻變關系的相似度，蛻變關系包括輸入關系和輸出關系，進行蛻變關系的相似度計算，蛻變關系的相似度計算公式為，

14、v＝αvr+βvr

15、其中，v表示蛻變關系的相似度，vr表示蛻變關系的輸入關系相似度，vr表示蛻變關系的輸出關系相似度，α和β分別是輸入關系和輸出關系權重，且α+β＝1；相似度小于限值閾值的蛻變關系作為子蛻變關系，將根蛻變關系與子蛻變關系復合得到1代復合蛻變關系；從1代復合蛻變關系集合隨機挑選一條蛻變關系作為根蛻變關系，重復步驟得到2代復合蛻變關系；重復進行蛻變關系的靜態(tài)迭代構造，直到滿足停機條件，輸出蛻變關系集合。

16、第二方面，本發(fā)明提供了一種數(shù)值表達式型蛻變關系的靜態(tài)迭代構造系統(tǒng)，其包括：獲取模塊，用于獲取數(shù)值表達式參數(shù)構建編輯距離矩陣，計算數(shù)值表達式相似度分析參數(shù)的相似性；轉換模塊，用于構建回溯規(guī)則，通過編輯距離矩陣得到進行字符串轉換的編輯操作，得出初始蛻變關系集合；構造模塊。用于進行數(shù)值表達式型蛻變關系的靜態(tài)迭代構造，輸出蛻變關系集合。

17、第三方面，本發(fā)明提供了一種計算機設備，包括存儲器和處理器，所述存儲器存儲有計算機程序，其中：所述處理器執(zhí)行所述計算機程序時實現(xiàn)數(shù)值表達式型蛻變關系的靜態(tài)迭代構造方法的步驟。

18、第四方面，本發(fā)明提供了一種計算機可讀存儲介質，其上存儲有計算機程序，其中：所述計算機程序被處理器執(zhí)行時實現(xiàn)數(shù)值表達式型蛻變關系的靜態(tài)迭代構造方法的步驟。

19、本發(fā)明有益效果為通過蛻變關系復合無需執(zhí)行被測程序，降低計算時間消耗，降低蛻變關系構造成本，利用數(shù)值表達式型蛻變關系的性質排除對軟件測試無意義的蛻變關系，減少參與復合計算的蛻變關系數(shù)量提高蛻變關系的構造效率。