程序切片技術研究及其在軟件回歸測試中的應用.pdf

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

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