

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、隨著計算機技術(shù)的飛速發(fā)展, 軟件系統(tǒng)的數(shù)量越來越多, 規(guī)模越來越大, 復(fù)雜程度越來越高。在一些大型、長生命周期的軟件測試和維護(hù)過程中, 手工分析已經(jīng)變得越來越不可行, 越來越多的工作需要理論、技術(shù)和工具的支持。軟件測試技術(shù)和程序分析技術(shù)已成為軟件領(lǐng)域的一個十分重要而又及其迫切的研究領(lǐng)域。對一個軟件進(jìn)行大規(guī)模測試后, 對軟件進(jìn)行了某種小小的修改, 是否要對程序進(jìn)行重新測試, 是一個值得重視的問題。從程序切片的角度去考慮這個問題, 首先應(yīng)該
2、找到程序新舊版本之間的不同之處。比較兩者的切片和依賴圖, 對那些具有相同切片的特點不用考慮。將那些在新版本依賴圖中出現(xiàn), 而在舊版本依賴圖中不出現(xiàn)的結(jié)點, 標(biāo)記出來, 稱為“影響點”, 計算它的靜態(tài)切片和前向切片, 取二者的交集。這樣, 如果要對程序進(jìn)行重測試, 僅僅需要對此交集進(jìn)行測試, 因而減少了工作量的消耗。 近幾年來,出現(xiàn)了一些新的技術(shù),這些技術(shù)對軟件測試產(chǎn)生了十分重要的影響。其中一種技術(shù)就是對基于狀態(tài)的系統(tǒng)進(jìn)行建模的技
3、術(shù)。值得注意的是,基于狀態(tài)的系統(tǒng)能夠用形式化描述語言來建模,比如UML狀態(tài)圖,可擴(kuò)展的有限狀態(tài)機(EFSM),規(guī)格描述語言(SDL),虛擬有限自動機(VFSM)和ESTELLE。系統(tǒng)建模減少了二義性,誤解和對系統(tǒng)規(guī)格說明的不確切的理解。然而現(xiàn)代的系統(tǒng)趨向于大型和復(fù)雜,以至于它們非常難以理解、修改和調(diào)試。繼而就產(chǎn)生了對分析系統(tǒng)特別是關(guān)于某個特殊系統(tǒng)功能的分析的需求,例如某個系統(tǒng)的特殊特征,一條需求或一個改變。在軟件系統(tǒng)的維護(hù)階段,軟件開發(fā)
4、人員必須識別關(guān)注的某個功能的部分模型,使得這些模型顯得十分重要。同時,能夠簡化和減少模型的技術(shù)也很必要,因為它們使得理解和分析更加容易些。 基于依賴性分析的UML狀態(tài)圖切片系統(tǒng)主要應(yīng)用于回歸測試中。它的主要功能包括:對C++源程序進(jìn)行靜態(tài)分析和預(yù)處理;進(jìn)行數(shù)據(jù)依賴和控制分析;根據(jù)切片標(biāo)準(zhǔn)和讀取UML狀態(tài)圖,對狀態(tài)圖進(jìn)行切片;進(jìn)行回歸測試,最后生成測試報告。 通過依賴性分析的UML狀態(tài)圖切片系統(tǒng),開發(fā)人員和測試人員可以了解
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于依賴性分析的Web應(yīng)用切片的研究.pdf
- 基于UML狀態(tài)圖的軟件測試研究.pdf
- 基于UML狀態(tài)圖的測試生成研究.pdf
- 基于UML狀態(tài)圖的軟件性能測試研究.pdf
- 基于UML模型的依賴分析在回歸測試中的研究與應(yīng)用.pdf
- 基于UML狀態(tài)圖的類測試方法研究.pdf
- uml狀態(tài)圖
- 基于UML合并狀態(tài)圖的測試用例生成.pdf
- 基于狀態(tài)圖的測試的分析及其應(yīng)用.pdf
- 面向UML模型的依賴性分析及應(yīng)用的研究.pdf
- 基于擴(kuò)充的UML狀態(tài)圖的類測試方法研究.pdf
- 基于UML狀態(tài)圖的測試用例自動生成研究.pdf
- 基于依賴性分析的程序切片技術(shù)研究.pdf
- 依賴性分析及其在軟件測試中的應(yīng)用.pdf
- 基于UML狀態(tài)圖測試用例的生成技術(shù)研究.pdf
- 基于UML狀態(tài)圖的軟件測試用例生成方法研究.pdf
- 基于UML狀態(tài)圖與順序圖合并的測試用例生成應(yīng)用研究.pdf
- 基于UML狀態(tài)圖的測試用例自動生成方法研究.pdf
- 基于模板技術(shù)的UML狀態(tài)圖代碼框架生成.pdf
- 基于時序描述邏輯的UML狀態(tài)圖語義研究.pdf
評論
0/150
提交評論