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

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

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

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