基于分片和變體的面向?qū)ο筌浖y(cè)試技術(shù)研究.pdf

1、變體測(cè)試是一種有效的測(cè)試度量技術(shù),它提供了一種度量測(cè)試的指標(biāo)及基于該指標(biāo)的測(cè)試方法?；舅枷胧歉鶕?jù)一定的準(zhǔn)則(變體算子)在程序中引入缺陷來(lái)度量測(cè)試用例集。但要使變體測(cè)試技術(shù)廣泛且有效的服務(wù)于工業(yè)應(yīng)用,還有很多研究工作需要進(jìn)行,如:如何降低變體測(cè)試的開(kāi)銷(xiāo);如何更有效的判斷等價(jià)變體;如何加強(qiáng)變體測(cè)試的有效性;如何使變體測(cè)試技術(shù)更好的應(yīng)用于新的程序語(yǔ)言(面向?qū)ο笳Z(yǔ)言)等。
　　文章主要針對(duì)如何加強(qiáng)變體測(cè)試的有效性和如何使變體測(cè)試技術(shù)更好

2、的應(yīng)用于面向?qū)ο蟪绦蛘Z(yǔ)言來(lái)展開(kāi)研究。并利用一種有效的程序分析技術(shù):程序分片,對(duì)變體測(cè)試進(jìn)行了研究與分析。論文的主要工作包括:
　　(1)基于程序片的變體測(cè)試指標(biāo)提出。通過(guò)研究,在傳統(tǒng)變體測(cè)試指標(biāo)的基礎(chǔ)上提出了一種更加嚴(yán)格的測(cè)試指標(biāo):基于程序片的變體測(cè)試指標(biāo)。該指標(biāo)涵蓋了傳統(tǒng)測(cè)變體測(cè)試指標(biāo)。
　　(2)結(jié)合分片的變體測(cè)試方法提出。給出了基于程序片變體測(cè)試指標(biāo)的一般性測(cè)試方法和相關(guān)的證明。該方法能更有效地指導(dǎo)變體測(cè)試的進(jìn)行,同時(shí)