[發(fā)明專利]一種軟件演化中的系統(tǒng)功能行為一致性分析方法及系統(tǒng)

有效

• 申請?zhí)枺?/td>: 201710966545.1
• 申請日: 2017-10-17
• 公開（公告）號: CN107797814B
• 公開（公告）日: 2021-03-26
• 發(fā)明（設計）人: 鄭交交;秦江龍;李彤;林英;謝仲文;莫啟;王曉芳;成蕾;劉妙;楊真諦;鄭明;李響
• 申請（專利權(quán)）人: 云南大學
• 主分類號: G06F8/65
• 分類號: G06F8/65;G06F8/71;G06F9/448
• 代理公司: 昆明金科智誠知識產(chǎn)權(quán)代理事務所(普通合伙) 53216
• 代理人: 胡亞蘭

1.一種軟件演化中的系統(tǒng)功能行為一致性分析方法，其特征在于，所述軟件演化中的系統(tǒng)功能行為一致性分析方法包括：

通過將構(gòu)件系統(tǒng)的Petri網(wǎng)轉(zhuǎn)換得到表示整個系統(tǒng)的所有行為狀態(tài)的狀態(tài)遷移圖；

然后從系統(tǒng)行為層出發(fā)，分析用于保證系統(tǒng)演化一致性滿足的約束條件；

所述通過將構(gòu)件系統(tǒng)的Petri網(wǎng)轉(zhuǎn)換得到表示整個系統(tǒng)的所有行為狀態(tài)的狀態(tài)遷移圖，包括：

狀態(tài)遷移圖為三元組，G＝(I_G，S_G，E_G)，其中：

I_G是系統(tǒng)狀態(tài)圖的名稱標識；

S_G是構(gòu)成系統(tǒng)狀態(tài)圖的系統(tǒng)狀態(tài)的集合；

E_G是系統(tǒng)狀態(tài)間關系的集合，表示從哪個狀態(tài)到達哪個狀態(tài)的關系的集合；

所述系統(tǒng)狀態(tài)為三元組，S＝(S_i，Q，V_i)，其中：

S_i是狀態(tài)的名稱標識；

Q＝(p₀,p₁,p₂,……,p_sn)，是軟件系統(tǒng)Petri-net模型中庫所P的一種排列組合，表示系統(tǒng)狀態(tài)標記；其中，sn是庫所的總個數(shù)；

V_i是狀態(tài)值，是由0和1組成的，0表示無托肯，1表示有托肯；

所述系統(tǒng)狀態(tài)具體包括：

輸入狀態(tài)S_start、中間狀態(tài)和輸出狀態(tài)S_end，系統(tǒng)狀態(tài)S表示所有行為模型{BM_c1，BM_c2，...，BM_cn，BM_l1，BM_l2，...，BM_ln}中的標記的集合；

初始狀態(tài)S₀是系統(tǒng)的所有構(gòu)件功能實現(xiàn)的行為模型的輸入庫所都被標記，{i_c1，i_c2，...，i_cn}；

結(jié)束狀態(tài)是指沒有后續(xù)狀態(tài)的狀態(tài)；

中間狀態(tài)為初始狀態(tài)和結(jié)束狀態(tài)中間的狀態(tài)；

其中系統(tǒng)狀態(tài)標記為Q＝{P0，P1，P2，P3，P4，P5，P6，P7}，系統(tǒng)狀態(tài)間關系的集

E_G＝{S0→S1，S1→S2，S2→(S3，S4),S3→(S5，S6)，S4→S6，S5→合S7，S6→S7}，

所有狀態(tài)為：

S₀{1,0,0,0,1,0,0,0}，S₁{0,1,0,0,1,0,0,0},

S₂{0,0,1,0,1,0,0,1}，S₃{0,0,1,0,0,1,0,0},

S₄{0,0,0,1,1,0,0,1}，S₅{0,0,1,0,0,0,1,0},

S₆{0,0,0,1,0,1,0,0}，S₇{0,0,0,1,0,0,1,0}；

其中S₀為初始狀態(tài)，S₇為結(jié)束狀態(tài)；

保證系統(tǒng)演化一致性滿足的約束條件的方法包括：行為繼承、完整繼承的系統(tǒng)演化一致性；

所述行為繼承有演化前后的系統(tǒng)狀態(tài)變遷圖G_A和G_A′，若行為繼承自則中值為1的標記P_a相對應的標記P_b在中同樣為1，且即或記為：其中，i≤n，n為G_A中的狀態(tài)的個數(shù)；j≤m，m為G_A′中的狀態(tài)的個數(shù)；

所述完整繼承包括：在演化后的狀態(tài)變遷圖中依次找到所有的行為繼承且滿足演化后的初始狀態(tài)和結(jié)束狀態(tài)分別行為繼承自演化前的初始狀態(tài)和結(jié)束狀態(tài)，或演化前后系統(tǒng)滿足一致性；

所述系統(tǒng)演化一致性包括：第一點，在系統(tǒng)狀態(tài)遷移圖中，原系統(tǒng)中動作的狀態(tài)行為都被繼承，在演化后的系統(tǒng)中找到；第二點，完整繼承，在演化后的系統(tǒng)狀態(tài)中依次找到所有演化前狀態(tài)的行為繼承，且初始狀態(tài)和結(jié)束狀態(tài)分別行為繼承自演化前的初始狀態(tài)和結(jié)束狀態(tài)；表示為：或或其中，i＝0，1，2，3，...，n，j≤m，m為G_A′中的狀態(tài)的個數(shù)；所述構(gòu)件系統(tǒng)為三元組S＝{I_s，C_s，R_s)，其中：

I_s是系統(tǒng)的名稱標識；

C_s是構(gòu)成系統(tǒng)的構(gòu)件的集合；

R_s是構(gòu)件間的交互關系的集合；

構(gòu)件C，為五元組Ω＝(I_c，M_c，P_c，P_M，BM_c)，其中：

I_c是構(gòu)件的名稱標識；

M_c是構(gòu)件功能實現(xiàn)的方法的集合；

P_c是構(gòu)件提供的外部接口的集合；

PM：P_c→M_c關聯(lián)函數(shù)表表示構(gòu)件提供的外部接口與構(gòu)件內(nèi)部的某個功能實現(xiàn)方法的關聯(lián)關系；

BM_c是構(gòu)件的功能行為模型，表示構(gòu)件C的生命周期。

2.一種如權(quán)利要求1所述軟件演化中的系統(tǒng)功能行為一致性分析方法的軟件演化中的系統(tǒng)功能行為一致性分析系統(tǒng)。