面向?qū)ο蟪绦虻淖儺悳y(cè)試方法研究——基于代數(shù)式規(guī)格的變異測(cè)試系統(tǒng)的研究與實(shí)現(xiàn).pdf

1、軟件測(cè)試是軟件工程中保證產(chǎn)品質(zhì)量的重要技術(shù)手段。變異測(cè)試是一種衡量測(cè)試用例集完備性的測(cè)試策略，也被用于生成完備的測(cè)試用例集。傳統(tǒng)的變異測(cè)試作用在程序的源代碼上。 本文提出了一種基于代數(shù)式規(guī)格的變異測(cè)試系統(tǒng)，并且在Java平臺(tái)上進(jìn)行了相應(yīng)的實(shí)現(xiàn)。代數(shù)式規(guī)格被廣泛應(yīng)用于描述面向?qū)ο蟪绦虻男枨?，本文系統(tǒng)因此也是變異測(cè)試在面向?qū)ο箢I(lǐng)域的一次嘗試。本文的主要研究?jī)?nèi)容和成果如下： 1）根據(jù)代數(shù)式規(guī)格的特點(diǎn)，抽象了12類變異運(yùn)算符，作

2、為系統(tǒng)中的核心變異模塊。 2）仿照FTC算法，設(shè)計(jì)了系統(tǒng)中自動(dòng)生成測(cè)試用例的模塊。 3）利用短語(yǔ)覆寫(xiě)技術(shù)，設(shè)計(jì)了變異測(cè)試中殺死變異體的方法。 4）利用Java中的反射機(jī)制，實(shí)現(xiàn)了用代數(shù)等式測(cè)試Java源程序的方法。 5）通過(guò)對(duì)五個(gè)不同代數(shù)式規(guī)格的測(cè)試，驗(yàn)證了設(shè)計(jì)方法的正確性和有效性。 本文的變異測(cè)試系統(tǒng)相比傳統(tǒng)的變異測(cè)試系統(tǒng)，在測(cè)試效率方面有顯著提高；在測(cè)試完備性方面稍有不足，但相差不多。本文研究