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

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

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