張 軍， 劉 鋒， 馬竹娟， 朱二周

(1.安徽大學(xué) 計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院,安徽 合肥 230601; 2.安徽農(nóng)業(yè)大學(xué) 經(jīng)濟(jì)技術(shù)學(xué)院,安徽 合肥 230036)

改進(jìn)型程序切片方法的測(cè)試需求約簡(jiǎn)技術(shù)研究*

張 軍1， 劉 鋒1， 馬竹娟2， 朱二周1

(1.安徽大學(xué) 計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院,安徽 合肥 230601; 2.安徽農(nóng)業(yè)大學(xué) 經(jīng)濟(jì)技術(shù)學(xué)院,安徽 合肥 230036)

傳統(tǒng)的測(cè)試用例集約簡(jiǎn)技術(shù)大多采用由測(cè)試需求集直接生成測(cè)試用例集的方法。該方法雖然能夠約簡(jiǎn)測(cè)試用例集，但出現(xiàn)測(cè)試需求冗余，約簡(jiǎn)后的測(cè)試用例集不夠精準(zhǔn)等問題。針對(duì)這些問題，提出了一種基于六元結(jié)構(gòu)表的程序切片方法。利用程序切片精簡(jiǎn)測(cè)試代碼，省去構(gòu)造程序依賴圖的復(fù)雜步驟；根據(jù)代碼間的相互關(guān)系和模塊間的耦合度，利用啟發(fā)式算法約簡(jiǎn)測(cè)試需求；在約簡(jiǎn)后的測(cè)試需求上，精簡(jiǎn)測(cè)試用例集。將該方法應(yīng)用到當(dāng)前主流的Android平臺(tái)上比較約簡(jiǎn)前后G，GRE的用例集。實(shí)驗(yàn)結(jié)果表明:約簡(jiǎn)后的測(cè)試需求集能夠在獲得較少的測(cè)試用例集的前提下保證較高的覆蓋率。

程序切片; 測(cè)試需求約簡(jiǎn); 耦合度; 六元結(jié)構(gòu)表

0 引 言

隨著移動(dòng)互聯(lián)網(wǎng)的快速發(fā)展，越來越多用戶使用移動(dòng)設(shè)備，Android版App軟件已經(jīng)被越來越多的人使用[1]。但隨著App版本不斷地迭代，出現(xiàn)舊的測(cè)試用例和新的測(cè)試用例重合，導(dǎo)致敏捷開發(fā)效率低下。在軟件開發(fā)過程中軟件測(cè)試是必不可少的環(huán)節(jié)，它在整個(gè)軟件的生命周期中具有舉足輕重的地位。在軟件測(cè)試之前，測(cè)試人員根據(jù)測(cè)試需求，生成測(cè)試用例，然后發(fā)現(xiàn)軟件開發(fā)過程中存在的問題并加以糾正，保證軟件質(zhì)量。隨著軟件版本的迭代，測(cè)試用例集的規(guī)模也隨之增長(zhǎng)，不可避免出現(xiàn)用例冗余。如何有效降低冗余，提高測(cè)試效率，成為研究軟件測(cè)試的必備內(nèi)容，此即測(cè)試用例集約簡(jiǎn)的目的。

現(xiàn)有測(cè)試用例集約簡(jiǎn)方法是針對(duì)原測(cè)試需求集，生成相應(yīng)的測(cè)試用例集，然后尋找測(cè)試用例集的某個(gè)子集，用盡可能少的測(cè)試用例滿足測(cè)試需求。測(cè)試用例集約簡(jiǎn)方法主要包括貪心算法、一些啟發(fā)式算法、整數(shù)規(guī)范等方法[2]。這些方法是在滿足已知的測(cè)試需求和測(cè)試用例關(guān)系條件下直接約簡(jiǎn)測(cè)試用例集。但忽視了測(cè)試需求間的相互關(guān)系，導(dǎo)致約簡(jiǎn)后的測(cè)試用例集出現(xiàn)測(cè)試效果不明顯的現(xiàn)象。

針對(duì)傳統(tǒng)的測(cè)試用例集約簡(jiǎn)方法的不足，結(jié)合文獻(xiàn)[3]和程序切片技術(shù)，提出了一種利用結(jié)構(gòu)表構(gòu)造的程序切片約簡(jiǎn)測(cè)試需求集的新方法。程序切片是一種分析和理解程序的技術(shù)，主要應(yīng)用于程序分析、軟件測(cè)試及領(lǐng)域[3],通過對(duì)源代碼進(jìn)行分析和研究，刪除與興趣點(diǎn)無關(guān)的語句和謂詞，達(dá)到縮減程序代碼，保證所得的程序與源程序在語義上一致性。

1 六元結(jié)構(gòu)表程序切片

程序切片技術(shù)的發(fā)展經(jīng)歷了從靜態(tài)到動(dòng)態(tài)、從過程內(nèi)到過程間等幾個(gè)方面的過程，每種切片都有各自的優(yōu)勢(shì)與劣勢(shì)。從軟件需求角度考慮，若需求包含完整的輸出描述，則需求可以看作初始化過程到最終功能語句之間的靜態(tài)切片；若從測(cè)試用例集方面考慮，每個(gè)用例都對(duì)應(yīng)著不同狀態(tài)下的動(dòng)態(tài)切片。

傳統(tǒng)的靜態(tài)程序切片算法是基于系統(tǒng)依賴圖(SDG)的遍歷算法。SDG以程序依賴圖為基礎(chǔ)，反映程序的數(shù)據(jù)和控制依賴等信息。但生成SDG需要計(jì)算與切片無關(guān)的數(shù)據(jù)依賴，造成時(shí)間和空間上的浪費(fèi)。本文結(jié)合文獻(xiàn)[4]提出的五元結(jié)構(gòu)[4]，提出了基于六元結(jié)構(gòu)表程序切片構(gòu)造方法，既能夠降低時(shí)間和空間復(fù)雜度，又能夠保證約簡(jiǎn)后代碼功能的完整性。

1.1 結(jié)構(gòu)表模型構(gòu)造

構(gòu)造結(jié)構(gòu)表模型需要以下3個(gè)步驟：

1)通過詞法和語法分析生成TOKEN序列，在TOKEN序列基礎(chǔ)上進(jìn)行代碼標(biāo)準(zhǔn)化[5]，生成標(biāo)準(zhǔn)TOKEN序列。

2)在步驟(1)基礎(chǔ)上，生成對(duì)應(yīng)的六元結(jié)構(gòu)表和復(fù)合語句信息表。

3)利用六元結(jié)構(gòu)表和復(fù)合語句信息表，得到程序切片。

1.2 六元結(jié)構(gòu)表構(gòu)造

定義1 六元結(jié)構(gòu)表(imnNCf)〈i,m,n,N,C,f〉為程序中變量的聲明、賦值和函數(shù)調(diào)用、使用參數(shù)的關(guān)系。其中，i為語句的行號(hào)；m為聲明變量或函數(shù)所在的行號(hào)；n為i行定義的變量；N為i行使用變量或函數(shù)形參的集合；C為i行復(fù)合關(guān)系的集合；f為i行調(diào)用函數(shù)名。imnNCf中值不存在用?表示。

1.3 復(fù)合語句信息表構(gòu)造

定義2 復(fù)合語句信息表為表示復(fù)合語句結(jié)構(gòu)信息。其中，id為語句的標(biāo)示；name為語句名；beginline為語句開始行；endline為語句結(jié)束行；f為是否存在調(diào)用函數(shù)；?表示不存在。

圖1為Android代碼例子。由于篇幅所限僅列表1、表2，為showViews函數(shù)的六元結(jié)構(gòu)表以及復(fù)合信息結(jié)構(gòu)表，其中，監(jiān)聽和點(diǎn)擊事件歸屬于showViews。

表1 showViews函數(shù)的六元結(jié)構(gòu)表

表2 showViews復(fù)合信息結(jié)構(gòu)表

程序代碼塊的功能:1)展示圖書類別；2)編輯圖書類別；3)刪除圖書類別。限于篇幅,代碼簡(jiǎn)化,模塊流程不變。

1 public class BCLActivity extends Activity {

2 BCSAdapter adapter;

3 ListView lv;

4 List>list;

5 String bookClassId;

6 Public void onCreate(Bundle savedInstanceState) {

7 showViews(bookClassId);}

8 private void showViews(bookClassId) {

9 lv=(ListView)findViewById(R.id.h_list_view);

10 list = getDatas();

11 adapter=new BCSAdapter(this,list,R.layout);

12 lv.setAdapter(adapter);

13 lv.setOCCMListener(bCLIListener);}

14 Private OCCMListener bCLIListener = new OCCMListener(){

15 public void OCCM(ContextMenu menu,View v,ContextMenuInfo menuInfo) {

16 menu.add(0,0,0,“刪除圖書類別”);

17 menu.add(0,1,0,“編輯圖書類別”);

18 menu.add(0,2,0,"展示圖書類別")} };

19 public boolean onContextItemSelected(MenuItem item){

20 AdapterCMInfocontextMenuInfo=(AdapterCMInfo)

item.getMenuInfo();

21 int position=contextMenuInfo.position;

22 StringbookId=(getDatas().get(position).get(“bookClassId”).toString());

23 bookClassId=bookId;

24 if(item.getItemId()==0){

25 dialog(bookClassId);

26 }else if (item.getItemId()==1){

27 EditBookActivity(BookClassEditActivity,bookClassId);

28 setViews(bookClassId);}

29 else if(item.getItemId()==2){

30 showViews(bookClassId);}}

31 protected void dialog(bookClassId){∥刪除

32 Builder builder=new Builder(BCLActivity.this);

33 builder.setPositiveButton(“確認(rèn)”,new OnClickListener(){

34 public void onClick(DialogInterface dialog,int which){

35 HashMap〈String,String〉params=new HashMap〈String,String〉();

36 params.put(“action”,“delete”);

37 remove(bookClassList,params);

38 setViews(bookClassId);}});}

39 private List〈Map〈String,Object〉〉getDatas(){

40 list=new ArrayList〈Map〈String,Object〉〉();

41 try{

42 List〈BookClass〉bookClassList=bCLHander.getBCList();

43 for(int i=0;i

44 Map〈String,Object〉map=new HashMap〈String,Object〉();

45 map.put(“bookClassId”,bookClassList.get(i).getBookClassId());

46 list.add(map);}

47 }catch(Exception e){}

48 return list;

49 }}

imnNCf的構(gòu)造過程是對(duì)程序進(jìn)行逆向流分析，在保證程序數(shù)據(jù)和控制依賴完整性的同時(shí)，剔除與興趣結(jié)點(diǎn)無關(guān)的代碼。算法1和算法2為具體的構(gòu)造過程。其中，算法1為構(gòu)造六元結(jié)構(gòu)表算法，算法2為構(gòu)造復(fù)合信息結(jié)構(gòu)表算法。

算法1 六元結(jié)構(gòu)表算法:

1)判斷興趣點(diǎn)是函數(shù)語句還是賦值語句：若為函數(shù)語句跳轉(zhuǎn)步驟(2)，若為賦值語句跳轉(zhuǎn)步驟(3)。

2)逆向遍歷imnNCf，遍歷f值是否和興趣點(diǎn)值相同。若相同，跳轉(zhuǎn)步驟(4);若不相同，跳轉(zhuǎn)步驟(5)。

3)逆向遍歷imnNCf，遍歷n值是否和興趣點(diǎn)值相同。若相同，切片中加入該語句;若不相同，跳轉(zhuǎn)步驟(6)。

4)記錄i值，即程序的結(jié)束行，加入到切片，跳轉(zhuǎn)步驟(5)。

5)查看對(duì)應(yīng)行的N值：若值為?，表示不進(jìn)行參數(shù)傳遞，跳轉(zhuǎn)到對(duì)應(yīng)函數(shù)f的imnNCf進(jìn)行逆序遍歷；若值不為?，表示進(jìn)行了參數(shù)傳遞，若實(shí)參為數(shù)值傳遞，被調(diào)函數(shù)中形參不影響實(shí)參，無需計(jì)算被調(diào)函數(shù)的子切片；若實(shí)參為地址傳遞，計(jì)算被調(diào)函數(shù)的子切片。跳轉(zhuǎn)步驟(8)。

6)查看對(duì)應(yīng)行的N值：若為?，即賦值語句右側(cè)是函數(shù)，跳轉(zhuǎn)步驟(7)；若不為?，查看f值，若為?，是變量賦值，首先進(jìn)行逆向流分析，逆向遞歸計(jì)算其使用變量的子切片，然后加入到切片中；若不為?，則跳轉(zhuǎn)步驟(5)。

7)逆向遍歷對(duì)應(yīng)行f的imnNCf，查找C值，則跳轉(zhuǎn)步驟(8)。

8)對(duì)于C值：若不為?，查找復(fù)合信息結(jié)構(gòu)表，記錄復(fù)合函數(shù)切片；若為?，則結(jié)束。

算法2 復(fù)合信息結(jié)構(gòu)表算法：

1)根據(jù)imnNCf中C值，查找復(fù)合結(jié)構(gòu)表中id值，若C=id，跳轉(zhuǎn)步驟(2)；若C≠id，逆序遍歷復(fù)合結(jié)構(gòu)表，直到C=id。

2)若復(fù)合關(guān)系未被處理過，加入到切片中；若有未處理變量，查找beginline-endline對(duì)應(yīng)的imnNCf，若變量和imnNCf中某一行n值相同，加入切片，跳轉(zhuǎn)步驟(3)。

3)逆向循環(huán)遍歷對(duì)應(yīng)行的N值和C值，步驟同算法1。

在圖1中，若以(28,bookClassId)為切片，計(jì)算結(jié)果為{28,26,1,5,6,7,8, 9,13,14,17,19,20,21,22,23}。

切片結(jié)果的準(zhǔn)確度直接影響到測(cè)試需求的準(zhǔn)確性。切片的準(zhǔn)確度Pslice為

(1)

式中Sstandard為標(biāo)準(zhǔn)切片集合；Scurrent為本文計(jì)算的切片集合；Pslice∈(0～1)，若值越接近于1，表示切片準(zhǔn)確度越高。

對(duì)于切片準(zhǔn)則(28, bookClassId)，標(biāo)準(zhǔn)的切片結(jié)果{19,20,21,22,23,24,25,26,27,28,29,16,17,14,13,12,11,10,9,8,7,6,5,1}。利用式(1)，計(jì)算Pslice為66.7 %。

2 程序切片和測(cè)試需求的結(jié)合

2.1 測(cè)試需求之間的關(guān)系和約簡(jiǎn)方法

在軟件設(shè)計(jì)中應(yīng)盡可能使用松耦合關(guān)系。耦合是指各模塊間相互依賴程度的度量[6]。測(cè)試需求[7]之間的關(guān)系主要有包含、獨(dú)立和重合關(guān)系。若為獨(dú)立關(guān)系，則不必考慮耦合度；若為重合關(guān)系，則需要考慮耦合度；若為包含關(guān)系，即全耦合。以下給出測(cè)試需求ri和rj約簡(jiǎn)步驟：

1)若ri包含了rj，則覆蓋了ri的測(cè)試用例均可以覆蓋rj。在進(jìn)行測(cè)試時(shí)只需保留ri，即若ri和rj是相互包含關(guān)系，取ri或者rj中的一個(gè)。

3)若ri和rj是獨(dú)立關(guān)系，則ri和rj之間的測(cè)試用例沒有交集部分。這時(shí)，就無法約簡(jiǎn)測(cè)試需求。

2.2 測(cè)試需求約簡(jiǎn)算法

算法3 基于測(cè)試需求的約簡(jiǎn)算法：

輸入：原測(cè)試需求集R。

輸出：精簡(jiǎn)測(cè)試需求集R′。

R′:=R; ∥初始化

Pair:={(ri,rj)|ri,rj∈R(i,j=1,2,…,m,i

While(Pair不為空)

if(ri?rj)then∥若ri和rj是包含關(guān)系

R′=R-{ri};∥合并測(cè)試需求rj，保留測(cè)試需求ri

else if(rj∩ri)then

R′=R-{rj};∥去除測(cè)試需求rj，保留測(cè)試需求ri

else if(ri∩rj≠?)then∥若ri和rj是重合關(guān)系

R′=ri+rj-ri∩rj

else if(ri∩rj==?)then∥若ri和rj是獨(dú)立關(guān)系不約簡(jiǎn)測(cè)試需求

end if end if end if end if

end while

2.3 程序切片約簡(jiǎn)測(cè)試需求

定義3 方法內(nèi)切片準(zhǔn)則：

方法內(nèi)切片準(zhǔn)則是一個(gè)3元組(M,s,v)，其中，s為方法M的一條語句，v為在s點(diǎn)引用的變量。

定義4 方法耦合:

Slice(M,s,v1)和Slice(M,s,v2)分別為方法v1和v2在s入口點(diǎn)的切片，方法v1和v2之間的耦合度Coupling(v1,v2)為

(2)

式中 0≤Coupling(v1,v2)≤1，耦合度越高，說明關(guān)聯(lián)性越大，代碼之間的重合度越高，冗余度越大，越要進(jìn)行約簡(jiǎn)。

對(duì)于showViews(bookClassId)函數(shù)，有13個(gè)測(cè)試需求，圖1中每一個(gè)箭頭表示一個(gè)測(cè)試需求，即b1～b13。結(jié)合程序分析[8]，通過imnNCf和啟發(fā)式算法可知b6≡b8≡b9，b11≡b13，b2≡b4，b2?b1，b10?b7，b3?b2，b5?b2，b12?b9。其中，≡為等價(jià)關(guān)系，?為包含關(guān)系。通過式(2)計(jì)算語句24和語句29的耦合度為13/22。結(jié)合代碼的耦合度和啟發(fā)式算法進(jìn)行計(jì)算，使得原13個(gè)測(cè)試需求變?yōu)?個(gè)，精簡(jiǎn)的測(cè)試需求集R′={b1,b7,b9,b11}。對(duì)原程序進(jìn)行測(cè)試時(shí)，只需考慮這4項(xiàng)測(cè)試需求，即可實(shí)現(xiàn)分支覆蓋的測(cè)試目標(biāo)。

圖1 showViews(bookClassId)函數(shù)代碼流程

b1b2b3b4b5b6b7b8b9b10b11b12b13t1****t2********t3********t4**********t5*********t6*********t7*********

表3所示，對(duì)于原測(cè)試需求集R，當(dāng)測(cè)試用例集T={t1,t2,t3,t4,t5,t6,t7}時(shí)，G獲得用例集{t4,t5,t7}，然而，基于精簡(jiǎn)后的測(cè)試需求集R′，G′和GRE′獲得用例集{t4,t5}。且由于R′的規(guī)模較小，一定程度上減少了測(cè)試用例集的計(jì)算量。

3 仿真實(shí)驗(yàn)

圖書管理系統(tǒng)分為采購管理模塊、查詢功能模塊、系統(tǒng)管理模塊等。利用切片耦合度的測(cè)試需求約簡(jiǎn)流程如圖2所示。

圖2 測(cè)試需求約簡(jiǎn)流程

3.1 實(shí)驗(yàn)環(huán)境

Android環(huán)境下，實(shí)驗(yàn)平臺(tái)使用eclipse4.2，JDK1.6，Android SDK22.3，測(cè)試工具EclEmma，切片工具Soot。

3.2 用例集對(duì)比

分別用G，GRE算法對(duì)用戶功能模塊、圖書管理模塊、查詢功能模塊中的7個(gè)java文件進(jìn)行對(duì)比。對(duì)約簡(jiǎn)前測(cè)試需求集T和約簡(jiǎn)后測(cè)試需求集T′用2種算法各進(jìn)行8次實(shí)驗(yàn)，實(shí)驗(yàn)數(shù)據(jù)取8次實(shí)驗(yàn)的平均值。圖3給出了約簡(jiǎn)前后測(cè)試需求個(gè)數(shù)和測(cè)試用例個(gè)數(shù)對(duì)比關(guān)系。

圖3 G和GRE用例集對(duì)比

實(shí)驗(yàn)結(jié)果表明：約簡(jiǎn)前和約簡(jiǎn)后測(cè)試用例集數(shù)量大大減少，減少了約30 %，同時(shí)G算法優(yōu)于GRE算法。在某些節(jié)點(diǎn)，變化趨于平緩，這是因?yàn)椴煌a模塊之間的耦合性不是很大，同時(shí)也說明本方法的可行性。

3.3 約簡(jiǎn)前后檢錯(cuò)數(shù)對(duì)比

在用例集約簡(jiǎn)的同時(shí)，要保證約簡(jiǎn)后的用例集能夠覆蓋對(duì)應(yīng)的測(cè)試，即約簡(jiǎn)后的用例集個(gè)數(shù)能保證一定的覆蓋率。方法是通過對(duì)程序注入錯(cuò)誤，考察約簡(jiǎn)前、后測(cè)試用例集的測(cè)試效果，比較對(duì)注入錯(cuò)誤的識(shí)別能力。如果用較少的測(cè)試用例發(fā)現(xiàn)錯(cuò)誤數(shù)量與原測(cè)試用例發(fā)現(xiàn)錯(cuò)誤數(shù)量差別不大，那么該方法在用例集約簡(jiǎn)的同時(shí)也能保證覆蓋率。

實(shí)驗(yàn)從圖書管理系統(tǒng)中抽取完整的4個(gè)模塊，注入錯(cuò)誤。4個(gè)模塊的代碼規(guī)模適中，模塊編號(hào)用N表示，代碼規(guī)模用S表示，注入錯(cuò)誤數(shù)用I表示，簡(jiǎn)化前檢錯(cuò)數(shù)用C表示，簡(jiǎn)化后檢錯(cuò)數(shù)用C′表示。實(shí)驗(yàn)數(shù)據(jù)和結(jié)果如圖4所示。

圖4 檢錯(cuò)數(shù)對(duì)比

通過仿真實(shí)驗(yàn)可以看出：約簡(jiǎn)前、后，在模塊代碼量小的情況下，約簡(jiǎn)前、后檢錯(cuò)數(shù)相同。在模塊代碼量比較大的情況下，檢錯(cuò)數(shù)浮動(dòng)不明顯。表明，利用結(jié)構(gòu)表的方法構(gòu)造程序切片，可在用例集約簡(jiǎn)的同時(shí)，保證較高的檢錯(cuò)率。

3.4 不同方法覆蓋度對(duì)比

為了評(píng)價(jià)本方法的有效性，開發(fā)了一種網(wǎng)上書城的Web項(xiàng)目，設(shè)計(jì)測(cè)試用例和測(cè)試需求，利用G算法和GRE算法對(duì)程序的測(cè)試覆蓋度進(jìn)行對(duì)比，測(cè)試覆蓋度[9]為

(3)

式中 |T(rj)|為滿足測(cè)試需求rj的測(cè)試用例的個(gè)數(shù)；n為用例ti滿足需求的個(gè)數(shù)。表4使用原G算法、原GRE算法與本文方法應(yīng)用于G算法和GRE算法進(jìn)行比較的結(jié)果?？梢钥闯觯菏褂帽痉椒ㄔ谛枨髷?shù)量減少的同時(shí)，能夠保證和約簡(jiǎn)前相應(yīng)的覆蓋度。

3.5 結(jié)構(gòu)表復(fù)雜度對(duì)比

對(duì)于結(jié)構(gòu)表程序切片的時(shí)間復(fù)雜度，考慮最壞情況，假設(shè)結(jié)構(gòu)表中元素個(gè)數(shù)為n，切片準(zhǔn)則中包括程序中所有的變量，結(jié)合算法1和算法2，循環(huán)遍歷結(jié)構(gòu)表，最多執(zhí)行n次，其開銷為o(n(n+N+C+f))，計(jì)算切片的時(shí)間復(fù)雜度為o(n2)。而利用SDG計(jì)算切片的時(shí)間復(fù)雜度為o(n4)。對(duì)于空間復(fù)雜度，結(jié)構(gòu)表的存儲(chǔ)空間為6×n，即空間復(fù)雜度為o(n)，而存儲(chǔ)SDG的數(shù)據(jù)依賴和控制依賴?yán)镁仃?，其大小為n×n，空間復(fù)雜度為o(n2)。

表4 G和GRE算法覆蓋度對(duì)應(yīng)表

4 結(jié)束語

本文針對(duì)傳統(tǒng)構(gòu)造程序切片的缺點(diǎn)，借鑒已有構(gòu)造程序切片的方法，提出了基于結(jié)構(gòu)表的方法構(gòu)造程序切片，并將該方法運(yùn)用到Android環(huán)境下，很大程度上簡(jiǎn)化了生成切片的時(shí)間和空間復(fù)雜度。根據(jù)程序之間耦合性和啟發(fā)式算法，將之運(yùn)用到約簡(jiǎn)測(cè)試需求上，提高了測(cè)試用例集約減度，同時(shí)在一定程度上保證了覆蓋率。

雖然改進(jìn)的方法取得明顯的效果，但還需對(duì)構(gòu)造過程作進(jìn)一步的改進(jìn)。本文針對(duì)代碼約簡(jiǎn)后，通過模塊之間的耦合性，利用啟發(fā)式算法約簡(jiǎn)測(cè)試需求，可以考慮使用另一種算法約簡(jiǎn)測(cè)試用例，比如利用符號(hào)執(zhí)行方法約簡(jiǎn)測(cè)試用例。如何進(jìn)行約簡(jiǎn)是下一步的研究方向。

[1] 羅 彪,李 彬,張岱峰，等.基于Android系統(tǒng)的無線多點(diǎn)測(cè)溫系統(tǒng)設(shè)計(jì)[J].傳感器與微系統(tǒng),2016,35(3):56-59.

[2] Harrold M Jean,Gupta Rajiv,Soffa Mary Lou.A methodology for controlling the size of a test suite[J].ACM Transaction on Software Engineering and Methodology,1993,2(3):270-285.

[3] 徐寶文,聶長(zhǎng)海,章曉芳.一種基于測(cè)試需求約簡(jiǎn)的測(cè)試用例集優(yōu)化方法[J].軟件學(xué)報(bào),2007,18(4):821-831.

[4] 蘇小紅,龔丹丹,王甜甜，等.一種新的過程間靜態(tài)切片快速算法[J].哈爾濱工業(yè)大學(xué)學(xué)報(bào),2015,47(5):25-31.

[5] 龔丹丹,王甜甜,蘇小紅，等.冗余代碼缺陷檢測(cè)方法[J].哈爾濱工業(yè)大學(xué)學(xué)報(bào),2012,44(7):58-63.

[6] 孫永榮,劉建業(yè),劉瑞華，等.微小型導(dǎo)航系統(tǒng)中高精度導(dǎo)航計(jì)算機(jī)設(shè)計(jì)[J].傳感器與微系統(tǒng),2006,25(10):54-56.

[7] 程安宇,趙 恬,申 帥.基于CAN總線ECU診斷功能的一致性測(cè)試設(shè)計(jì)[J].傳感器與微系統(tǒng),2013,32(7):93-96.

[8] Marre Martina,Bertolino Antonia.Using spanning sets for cove-rage testing[J].IEEE Transaction on Software Engineering,2003,29(11):974-984.

[9] 華 麗,李曉月,王成勇，等.能提高錯(cuò)誤檢測(cè)能力的回歸測(cè)試用例集約簡(jiǎn)[J].湖南科技大學(xué)學(xué)報(bào)：自然科學(xué)版,2015,30(2):99-103.

劉 鋒(1962-)，教授，碩士生導(dǎo)師，主要從事并行計(jì)算與云計(jì)算研究工作，E—mail:fengliu@ahu.edu.cn。

朱二周(1981-)，男，通訊作者，副教授，碩士生導(dǎo)師，主要從事虛擬化與程序分析工作，E—mail:ezzhu@ahu.edu.cn。

DOI:10.13873/J.1000—9787(2017)09—0025—04

Research on test requirement reduction technique based on improved program slicing method*

ZHANG Jun1, LIU Feng1， MA Zhu-juan2， ZHU Er-zhou1

(1.School of Computer Science and Technology,Anhui University,Hefei 230601,China; 2.School of Economics and Technology,Anhui Agricultural University,Hefei 230036,China)

Traditional test suite reduction method generates test case set directly from the testing requirement set.Although the test case can be reduced,the method ignores the problem of redundancy testing requirements,results in inaccuracy.Aiming at this problem,a program slicing technique based on the method of six-element structure table is proposed.Program slicing is used to streamline test code,for saving the complex steps depending on graphic constructure.Use heuristic algorithm to reduce testing requirements based on the correlation between code and coupling degree between modules.After reducing test requirements,streamline test suite.The method is applied to the Android platform,to compare G and GRE algorithm case set before and after reduction.Experimental result shows that the testing requirement set after reduction ensures a higher coverage rate when it obtains less test suite.

program slicing; testing requirement reduction; coupling degree; six-element structure table

10.13873/J.1000—9787(2017)09—0017—05

2016—09—06

國家自然科學(xué)基金資助項(xiàng)目(61300169)；安徽省教育廳自然科學(xué)重點(diǎn)資助項(xiàng)目(KJ2016A257)

TP 311

A

1000—9787(2017)09—0017—05

張 軍(1989-)，男，碩士研究生，主要研究領(lǐng)域?yàn)槌绦蚍治?，E—mail:1213250514@qq.com。