基于遺傳算法的路徑覆蓋測試用例生成技術(shù)研究.pdf

1、核電設(shè)計軟件中很大一部分涉及密集的計算任務(wù)，要求精度高，并且結(jié)構(gòu)復(fù)雜。因此，為了保證核電設(shè)計軟件高質(zhì)量的延續(xù)，減少軟件出錯的機會，需要軟件測試來確保核電設(shè)計軟件有較高的質(zhì)量。通常的軟件測試主要依靠人工參與設(shè)計，對測試人員有著較高的技術(shù)要求，也不可避免的存在人工誤差；又由于核電設(shè)計軟件的邏輯與數(shù)據(jù)結(jié)構(gòu)復(fù)雜，導(dǎo)致輸入數(shù)據(jù)集結(jié)構(gòu)復(fù)雜、嵌套很多、數(shù)據(jù)量龐大，所以導(dǎo)致人工生成測試用例的效率低下。我們在核電設(shè)計軟件的測試中，主要采用基本路徑測試法，

2、而基本路徑集的生成復(fù)雜與可能存在的不可達路徑，也增加了測試用例生成的盲目性，降低了測試用例的生成效率。針對上述情況，本文從測試用例生成的全過程出發(fā)，提出了一種改進的測試用例生成技術(shù)，主要圍繞以下三個方面展開了研究：
　　1)簡化基本路徑集生成。該方法首先分析結(jié)點與邊的關(guān)系表達式并轉(zhuǎn)換程序控制流圖為樹型結(jié)構(gòu)圖，采用路徑復(fù)用技術(shù)，以獲取最小長度序列的優(yōu)化基本路徑集合，簡化了基本路徑集的生成。其中，路徑復(fù)用為后期快速修改不可達路徑為可達

3、路徑提供了便利。
　　2)基本路徑可達性檢測。本文提出一種針對函數(shù)調(diào)用的程序不可達路徑靜態(tài)檢測方法，該方法分析了程序控制流圖中結(jié)點定值-引用集合的數(shù)據(jù)信息，并記錄調(diào)用點的函數(shù)摘要，更新調(diào)用點的調(diào)用上下文數(shù)據(jù)流信息，判斷程序條件語句的沖突分支，進而檢測路徑的可達性，減少測試的盲目性。
　　3)測試用例數(shù)據(jù)自動生成。通過指數(shù)函數(shù)改進原適應(yīng)度函數(shù)，并采用“信息共享與保存”策略，在多種群之間保持“信息通訊”的同時記錄較優(yōu)適應(yīng)度值的測