依賴性分析及其在軟件測(cè)試中的應(yīng)用.pdf

1、依賴性分析和程序切片，是一種程序分解技術(shù)，在軟件工程的諸多領(lǐng)域都有廣泛應(yīng)用?，F(xiàn)代軟件規(guī)模的巨大和復(fù)雜使得設(shè)計(jì)和測(cè)試這些軟件極其困難，其中軟件測(cè)試通常要占到開發(fā)成本的50％甚至更多，提高軟件測(cè)試效率，對(duì)于降低軟件開發(fā)成本，加快軟件開發(fā)周期有直接的作用。由于現(xiàn)代軟件系統(tǒng)的巨大規(guī)模，真正的實(shí)用的測(cè)試方法總是根據(jù)情況和要求，有側(cè)重點(diǎn)的進(jìn)行，這就使得依賴性分析在軟件測(cè)試過程中有著重要意義。平衡軟件測(cè)試的效率和效果是當(dāng)前軟件測(cè)試具有理論意義和實(shí)際價(jià)

2、值的熱點(diǎn)問題。程序切片和依賴性分析是重要的程序分解技術(shù)，將依賴性分析應(yīng)用于軟件測(cè)試可以使得軟件測(cè)試更有目的性和針對(duì)性，在有條件的保證軟件測(cè)試效果的前提下，有效地提高軟件測(cè)試效率。 基于對(duì)依賴性分析在軟件測(cè)試中的應(yīng)用能力分析，本文進(jìn)行了以下一些研究工作： 軟件測(cè)試數(shù)據(jù)自動(dòng)生成是軟件測(cè)試的一個(gè)重要研究領(lǐng)域，其中數(shù)組變量和指針變量導(dǎo)致的變量不確定問題是測(cè)試數(shù)據(jù)自動(dòng)生成中的一個(gè)困難問題，本文通過理論分析得出非定態(tài)路徑約束解空間可

3、進(jìn)一步劃分為多個(gè)子空間的結(jié)論。基于分析結(jié)論，利用一種特殊的程序切片技術(shù)，本文給出一個(gè)將非定態(tài)路徑的測(cè)試轉(zhuǎn)換為定態(tài)路徑測(cè)試的算法。 通過分析EFSM不同測(cè)試序列的依賴關(guān)系模式(切片)，可以有效的約減測(cè)試集，提高測(cè)試效率。由于EFSM依賴關(guān)系的特殊性，對(duì)于EFSM依賴圖，現(xiàn)有的基于標(biāo)志已訪問節(jié)點(diǎn)的遍歷算法不適于解決該問題。本文對(duì)EFSM的依賴關(guān)系的傳遞性進(jìn)行了分析，并給出一個(gè)基于變遷的EFSM后向切片算法。 修改影響分析本質(zhì)

4、上也屬于約減測(cè)試用例的范疇，通過分析修改的軟件部分與軟件其他部分的依賴性關(guān)系，確定需要重新測(cè)試的部分，從而避免了對(duì)整個(gè)軟件的完全重新測(cè)試，提高了測(cè)試效率。本文針對(duì)面向?qū)ο蟪绦?，提出類成員后向切片方法以找出所有被修改所影響的類成員。該方法比類防火墻技術(shù)的精度要高，復(fù)雜度低于語句級(jí)粒度分析方法。 現(xiàn)代軟件中，并發(fā)程序設(shè)計(jì)得到越來越普遍的應(yīng)用。然而，并發(fā)程序的依賴性分析有著其特殊的復(fù)雜性，在這方面，本文進(jìn)行的研究工作有： 為了

5、使程序切片技術(shù)能應(yīng)用于更廣泛的并發(fā)程序，我們?cè)诂F(xiàn)有算法的基礎(chǔ)上，并進(jìn)一步考慮到互斥體間可能存在的同時(shí)有定義和引用關(guān)系的情況，將現(xiàn)有的并發(fā)程序切片算法推廣到可以計(jì)算有互斥機(jī)制的并發(fā)程序的程序切片，得到了更為精確的切片算法。 過程間并發(fā)程序分析是一個(gè)不可判定問題。理解這個(gè)不可判定問題的來源是發(fā)展一個(gè)有效的分析算法的基礎(chǔ)?，F(xiàn)有的證明通過構(gòu)造三個(gè)并發(fā)任務(wù)的PCP問題實(shí)例，本文僅僅用兩個(gè)并發(fā)任務(wù)將該問題轉(zhuǎn)化為PCP問題從而證明了這個(gè)不可判