本文通過(guò)分析基于GUI的面向?qū)ο筌浖到y(tǒng)中界面元素和類(lèi)方法之間的依賴(lài)關(guān)系，
應(yīng)用程序切片技術(shù)，給出系統(tǒng)回歸測(cè)試的方案。在系統(tǒng)修改后，通過(guò)系統(tǒng)中對(duì)象之間的依賴(lài)性界定修改波及的影響，再根據(jù)切片技術(shù)計(jì)算出相應(yīng)的程序切片，進(jìn)一步設(shè)計(jì)或選擇有效的測(cè)試用例進(jìn)行測(cè)試。
關(guān)鍵詞：回歸測(cè)試;GUI;程序切片技術(shù);OO
回歸測(cè)試是軟件測(cè)試和維護(hù)中的一個(gè)重要環(huán)節(jié)。當(dāng)已經(jīng)測(cè)試過(guò)的軟件的某個(gè)部分發(fā)生變
化或者某些錯(cuò)誤被修改后，為了保證修改部分沒(méi)有引入新的錯(cuò)誤，需要進(jìn)行回歸測(cè)試?；貧w測(cè)試關(guān)鍵的是測(cè)試用例的選擇以及測(cè)試用例的增補(bǔ)，最簡(jiǎn)單的方法是重新執(zhí)行所有的測(cè)試用例，這是不切實(shí)際的。所以實(shí)際工作中，只對(duì)進(jìn)行修改的部分重新測(cè)試，從而達(dá)到與全部重測(cè)相同的測(cè)試覆蓋。在傳統(tǒng)軟件的回歸測(cè)試中，一般采用選擇性回歸測(cè)試的方法（Regression Test Selection，RTS）,這種方法是完全基于界面元素的黑盒測(cè)試，在過(guò)去的結(jié)構(gòu)化程序測(cè)試中有著很好的應(yīng)用，但是面對(duì)基于GUI 的面向?qū)ο蟮能浖到y(tǒng)，當(dāng)軟件內(nèi)部邏輯發(fā)生變化時(shí)，RTS 很難根據(jù)軟件內(nèi)部的變化來(lái)選擇合適的測(cè)試用例，這在大中型軟件測(cè)試中很難達(dá)到足夠的精確度和效率。針對(duì)這個(gè)問(wèn)題，A M Memon 等人提出了DART 模型[1]，其中測(cè)試用例的構(gòu)成以及RTS 完全基于EFG 和IT，是標(biāo)準(zhǔn)的黑盒測(cè)試；另外，黃若藝在文獻(xiàn)[2]中提出了基于依賴(lài)性分析的回歸測(cè)試用例選擇方法，這種方法著重根據(jù)擴(kuò)展有限狀態(tài)自動(dòng)機(jī)模型（extended finite state machine，EFSM）進(jìn)行狀態(tài)的依賴(lài)性分析[2]，根據(jù)狀態(tài)之間的遷移關(guān)系選擇測(cè)試用例，雖然在一定程度上縮減了測(cè)試用例集，但是仍然是基于狀態(tài)的，而且沒(méi)有針對(duì)修改部分及其波及影響對(duì)測(cè)試用例集進(jìn)行進(jìn)一步簡(jiǎn)約。
我們知道，基于 GUI 的面向?qū)ο蟮能浖y(cè)試需要解決兩大問(wèn)題：確定修改波及影響的
范圍；選擇或設(shè)計(jì)測(cè)試用例對(duì)修改和波及影響進(jìn)行測(cè)試。為了適應(yīng)測(cè)試的要求，本文提出了基于切片技術(shù)的測(cè)試用例選擇方法，首先通過(guò)分析GUI 界面元素和面向?qū)ο筌浖到y(tǒng)類(lèi)方法之間的邏輯依賴(lài)關(guān)系確定修改波及的影響范圍；利用程序切片技術(shù)對(duì)修改部分和波及影響部分進(jìn)行切片；然后根據(jù)切片相互之間的關(guān)系設(shè)計(jì)和選擇測(cè)試用例。