[發(fā)明專利]一種基于EFSM模型和聚類分析的測(cè)試用例排序方法

有效

• 申請(qǐng)?zhí)枺?/td>: 201910701110.3
• 申請(qǐng)日: 2019-07-31
• 公開（公告）號(hào): CN110515837B
• 公開（公告）日: 2022-12-02
• 發(fā)明（設(shè)計(jì)）人: 魏丹;孫情瑛;王興起;邵艷利;陳濱;方景龍
• 申請(qǐng)（專利權(quán)）人: 杭州電子科技大學(xué)
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36;G06K9/62
• 代理公司: 杭州君度專利代理事務(wù)所(特殊普通合伙) 33240
• 代理人: 楊舟濤

1.一種基于EFSM模型和聚類分析的測(cè)試用例排序方法，其特征包括如下步驟：

步驟1：構(gòu)建EFSM模型的復(fù)雜網(wǎng)絡(luò)模型，統(tǒng)計(jì)狀態(tài)權(quán)重；

步驟2：構(gòu)建測(cè)試用例的狀態(tài)向量；

測(cè)試用例狀態(tài)向量被定義為EFSM模型中所有狀態(tài)是否在當(dāng)前測(cè)試用例中被包含的有序?qū)Γ患僭O(shè)EFSM模型中有m個(gè)狀態(tài)，狀態(tài)表示為s₁，s₂，s₃，...，s_m，則當(dāng)前測(cè)試用例是否包含EFSM模型第a個(gè)狀態(tài)表示為|s_a|，1≤a≤m，當(dāng)測(cè)試用例包含狀態(tài)s_a，則|s_a|＝1，當(dāng)不包含狀態(tài)s_a，則|s_a|＝0，狀態(tài)向量sv＝＜|s₁|，|s₂|，|s₃|，...，|s_m|＞；

步驟3：結(jié)合狀態(tài)向量和狀態(tài)權(quán)重信息計(jì)算任意兩個(gè)測(cè)試用例相似度；

具體如下：假設(shè)EFSM模型中有m個(gè)狀態(tài)，狀態(tài)表示為s₁，s₂，s₃，...，s_m，存在兩個(gè)測(cè)試用例T_i，T_j，對(duì)應(yīng)的狀態(tài)向量分別為sv_i＝＜|s₁|，|s₂|，|s₃|，...，|s_m|＞，sv_j＝＜|s₁|，|s₂|，|s₃|，...，|s_m|＞，兩個(gè)測(cè)試用例共有的狀態(tài)為s_p，s_q，s_r，共有狀態(tài)在狀態(tài)向量中分別表示為|s_p|，|s_q|，|s_r|，狀態(tài)對(duì)應(yīng)的權(quán)重分別為因此可得出相似度公式如下，

其中1≤p≤m，1≤q≤m，1≤r≤m and p≠q，p≠r，q≠r；

步驟4：根據(jù)相似度設(shè)計(jì)改進(jìn)的K均值聚類，對(duì)測(cè)試用例進(jìn)行聚類分析，盡可能使得不同簇中的測(cè)試用例不同；

具體為：4-1.測(cè)試用例之間的距離定義；

越相似的兩個(gè)測(cè)試用例則距離越近，則當(dāng)兩個(gè)測(cè)試用例相似度不為0時(shí)，采用相似度的倒數(shù)作為兩個(gè)測(cè)試用例的距離測(cè)量；當(dāng)兩個(gè)測(cè)試用例相似度為0時(shí)，則距離為∞；因此，對(duì)于任意兩個(gè)測(cè)試用例T_i和T_j，其距離定義如下：

其中，為根據(jù)公式(3)得到的兩個(gè)測(cè)試用例的相似度；

4-2.測(cè)試用例到簇的距離定義；假設(shè)存在一個(gè)測(cè)試用例T和一個(gè)包含N個(gè)測(cè)試用例的簇C，N個(gè)測(cè)試用例分別為T₁，T₂，T₃，...，T_N，則該測(cè)試用例與簇C的距離dis_TC表示為：

4-3.改進(jìn)的K均值聚類算法具體實(shí)現(xiàn)步驟為：

1)簇集合初始化；在未被聚類的測(cè)試用例集中選取K個(gè)測(cè)試用例，放到簇集合的各個(gè)簇中，作為各個(gè)簇的初始元素，各個(gè)簇表示為c₁，c₂，c₃，...c_K；

2)對(duì)于未聚類的測(cè)試用例集，根據(jù)公式(5)計(jì)算它們與這些簇的距離，按距離最近的準(zhǔn)則將它們放到與之距離最近的簇中；當(dāng)所有元素被分類到各個(gè)簇中，則完成第1次簇更新；

3)更新各個(gè)簇的元素；對(duì)于未聚類原始用例集中每一個(gè)元素，根據(jù)公式(5)計(jì)算它們與這些簇的距離，即在第P次簇集合更新中，一個(gè)元素到c_v的距離為該元素到第P-1次更新的簇集合中c_v的距離，將該元素歸類到與之距離最小的簇中，1≤v≤K；

4)判斷本次聚類結(jié)果與上一次是否一致；若一致，則輸出聚類結(jié)果，若不一致，則執(zhí)行3)；

步驟5：結(jié)合聚類結(jié)果，設(shè)計(jì)測(cè)試用例排序策略，其中，將未被覆蓋的遷移的個(gè)數(shù)作為測(cè)試用例的優(yōu)先級(jí)。