《基於進化優化的軟件變異測試理論及應用/智
能科學技術著作叢書》闡述基於進化優化的軟件變異
測試基本原理及應用，內容主要涉及等價變異體檢測
、基於相關性分析的變異體約簡、變異測試數據進化
生成及變異準則改進等。本書除了詳細闡述所采用的
原理與方法之外，還給出不同方法在基準和工業軟件
測試中的應用，以及全面的方法對比和結果分析。本
書是作者姚香娟、鞏敦衛多項國家和省部級科研項目
繫列研究成果的結晶。
本書可供計算機、自動化等專業的教師及研究生
閱讀，也可供自然科學、工程技術領域的研究人員及
軟件測試人員參考。

《智能科學技術著作叢書》序
前言
主要變量及表示方法
第1章 進化變異測試入門
1.1 軟件測試簡介
1.1.1 軟件測試基本方法
1.1.2 測試數據生成
1.2 變異測試簡介
1.2.1 變異測試基本原理
1.2.2 變異測試基本假設
1.2.3 變異測試存在的問題
1.3 軟件進化測試簡介
1.3.1 遺傳算法基本原理
1.3.2 軟件進化測試
1.4 研究現狀及存在的問題
1.4.1 測試數據進化生成研究現狀
1.4.2 變異測試研究現狀
1.4.3 進化變異測試研究現狀
1.4.4 存在的問題
1.5 主要內容及結構安排
1.6 小結
參考文獻
第2章 等價變異體和頑固變異體的人工檢測
2.1 研究問題
2.2 等價變異體的人工檢測方法
2.3 實驗設計
2.3.1 被測程序
2.3.2 變異算子
2.3.3 測試數據生成
2.3.4 變異準則
2.3.5 實驗流程
2.4 實驗結果及分析
2.4.1 等價變異體和頑固變異體的分布
2.4.2 每個算子對等價變異體和頑固變異體的貢獻度
2.4.3 等價變異體產生的機理
2.4.4 程序大小對變異體等價性和頑固性的影響
2.5 對實驗結果的進一步討論
2.6 有效性分析
2.7 小結
參考文獻
第3章 基於相關性分析的變異體約簡
3.1 研究動機
3.2 預備知識
3.2.1 弱變異測試
3.2.2 變異條件語句的插裝
3.2.3 已有方法的不足
3.3 基於相關性分析的變異體約簡
3.3.1 變異條件語句的相關性
3.3.2 變異條件語句相關性的判定
3.3.3 變異體約簡方法
3.4 實驗
3.4.1 研究問題
3.4.2 **組實驗
3.4.3 工業程序
3.5 小結
參考文獻
第4章 基於多目標進化優化的變異測試數據生成
4.1 研究動機
4.2 多目標變異測試數據生成問題的數學模型
4.2.1 問題描述
4.2.2 目標函數的構造
4.2.3 數學模型
4.3 基於遺傳算法的測試數據生成
4.3.1 個體表示
4.3.2 個體評價
4.3.3 進化算子
4.3.4 優化問題的簡化
4.3.5 算法終止條件
4.3.6 算法步驟
4.4 實驗
4.4.1 研究問題
4.4.2 被測程序
4.4.3 實驗設計
4.4.4 實驗結果及分析
4.5 小結
參考文獻
第5章 基於分組的變異測試數據進化生成
5.1 研究動機
5.2 基於可達性的變異體分組
5.2.1 變異體相似性的度量
5.2.2 變異體分組
5.3 測試數據生成問題的數學模型
5.4 基於多種群遺傳算法的測試數據生成
5.4.1 種群設置
5.4.2 進化個體編碼
5.4.3 進化個體適應值
5.4.4 子優化問題的約簡
5.4.5 算法終止條件
5.4.6 算法步驟
5.5 實驗
5.5.1 研究問題
5.5.2 被測程序
5.5.3 實驗設置
5.5.4 實驗結果及分析
5.6 小結
參考文獻
第6章 基於變異分析和語句覆蓋的測試數據縮減
6.1 研究動機
6.2 測試數據縮減問題的數學模型
6.2.1 問題描述
6.2.2 目標函數
6.2.3 約束函數
6.2.4 數學模型
6.3 進化求解算法
6.3.1 個體編碼方法
6.3.2 個體適應度函數
6.3.3 遺傳算子
6.3.4 算法步驟
6.4 實驗
6.4.1 研究問題
6.4.2 被測程序
6.4.3 實驗設置
6.4.4 實驗結果及分析
6.4.5 在工業程序的實驗
6.5 小結
參考文獻
第7章 基於缺陷檢測的多目標測試數據生成
7.1 研究動機
7.2 多目標測試數據生成模型
7.2.1 目標函數的建立
7.2.2 約束條件
7.2.3 多目標測試數據生成問題的數學模型
7.3 基於集合進化的求解方法
7.3.1 個體表示
7.3.2 適應度函數
7.3.3 進化策略
7.3.4 算法步驟
7.4 基於變異分析的測試數據質量檢測
7.5 實例分析
7.6 實驗
7.6.1 研究問題
7.6.2 被測程序
7.6.3 **組實驗
7.6.4 第二組實驗
7.7 小結
參考文獻
第8章 一種基於占優關繫的變異測試方法
8.1 研究動機
8.2 基於語句占優關繫的變異測試
8.2.1 語句占優關繫
8.2.2 基於占優關繫的變異測試準則
8.3 測試數據生成問題的數學模型
8.4 測試數據生成問題的進化求解
8.4.1 個體編碼方式
8.4.2 個體適應度
8.4.3 遺傳操作與進化策略
8.4.4 算法步驟
8.5 實驗
8.5.1 研究問題
8.5.2 **組實驗
8.5.3 第二組實驗
8.6 小結
參考文獻