[發明專利]一種面向軟件升級的軟件測試方法

在審

• 申請號: 201310655851.5
• 申請日: 2013-12-06
• 公開（公告）號: CN104699595A
• 公開（公告）日: 2015-06-10
• 發明（設計）人: 張潔;陳俊潔;郝丹;熊英飛;謝冰;梅宏
• 申請（專利權）人: 北京大學
• 主分類號: G06F11/36
• 分類號: G06F11/36;G06F9/445
• 代理公司: 北京萬象新悅知識產權代理事務所(普通合伙) 11360
• 代理人: 朱紅濤

1.一種面向軟件升級的軟件測試方法，其特征是，

A.在軟件升級前，測試人員針對現有軟件，構造每個程序的蛻變關系；所述程序指的是實現特定函數計算功能的程序代碼；

B.在軟件升級后，針對修改后的程序，測試人員產生n個一定范圍內的隨機數作為測試用例，然后將每個測試用例和其在修改后程序中相應的輸出代入修改之前程序構造出的蛻變關系式中，查看蛻變關系式是否成立，若修改后的程序不符合之前所構造出來的蛻變關系，則說明軟件在升級過程中存在錯誤。

2.如權利要求1所述的軟件測試方法，其特征是，步驟A中，構造程序蛻變關系的步驟如下：

1）蛻變關系形式化：所有程序中的蛻變關系用如下公式表示：

Ri(I1,I2)⇒R0(O1,O2)---(1)]]>

其中，I₁為程序原有輸入，I₂為改變后的輸入；O₁為和I₁相對應的輸出，O₂為和I₂相對應的輸出，R_i代表I₁和I₂之間的關系，R₀代表O₁和O₂之間的關系；

2）蛻變關系參數化：為了構造蛻變關系，將R_i和R₀限制在等式范圍內，當R_i為線性等式時，包括如下情形：

情形A：R_o為線性等式；

情形B：R_o為二次等式；

情形C：R_o為三次等式；

假設I₁和I₂各有n組參數值，分別表示為<x₁，x₂，…,x_n>和<y₁,y₂,…,y_n>，由于以上三種情形中R_i均為線性等式，I₂的每個元素可看成I₁所有元素的線性組合，即可表示為：其中a_ij和b_i為線性參數；設α代表由a_ij組成的數組a[i,j]，β代表向量<b₁,b₂,…,b_n>，則I₂=αI₁+β；

2.1）對于情形A：假設被測程序為Ρ，則O₁可用P(I₁)表示，O₂可用P(I₂)表示；由于R₀也為線性等式，因此R₀可表示為：

c₁P(I₁)+c₂P(aI₁+β)+d=0???(2)

其中，c₁,c₂,d以及a和β中的每個參數均為蛻變參數；

2.2）對于情形B：R₀可表示為：

c₁P²(I₁)+c₂P²(aI₁+β)+c₃P(I₁)P(aI₁+β)+d₁P(I₁)+d₂P(aI₁+β)+e=0???(3)

其中，c₁,c₂,a,β,c₃,d₁,d₂,e均為蛻變參數；

2.3）對于情形C：R₀可表示為：

c₁P³(I₁)+c₂P³(aI₁+β)+c₃P²(I₁)P(aI₁+β)+c₄P(I₁)P²(aI₁+β)+c₅P²(I₁)+c₆P²(aI₁+β)+c₇P(I₁)P(aI₁+β)+d₁P(I₁)+d₂P(aI₁+β)+e=0???(4)

其中，a,β,c_i(i=1..7),d_j(j=1..2),e均為蛻變參數；

三次以上的情形據此類推；

3）蛻變關系構造：定義了蛻變參數之后，使用進化算法尋找盡可能多的符合條件的參數組合，進化算法每次執行會給出一組最優解，讓進化算法重復運行多次，得到多組最優解，每組最優解即為一組蛻變參數值，將蛻變參數值帶入公式（2）、（3）或（4）中即可得到蛻變關系式。