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

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

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

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