測(cè)試數(shù)據(jù)自動(dòng)生成技術(shù)研究.pdf

1、軟件測(cè)試可以被視為為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過程，其中設(shè)計(jì)和生成有效的測(cè)試用例是決定其質(zhì)量的重要因素之一。作為人工測(cè)試的重要補(bǔ)充，測(cè)試數(shù)據(jù)自動(dòng)生成技術(shù)可以節(jié)省測(cè)試時(shí)間，降低開發(fā)成本，拓展測(cè)試人員的能力，在許多測(cè)試領(lǐng)域發(fā)揮著不可替代的作用。多年來，人們對(duì)它進(jìn)行了廣泛而深入的研究，取得了許多研究成果，使之在功能性測(cè)試、結(jié)構(gòu)性測(cè)試、性能測(cè)試等領(lǐng)域得到廣泛應(yīng)用。 本文從組合測(cè)試和演化測(cè)試的角度，對(duì)功能性測(cè)試和結(jié)構(gòu)性測(cè)試的測(cè)試數(shù)據(jù)自動(dòng)生成技

2、術(shù)進(jìn)行了深入研究，主要工作包括：(1)在功能性測(cè)試領(lǐng)域，基于組合測(cè)試模型，提出了若干種測(cè)試數(shù)據(jù)自動(dòng)生成方法，有助于獲得高質(zhì)量的測(cè)試數(shù)據(jù)集；(2)通過對(duì)程序分析與切片技術(shù)的研究，探索了結(jié)構(gòu)性測(cè)試的基礎(chǔ)理論：(3)提出了若干種結(jié)構(gòu)性演化測(cè)試方法及優(yōu)化技術(shù)，能夠自動(dòng)生成滿足測(cè)試目標(biāo)的測(cè)試數(shù)據(jù)。 論文工作的主要成果表現(xiàn)在以下幾個(gè)方面： ·在組合覆蓋測(cè)試模型的基礎(chǔ)上，提出了一種基于解空間樹的組合測(cè)試數(shù)據(jù)生成方法，所生成的測(cè)試數(shù)據(jù)集

3、與同類方法相比具有一定的特點(diǎn)和優(yōu)勢(shì)。提出兩種多因素組合測(cè)試數(shù)據(jù)的生成算法，可作為已有方法的有益補(bǔ)充，適用于關(guān)鍵系統(tǒng)的測(cè)試。 ·針對(duì)面向方面程序(aspect-orientedprogram)的特點(diǎn)，提出了一種新的程序依賴性分析與切片方法，可以準(zhǔn)確地計(jì)算面向方面程序的控制依賴和數(shù)據(jù)依賴。結(jié)合程序分析方面的研究，提出了兩種測(cè)試數(shù)據(jù)生成方法，可以分別生成滿足多重條件覆蓋和改進(jìn)的條件/叛定覆蓋的測(cè)試數(shù)據(jù)集。 ·提出了一種針對(duì)路徑