基于依賴性分析的面向?qū)ο蟪绦驕y試技術研究.pdf

1、軟件測試是保證軟件質(zhì)量的重要手段,是一項成本昂貴、耗時耗力的復雜工作。面向?qū)ο蟪绦蚍譃榉椒墶㈩惣?、類簇級和系統(tǒng)級四個測試級別。研究發(fā)現(xiàn),方法級、類級測試(單元測試)和類簇級測試(集成測試)是軟件測試中關鍵的研究領域。本論文分別針對類單元測試中的路徑覆蓋測試數(shù)據(jù)生成問題和集成測試中類測試順序的確定問題,研究面向?qū)ο蟪绦驕y試技術及應用。
　　類中的方法與傳統(tǒng)程序中的過程(或函數(shù))有一定區(qū)別,因此,本論文首先對包含異常處理結構的面向?qū)?/p>

2、象程序進行類簇級依賴性分析,研究異常處理結構對依賴性信息所造成的影響,進而準確地分析出程序中的控制流、數(shù)據(jù)流、控制依賴、數(shù)據(jù)依賴等信息,為系統(tǒng)的結構測試等軟件工程的任務提供準確的信息。
　　在程序依賴性分析的基礎上,提出基于條件語句相關性的不可達路徑靜態(tài)檢測方法:首先給出基于數(shù)據(jù)流信息的條件語句相關性判定原理,再利用條件語句相關性檢測程序的不可達路徑。本方法的創(chuàng)新點在于考慮了異常處理結構和別名對數(shù)據(jù)流信息的影響。實例分析結果表明,

3、該方法可以提高路徑的可達性檢測結果的精確度,為有效解決路徑覆蓋問題奠定了基礎。
　　在路徑可達性檢測的基礎上,針對基于路徑覆蓋的測試數(shù)據(jù)生成問題,提出了多路徑覆蓋測試數(shù)據(jù)生成方法。該方法首先將被測程序表示成控制流圖,對目標路徑采用語句標號結合分支走向的方法表示成混合串;然后采用遺傳算法,一次執(zhí)行生成多條路徑各自的測試數(shù)據(jù),設計的適應度函數(shù)綜合考慮個體穿越的路徑與每個目標路徑的匹配程度。實驗結果表明,該方法避免了冗余測試,有效提高了

4、測試數(shù)據(jù)生成效率。
　　類測試順序的確定是類簇級測試中的一個重點和難點問題。針對只考慮類間靜態(tài)依賴關系的情況下集成測試中的類測試序生成問題,以要被創(chuàng)建的測試樁的總體復雜度作為問題的優(yōu)化目標,提出一種基于耦合度量的類間集成測試順序的確定方法。該方法將類間耦合度量與基于圖的啟發(fā)式算法相結合,其中,前者用于度量每一個測試樁的復雜度,后者用于在保證測試樁總體復雜度盡可能小的條件下打破環(huán)路。首先提出一種度量中使用的耦合權重的計算方法,對測試

5、樁的復雜度進行新的耦合度量;然后提出一種用于打破環(huán)路的基于圖的啟發(fā)式算法。實驗結果表明,較現(xiàn)有方法相比,總體復雜度有明顯的降低,節(jié)約了測試成本。
　　在類間靜態(tài)依賴關系構成環(huán)路的情況下,考慮面向?qū)ο笾袆討B(tài)綁定特性以及抽象類不可實例化等特點,以被創(chuàng)建的測試樁的總個數(shù)作為問題的優(yōu)化目標,提出一種基于測試級的類測試順序確定方法。首先分析類之間的靜態(tài)依賴和動態(tài)依賴關系;然后提出邊的刪除規(guī)則以及消除由靜態(tài)依賴關系和動態(tài)依賴關系形成的環(huán)路的算

6、法,在消除環(huán)路過程中保證測試樁的數(shù)目盡可能少;在此基礎上進一步提出測試順序分配策略和算法,進而確定基于測試級的類測試序列;但是,抽象類不可實例化的特點使得一些測試級不可行,因此,我們對其做了進一步調(diào)整,得到所有可行的測試級。實驗結果表明,該方法較其它方法相比,需要較少的測試樁。
　　本研究提高了測試數(shù)據(jù)的生成效率,并實現(xiàn)了自動生成類測試順序的目標,一定程度上豐富了軟件測試理論,具有重要理論意義和實際應用價值。
　　該論文有圖