程序切片技術(shù)研究及其在軟件回歸測試中的應(yīng)用.pdf

1、程序切片技術(shù)是一種分解程序的技術(shù),可將一個復(fù)雜的大程序根據(jù)需要分解成滿足計算需要的小程序,同時保持所選程序功能的相對完整性和計算結(jié)果的正確性.本文首先廣泛、深入地研究了程序切片理論,對目前各種程序切片技術(shù)進(jìn)行歸納總結(jié),并簡單介紹了幾個程序切片工具.然后簡要回顧了回歸測試的基礎(chǔ)理論及面臨的問題,在此基礎(chǔ)上,進(jìn)一步研究了程序切片技術(shù)在降低回歸測試成本方面的應(yīng)用.根據(jù)對程序切片技術(shù)在回歸測試領(lǐng)域內(nèi)應(yīng)用現(xiàn)狀的分析,可知目前相關(guān)研究工作都沒有區(qū)分

2、回歸測試所要檢驗(yàn)的修改類型,可操作性不好,并且無法充分發(fā)揮程序切片技術(shù)的優(yōu)點(diǎn).為此,本文提出了一種利用"條件切片"技術(shù),來專門檢驗(yàn)對于循環(huán)和選擇結(jié)構(gòu)中"控制謂詞"的修改的方法,從而更進(jìn)一步降低回歸測試的成本.最后,本文提出了一個"利用程序切片技術(shù)降低回歸測試成本"的實(shí)用框架.該框架一方面可對一個軟件修改前后的兩個版本進(jìn)行比較,計算出新版本相對于舊版本的差別程序,使得對差別程序進(jìn)行回歸測試與對軟件新版本進(jìn)行回歸測試等效;另一方面,該框架能