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

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

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

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

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

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

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