基于變量分組的路徑覆蓋測試數(shù)據(jù)生成建模及進化求解.pdf

1、計算機軟件是信息產(chǎn)業(yè)的重要組成部分，如何保證其安全、穩(wěn)定和可靠性,一直是學術界和產(chǎn)業(yè)界的熱門研究問題和關注焦點。提高軟件質(zhì)量的重要且不可或缺的措施之一，是在投入市場使用之前進行大量測試，從而挖掘軟件中可能存在的各種缺陷，并及時修復和改完善。而要進行軟件測試,就要按照一定的測試準則，生成相應的測試數(shù)據(jù)，從而保證測試的有效性和可靠性。
　　路徑覆蓋測試是一種非常高效且經(jīng)典的測試方法。路徑覆蓋測試需要對給定的目標路徑，生成能夠覆蓋所有目

2、標路徑的測試數(shù)據(jù)。但是，對一些復雜軟件，有些路徑很難覆蓋，利用傳統(tǒng)方法生成測試數(shù)據(jù)的效率很低。利用進化優(yōu)化方法解決路徑覆蓋測試問題，已經(jīng)取得了很多研究成果。但是，當變量的個數(shù)很多時，利用遺傳算法生成測試數(shù)據(jù)時，效率非常底下，原因在于，變量個數(shù)的增加導致問題的搜索空間急劇加大，從而使得搜索難度加大。另外，當目標路徑個數(shù)很多時，利用傳統(tǒng)遺傳算法生成測試數(shù)據(jù)的效率也有待進一步提高。鑒于此，本文提出基于變量分組的測試數(shù)據(jù)生成方法，有效提高測試數(shù)

3、據(jù)生成質(zhì)量。首先，結(jié)合圖的基本概念和程序的控制流圖，判斷變量與節(jié)點、變量與路徑以及變量之間的相互關系，給出變量的相關性定義；然后，根據(jù)變量之間的相關性實現(xiàn)對變量的分組，將多變量輸入的高維優(yōu)化問題轉(zhuǎn)化為多個含有少變量的子優(yōu)化問題，每一個子問題都是包含與目標路徑相關的少量輸入變量；最后，結(jié)合變量分組結(jié)果，采用協(xié)同進化遺傳算法求解所建立的優(yōu)化模型，實現(xiàn)目標路徑覆蓋測試數(shù)據(jù)生成。最后的實驗結(jié)果表明，采用分組策略可以提高測試數(shù)據(jù)生成的效率。

4、>　　其次，給出了基于路徑分組的多路徑覆蓋測試數(shù)據(jù)生成方法。首先，利用變量之間的連接強度對變量進行分割，將變量分為若干組；然后，根據(jù)變量分組的結(jié)果，并依據(jù)變量所在節(jié)點的位置信息以及節(jié)點與路徑的關系，以及路徑與路徑之間的相似度，對程序中包含的多個目標路徑進行分組，從而將覆蓋所有目標路徑問題轉(zhuǎn)化為有限分組后的路徑覆蓋問題；最后，采用合作型協(xié)同進化算法對模型進行求解，更快的生成覆蓋所有目標路徑的測試數(shù)據(jù)。最后的實驗證明了該方法的有效性。