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

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

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

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

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

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

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