基于依賴性分析的UML狀態(tài)圖切片在回歸測(cè)試中的應(yīng)用.pdf

1、隨著計(jì)算機(jī)技術(shù)的飛速發(fā)展, 軟件系統(tǒng)的數(shù)量越來(lái)越多, 規(guī)模越來(lái)越大, 復(fù)雜程度越來(lái)越高。在一些大型、長(zhǎng)生命周期的軟件測(cè)試和維護(hù)過(guò)程中, 手工分析已經(jīng)變得越來(lái)越不可行, 越來(lái)越多的工作需要理論、技術(shù)和工具的支持。軟件測(cè)試技術(shù)和程序分析技術(shù)已成為軟件領(lǐng)域的一個(gè)十分重要而又及其迫切的研究領(lǐng)域。對(duì)一個(gè)軟件進(jìn)行大規(guī)模測(cè)試后, 對(duì)軟件進(jìn)行了某種小小的修改, 是否要對(duì)程序進(jìn)行重新測(cè)試, 是一個(gè)值得重視的問(wèn)題。從程序切片的角度去考慮這個(gè)問(wèn)題, 首先應(yīng)該

2、找到程序新舊版本之間的不同之處。比較兩者的切片和依賴圖, 對(duì)那些具有相同切片的特點(diǎn)不用考慮。將那些在新版本依賴圖中出現(xiàn), 而在舊版本依賴圖中不出現(xiàn)的結(jié)點(diǎn), 標(biāo)記出來(lái), 稱為“影響點(diǎn)”, 計(jì)算它的靜態(tài)切片和前向切片, 取二者的交集。這樣, 如果要對(duì)程序進(jìn)行重測(cè)試, 僅僅需要對(duì)此交集進(jìn)行測(cè)試, 因而減少了工作量的消耗。 近幾年來(lái)，出現(xiàn)了一些新的技術(shù)，這些技術(shù)對(duì)軟件測(cè)試產(chǎn)生了十分重要的影響。其中一種技術(shù)就是對(duì)基于狀態(tài)的系統(tǒng)進(jìn)行建模的技

3、術(shù)。值得注意的是，基于狀態(tài)的系統(tǒng)能夠用形式化描述語(yǔ)言來(lái)建模，比如UML狀態(tài)圖，可擴(kuò)展的有限狀態(tài)機(jī)(EFSM)，規(guī)格描述語(yǔ)言(SDL)，虛擬有限自動(dòng)機(jī)(VFSM)和ESTELLE。系統(tǒng)建模減少了二義性，誤解和對(duì)系統(tǒng)規(guī)格說(shuō)明的不確切的理解。然而現(xiàn)代的系統(tǒng)趨向于大型和復(fù)雜，以至于它們非常難以理解、修改和調(diào)試。繼而就產(chǎn)生了對(duì)分析系統(tǒng)特別是關(guān)于某個(gè)特殊系統(tǒng)功能的分析的需求，例如某個(gè)系統(tǒng)的特殊特征，一條需求或一個(gè)改變。在軟件系統(tǒng)的維護(hù)階段，軟件開(kāi)發(fā)

4、人員必須識(shí)別關(guān)注的某個(gè)功能的部分模型，使得這些模型顯得十分重要。同時(shí)，能夠簡(jiǎn)化和減少模型的技術(shù)也很必要，因?yàn)樗鼈兪沟美斫夂头治龈尤菀仔?基于依賴性分析的UML狀態(tài)圖切片系統(tǒng)主要應(yīng)用于回歸測(cè)試中。它的主要功能包括：對(duì)C++源程序進(jìn)行靜態(tài)分析和預(yù)處理；進(jìn)行數(shù)據(jù)依賴和控制分析；根據(jù)切片標(biāo)準(zhǔn)和讀取UML狀態(tài)圖，對(duì)狀態(tài)圖進(jìn)行切片；進(jìn)行回歸測(cè)試，最后生成測(cè)試報(bào)告。 通過(guò)依賴性分析的UML狀態(tài)圖切片系統(tǒng)，開(kāi)發(fā)人員和測(cè)試人員可以了解