基于合約變異的構(gòu)件軟件測(cè)試技術(shù).pdf

1、軟件測(cè)試是保證軟件質(zhì)量的重要手段，其目的在于檢驗(yàn)軟件產(chǎn)品是否滿(mǎn)足規(guī)定的需求，找出軟件中潛伏的各種錯(cuò)誤與缺陷。軟件測(cè)試與軟件的開(kāi)發(fā)方法有著緊密的聯(lián)系，不同的開(kāi)發(fā)方法確定了不同的測(cè)試技術(shù)。20世紀(jì)90年代以來(lái)軟件領(lǐng)域研究的一個(gè)重要進(jìn)展就是軟件構(gòu)件化。構(gòu)件技術(shù)是面向?qū)ο蠹夹g(shù)的進(jìn)一步發(fā)展，使人們能夠在不同語(yǔ)言、不同平臺(tái)下開(kāi)發(fā)軟件，解決了面向?qū)ο蠹夹g(shù)無(wú)法使大量結(jié)構(gòu)相似的應(yīng)用程序得到復(fù)用的矛盾。因此構(gòu)件技術(shù)已成為當(dāng)前軟件領(lǐng)域的主流技術(shù)和應(yīng)用研究熱點(diǎn)

2、。
　　變異測(cè)試是一種行之有效的軟件測(cè)試方法，通過(guò)使用變異算子產(chǎn)生變異體，系統(tǒng)地模擬軟件中的各種缺陷，然后構(gòu)造能夠殺死這些變異體的測(cè)試數(shù)據(jù)集。自動(dòng)生成能夠殺死變異體的測(cè)試數(shù)據(jù)將提高變異測(cè)試的效率和有效性。鑒于變異測(cè)試在軟件測(cè)試中取得的成功，本文在前人的研究基礎(chǔ)上將變異測(cè)試引入到構(gòu)件測(cè)試技術(shù)中去。
　　本文介紹了傳統(tǒng)變異測(cè)試數(shù)據(jù)生成方法，由于傳統(tǒng)測(cè)試數(shù)據(jù)生成方法中只能對(duì)單個(gè)參數(shù)的一次約束條件進(jìn)行數(shù)據(jù)選擇，本文在基于合約變異方法

3、的基礎(chǔ)上，提出了一種改進(jìn)的測(cè)試數(shù)據(jù)選擇算法，可以對(duì)單個(gè)參數(shù)的多次約束條件產(chǎn)生測(cè)試數(shù)據(jù)，利用此算法可以生成一組達(dá)到一定合約變異充分度的有效測(cè)試數(shù)據(jù)，克服了傳統(tǒng)變異測(cè)試產(chǎn)生大量變異體帶來(lái)的測(cè)試低效性；同時(shí)，本文還介紹了基于規(guī)格說(shuō)明的變異算法在軟件測(cè)試中的應(yīng)用思想，分析了不同變異算子與故障類(lèi)別之間的蘊(yùn)含關(guān)系，把這種算法應(yīng)用到構(gòu)件合約變異中去，并對(duì)傳統(tǒng)的合約變異算子進(jìn)行了改進(jìn)，在一定程度上提高了測(cè)試數(shù)據(jù)的有效性，進(jìn)一步簡(jiǎn)化了最終測(cè)試數(shù)據(jù)集。本文