配對組合測試中參數(shù)約束問題的研究與實現(xiàn).pdf

1、隨著軟件技術(shù)的發(fā)展和軟件項目規(guī)模的不斷擴(kuò)大，軟件測試的作用越來越重要。然而，軟件測試是一項耗時、耗力的工作，如何通過較少的測試用例，來檢測出盡可能多的軟件錯誤是人們所面臨的挑戰(zhàn)。研究表明，配對組合測試方法是一種科學(xué)、實用和有效的測試方法。目前，學(xué)者們對配對組合測試的研究大都集中于獨立性參數(shù)之間，而對配對組合測試中存在參數(shù)約束的情況研究較少。在此背景下，本文主要研究了配對組合測試中的參數(shù)約束問題。本文在對配對組合測試算法、配對組合測試參數(shù)

2、約束及控制策略研究的基礎(chǔ)上，提出了能生成較小測試集的HPC IPO算法，從而使得配對組合測試技術(shù)更好、更全面地滿足實際測試的需要。 本文首先介紹了軟件測試技術(shù)和配對組合測試。介紹了軟件測試技術(shù)的分類，并對軟件測試技術(shù)進(jìn)行了比較。對組合測試進(jìn)行了簡要介紹，給出了組合測試形式化描述，總結(jié)出軟件測試中的組合問題。給出了配對組合測試及相關(guān)概念，并證明了配對覆蓋是N-PC問題。 接著，論文對配對組合測試生成算法進(jìn)行研究。主要對AE

3、TG算法，IPO算法和正交拉丁方算法進(jìn)行研究和分析比較。根據(jù)IPO算法的不足，對其進(jìn)行了相應(yīng)的改進(jìn)。 然后，論文對配對組合測試參數(shù)約束及控制策略進(jìn)行研究。根據(jù)配對組合測試的特點對參數(shù)約束進(jìn)行了分類，并給出其相應(yīng)的定義。針對有2值型約束存在時測試集大小的變化情況，得出有2值型約束時，雖然所需覆蓋的配對數(shù)減少，但測試集不一定變小的結(jié)論。給出有2值型約束時，測試集大小的最小下限，并證明之。最后，對參數(shù)約束控制策略進(jìn)行了詳細(xì)的研究，給出