測試數(shù)據(jù)進(jìn)化生成理論及應(yīng)用

《智能科學(xué)技術(shù)著作叢書》序
前言
第1章 測試數(shù)據(jù)進(jìn)化生成入門
1.1 軟件測試基本概念
1.1.1 軟件測試的定義
1.1.2 軟件測試的目的
1.1.3 軟件測試的方法
1.1.4 軟件測試的原則
1.1.5 軟件測試的分類
1.2 基于覆蓋的測試數(shù)據(jù)生成方法
1.2.1 測試充分性準(zhǔn)則
1.2.2 測試數(shù)據(jù)生成方法
1.3 測試數(shù)據(jù)進(jìn)化生成
1.3.1 問題的轉(zhuǎn)化
1.3.2 遺傳算法基本原理
1.3.3 基于遺傳算法的測試數(shù)據(jù)生成
1.4 研究現(xiàn)狀及存在的問題
1.4.1 測試數(shù)據(jù)進(jìn)化生成研究現(xiàn)狀
1.4.2 存在的問題
1.5 主要內(nèi)容及組織
1.6 本章小結(jié)
參考文獻(xiàn)
第2章 不可執(zhí)行路徑自動檢測
2.1 研究動機(jī)
2.2 條件語句之間的相關(guān)性
2.2.1 條件語句相關(guān)性的定義
2.2.2 條件語句相關(guān)性的判定
2.3 條件語句謂詞表達(dá)式取值概率的估計
2.4 不可執(zhí)行路徑的自動檢測
2.4.1 不可執(zhí)行路徑的檢測
2.4.2 循環(huán)體包含條件語句的不可執(zhí)行路徑檢測
2.4.3 不可執(zhí)行路徑自動檢測的步驟
2.5 實例分析
2.6 在程序測試中的應(yīng)用
2.6.1 基準(zhǔn)程序?qū)嶒?br />2.6.2 工業(yè)程序?qū)嶒?br />2.7 本章小結(jié)
參考文獻(xiàn)
第3章 多路徑覆蓋測試數(shù)據(jù)進(jìn)化生成
3.1 研究動機(jī)
3.2 測試數(shù)據(jù)生成問題的數(shù)學(xué)模型
3.3 基于遺傳算法的測試數(shù)據(jù)生成
3.3.1 進(jìn)化個體適應(yīng)值計算
3.3.2 進(jìn)化個體比較
3.3.3 算法終止條件
3.3.4 算法步驟
3.4 在基準(zhǔn)程序測試中的應(yīng)用
3.4.1 實驗設(shè)計
3.4.2 參數(shù)設(shè)置
3.4.3 性能指標(biāo)
3.4.4 實驗結(jié)果與分析
3.5 本章小結(jié)
參考文獻(xiàn)
第4章 路徑赫夫曼編碼表示的多路徑覆蓋測試數(shù)據(jù)進(jìn)化生成
4.1 研究動機(jī)
4.2 路徑的赫夫曼編碼表示
4.3 路徑匹配度計算
4.3.1 程序插裝
4.3.2 路徑匹配度計算
4.3.3 測試數(shù)據(jù)生成問題的數(shù)學(xué)模型
4.4 適應(yīng)度函數(shù)設(shè)計
4.4.1 進(jìn)化個體適應(yīng)值計算
4.4.2 進(jìn)化個體適應(yīng)值計算特點
4.4.3 算法步驟
4.5 在基準(zhǔn)程序測試中的應(yīng)用
……
第5章 基于信息共享的多路徑覆蓋測試數(shù)據(jù)進(jìn)化生成
第6章 基于路徑分組的很多路徑覆蓋測試數(shù)據(jù)進(jìn)化生成
第7章 很多路徑覆蓋測試數(shù)據(jù)進(jìn)化生成的并行實現(xiàn)
第8章 用于路徑覆蓋和缺陷檢測的測試數(shù)據(jù)進(jìn)化生成
第9章 基于搜索空間縮減的路徑覆蓋測試數(shù)據(jù)進(jìn)化生成
第10章 基于適應(yīng)值調(diào)整的路徑覆蓋測試數(shù)據(jù)進(jìn)化生成
第11章 基于優(yōu)質(zhì)初始種群的路徑覆蓋測試數(shù)據(jù)進(jìn)化生成
第12章 基于占優(yōu)關(guān)系的語句覆蓋測試數(shù)據(jù)進(jìn)化生成
第13章 基于占優(yōu)關(guān)系的多語句覆蓋測試數(shù)據(jù)進(jìn)化生成
第14章 基于路徑覆蓋的變異測試數(shù)據(jù)進(jìn)化生成
附錄1 基本遺傳算法源代碼
附錄2 實驗程序