[發(fā)明專利]基于代數(shù)規(guī)約的Web服務(wù)單線測試用例生成方法

有效

• 申請?zhí)枺?/td>: 201810957226.9
• 申請日: 2018-08-22
• 公開（公告）號: CN109408363B
• 公開（公告）日: 2022-01-11
• 發(fā)明（設(shè)計）人: 劉冬梅;何娟娟;杜益寧;朱鴻;吳獻(xiàn);張鑫;周子健
• 申請（專利權(quán)）人: 南京理工大學(xué)
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 南京理工大學(xué)專利中心 32203
• 代理人: 陳鵬

1.一種基于代數(shù)規(guī)約的Web服務(wù)單線測試用例生成方法，其特征在于，包括如下步驟：

步驟1，通過對規(guī)約公理進(jìn)行浮動實例化和可觀察化處理生成可檢查浮動測試用例；

步驟2，構(gòu)造可檢查浮動測試用例的帶逆項測試執(zhí)行圖TEG-R，用于表示該測試用例的測試執(zhí)行序列和被測服務(wù)的狀態(tài)變化；具體方法如下：

(1)將可檢查浮動測試用例進(jìn)行形如

isEq(τ_s,τ′_s),ifisEq(c₁,d₁),…,isEq(c_n,d_n)的等式化處理；τ_s,τ′_s為浮動測試用例；

(2)為每個isEq-項構(gòu)造相應(yīng)的帶逆項測試執(zhí)行圖具體為：

1)初始化實體結(jié)點集N^e、操作結(jié)點集N^o和邊集Ar為初始化列表list＝{isEq}；

2)為list中的每一個常量和變量生成實體結(jié)點n_e并添加到N^e中；

3)將list中的所有操作添加到操作集合sop中，若sop為空，轉(zhuǎn)步驟8)；否則依次獲取sop中每一個操作的參數(shù)列表并添加到list中，構(gòu)造每個參數(shù)的TEG，遞歸執(zhí)行步驟2)至步驟7)；

4)為sop中的每一個操作生成操作結(jié)點n_o并生成返回值實體結(jié)點n_re，將n_o和n_re分別添加到N^o和N^e；

5)在n_o的每一個參數(shù)實體結(jié)點n_pe和n_o之間生成實線邊并添加到Ar；

6)若n_o改變n_pe的狀態(tài)，將n_pe加入并發(fā)結(jié)點集

7)在操作結(jié)點n_o和返回值實體結(jié)點n_re之間生成實線邊并添加到Ar；

8)為生成的TEG構(gòu)造逆序列,針對中的每一個結(jié)點n_e,若n_e是并發(fā)結(jié)點，且以n_e開始的測試執(zhí)行序列有其對應(yīng)的逆序列，則構(gòu)造其逆項TEG，逆項TEG中的結(jié)點和邊用虛線表示，然后與原TEG合并生成isEq-項的TEG-R；

(3)利用融合技術(shù)合并生成可檢查浮動測試用例的帶逆項測試執(zhí)行圖具體為：

首先為每個條件添加操作結(jié)點AssertTrue，i＝1,…,n，并連接到的結(jié)束結(jié)點；然后合并n個條件生成最后合并和生成浮動測試用例的

步驟3，根據(jù)TEG-R判斷測試用例是否存在單線測試執(zhí)行序列，若存在則生成該測試用例的一個單線測試執(zhí)行序列。

2.根據(jù)權(quán)利要求1所述的基于代數(shù)規(guī)約的Web服務(wù)單線測試用例生成方法，其特征在于，所述步驟1生成可檢查浮動測試用例的具體過程如下：

如果規(guī)約公理中有且僅有一個表示被測服務(wù)的變量，則生成其他變量的測試數(shù)據(jù)，對規(guī)約公理進(jìn)行實例化處理生成浮動測試用例；如果生成的浮動測試用例是不可觀察的，則利用可觀察上下文技術(shù)生成可檢查浮動測試用例。

3.根據(jù)權(quán)利要求1所述的基于代數(shù)規(guī)約的Web服務(wù)單線測試用例生成方法，其特征在于，所述步驟3生成可檢查浮動測試用例的單線測試執(zhí)行序列的具體方法如下：

若帶逆項測試執(zhí)行圖中存在并發(fā)實體結(jié)點且有兩條及以上的改變并發(fā)實體結(jié)點狀態(tài)的測試執(zhí)行序列不存在逆序列，則該測試執(zhí)行圖無法生成單線測試執(zhí)行序列，否則按照給定規(guī)則利用深度優(yōu)先搜索技術(shù)生成一個單線測試執(zhí)行序列。