基于程序切片的電子海圖系統(tǒng)軟件測(cè)試技術(shù)研究.pdf

1、隨著信息技術(shù)的發(fā)展,計(jì)算機(jī)軟件在社會(huì)各行各業(yè)中扮演著越來(lái)越重要的作用。軟件測(cè)試作為保證軟件質(zhì)量的一個(gè)重要環(huán)節(jié),在現(xiàn)代軟件工程中所處的地位也越來(lái)越高。程序切片技術(shù)是一種程序分析和理解技術(shù),在程序理解、分析、測(cè)試、軟件維護(hù)和質(zhì)量保證等方面都有著廣泛的應(yīng)用。基于程序切片的軟件測(cè)試一方面可以縮小測(cè)試的范圍,提高測(cè)試的效率;另一方面由于考慮到程序中存在的數(shù)據(jù)依賴、控制依賴等各種依賴關(guān)系,可以提高測(cè)試的準(zhǔn)確性。本文以我校研制的電子海圖系統(tǒng)作為軟件測(cè)

2、試的應(yīng)用對(duì)象,圍繞該系統(tǒng)軟件測(cè)試過(guò)程中存在的問(wèn)題展開(kāi)研究。
　　 課題首先分析電子海圖系統(tǒng)軟件測(cè)試過(guò)程中存在的路徑選擇問(wèn)題和回歸測(cè)試用例選擇問(wèn)題。路徑選擇的目的是獲得程序的可達(dá)路徑、排除不可達(dá)路徑,使要測(cè)試的程序規(guī)模得到削減,解決由于不可達(dá)路徑的存在造成的白盒測(cè)試用例冗余問(wèn)題,有利于測(cè)試用例的自動(dòng)生成,提高測(cè)試的效率。回歸測(cè)試用例選擇的目的是為了減少回歸測(cè)試用例的數(shù)量,進(jìn)而使回歸測(cè)試的時(shí)間與成本得到有效降低。
　　 其次

3、,較深入的研究程序切片理論,對(duì)各種程序切片包括靜態(tài)切片、動(dòng)態(tài)切片、后向切片、前向切片、過(guò)程內(nèi)切片和過(guò)程間切片進(jìn)行歸納總結(jié)。針對(duì)程序切片技術(shù)可以簡(jiǎn)化問(wèn)題、縮小目標(biāo)范圍的特點(diǎn),研究該技術(shù)在軟件白盒測(cè)試的路徑選擇方面和回歸測(cè)試的測(cè)試用例選擇方面應(yīng)用可行性。
　　 然后,具體研究程序切片技術(shù)在路徑選擇中的應(yīng)用,在現(xiàn)有的路徑選擇算法的基礎(chǔ)上,引入程序切片技術(shù),提出了基于程序切片的路徑選擇算法,該方法使可達(dá)路徑的選擇范圍盡可能的縮小,從而增

4、強(qiáng)了白盒測(cè)試的針對(duì)性,并將該方法應(yīng)用于一個(gè)實(shí)例,證明了該方法的有效性。
　　 最后,詳細(xì)分析程序切片技術(shù)在選擇性回歸測(cè)試中的應(yīng)用,通過(guò)對(duì)現(xiàn)有的多種選擇性回歸測(cè)試技術(shù)進(jìn)行比較,在對(duì)其現(xiàn)有算法進(jìn)行改進(jìn)的基礎(chǔ)上,研究出一種適合于電子海圖系統(tǒng)的方法。該方法是基于控制流的,它使用BackwardWalk和ForwardWalk兩種切片算法來(lái)判斷程序中的受直接或間接影響的定義一使用關(guān)系。并將該改進(jìn)算法應(yīng)用于電子海圖系統(tǒng)回歸測(cè)試用例選擇過(guò)程中