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

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

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

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