基于合約變異的構件軟件測試技術.pdf

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

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

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