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

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

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