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

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

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

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

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