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

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

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

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

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

5、使程序切片技術(shù)能應(yīng)用于更廣泛的并發(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è)不可判