基于進(jìn)化優(yōu)化的軟件變異測(cè)試?yán)碚摷皯?yīng)用

《智能科學(xué)技術(shù)著作叢書(shū)》序
前言
主要變量及表示方法
第1章進(jìn)化變異測(cè)試入門(mén)1
1.1軟件測(cè)試簡(jiǎn)介1
1.1.1軟件測(cè)試基本方法2
1.1.2測(cè)試數(shù)據(jù)生成2
1.2變異測(cè)試簡(jiǎn)介3
1.2.1變異測(cè)試基本原理3
1.2.2變異測(cè)試基本假設(shè)4
1.2.3變異測(cè)試存在的問(wèn)題5
1.3軟件進(jìn)化測(cè)試簡(jiǎn)介5
1.3.1遺傳算法基本原理5
1.3.2軟件進(jìn)化測(cè)試7
1.4研究現(xiàn)狀及存在的問(wèn)題8
1.4.1測(cè)試數(shù)據(jù)進(jìn)化生成研究現(xiàn)狀8
1.4.2變異測(cè)試研究現(xiàn)狀10
1.4.3進(jìn)化變異測(cè)試研究現(xiàn)狀13
1.4.4存在的問(wèn)題13
1.5主要內(nèi)容及結(jié)構(gòu)安排14
1.6小結(jié)16
參考文獻(xiàn)16
第2章等價(jià)變異體和頑固變異體的人工檢測(cè)22
2.1研究問(wèn)題22
2.2等價(jià)變異體的人工檢測(cè)方法23
2.3實(shí)驗(yàn)設(shè)計(jì)25
2.3.1被測(cè)程序26
2.3.2變異算子27
2.3.3測(cè)試數(shù)據(jù)生成28
2.3.4變異準(zhǔn)則29
2.3.5實(shí)驗(yàn)流程29
2.4實(shí)驗(yàn)結(jié)果及分析30
2.4.1等價(jià)變異體和頑固變異體的分布30
2.4.2每個(gè)算子對(duì)等價(jià)變異體和頑固變異體的貢獻(xiàn)度32
2.4.3等價(jià)變異體產(chǎn)生的機(jī)理34
2.4.4程序大小對(duì)變異體等價(jià)性和頑固性的影響35
2.5對(duì)實(shí)驗(yàn)結(jié)果的進(jìn)一步討論36
2.6有效性分析37
2.7小結(jié)37
參考文獻(xiàn)38
第3章基于相關(guān)性分析的變異體約簡(jiǎn)40
3.1研究動(dòng)機(jī)40
3.2預(yù)備知識(shí)41
3.2.1弱變異測(cè)試41
3.2.2變異條件語(yǔ)句的插裝42
3.2.3已有方法的不足43
3.3基于相關(guān)性分析的變異體約簡(jiǎn)44
3.3.1變異條件語(yǔ)句的相關(guān)性44
3.3.2變異條件語(yǔ)句相關(guān)性的判定45
3.3.3變異體約簡(jiǎn)方法47
3.4實(shí)驗(yàn)47
3.4.1研究問(wèn)題47
3.4.2第一組實(shí)驗(yàn)48
3.4.3工業(yè)程序52
3.5小結(jié)55
參考文獻(xiàn)55
第4章基于多目標(biāo)進(jìn)化優(yōu)化的變異測(cè)試數(shù)據(jù)生成57
4.1研究動(dòng)機(jī)57
4.2多目標(biāo)變異測(cè)試數(shù)據(jù)生成問(wèn)題的數(shù)學(xué)模型58
4.2.1問(wèn)題描述58
4.2.2目標(biāo)函數(shù)的構(gòu)造59
4.2.3數(shù)學(xué)模型59
4.3基于遺傳算法的測(cè)試數(shù)據(jù)生成60
4.3.1個(gè)體表示60
4.3.2個(gè)體評(píng)價(jià)61
4.3.3進(jìn)化算子61
4.3.4優(yōu)化問(wèn)題的簡(jiǎn)化62
4.3.5算法終止條件62
4.3.6算法步驟62
4.4實(shí)驗(yàn)62
4.4.1研究問(wèn)題62
4.4.2被測(cè)程序63
4.4.3實(shí)驗(yàn)設(shè)計(jì)64
4.4.4實(shí)驗(yàn)結(jié)果及分析64
4.5小結(jié)67
參考文獻(xiàn)68
第5章基于分組的變異測(cè)試數(shù)據(jù)進(jìn)化生成69
5.1研究動(dòng)機(jī)69
5.2基于可達(dá)性的變異體分組70
5.2.1變異體相似性的度量70
5.2.2變異體分組71
5.3測(cè)試數(shù)據(jù)生成問(wèn)題的數(shù)學(xué)模型72
5.4基于多種群遺傳算法的測(cè)試數(shù)據(jù)生成73
5.4.1種群設(shè)置73
5.4.2進(jìn)化個(gè)體編碼74
5.4.3進(jìn)化個(gè)體適應(yīng)值74
5.4.4子優(yōu)化問(wèn)題的約簡(jiǎn)75
5.4.5算法終止條件75
5.4.6算法步驟76
5.5實(shí)驗(yàn)76
5.5.1研究問(wèn)題76
5.5.2被測(cè)程序77
5.5.3實(shí)驗(yàn)設(shè)置77
5.5.4實(shí)驗(yàn)結(jié)果及分析78
5.6小結(jié)82
參考文獻(xiàn)83
第6章基于變異分析和語(yǔ)句覆蓋的測(cè)試數(shù)據(jù)縮減84
6.1研究動(dòng)機(jī)84
6.2測(cè)試數(shù)據(jù)縮減問(wèn)題的數(shù)學(xué)模型85
6.2.1問(wèn)題描述86
6.2.2目標(biāo)函數(shù)86
6.2.3約束函數(shù)86
6.2.4數(shù)學(xué)模型87
6.3進(jìn)化求解算法87
6.3.1個(gè)體編碼方法88
6.3.2個(gè)體適應(yīng)度函數(shù)88
6.3.3遺傳算子89
6.3.4算法步驟90
6.4實(shí)驗(yàn)90
6.4.1研究問(wèn)題91
6.4.2被測(cè)程序91
6.4.3實(shí)驗(yàn)設(shè)置91
6.4.4實(shí)驗(yàn)結(jié)果及分析92
6.4.5在工業(yè)程序的實(shí)驗(yàn)94
6.5小結(jié)96
參考文獻(xiàn)97
第7章基于缺陷檢測(cè)的多目標(biāo)測(cè)試數(shù)據(jù)生成99
7.1研究動(dòng)機(jī)99
7.2多目標(biāo)測(cè)試數(shù)據(jù)生成模型100
7.2.1目標(biāo)函數(shù)的建立101
7.2.2約束條件102
7.2.3多目標(biāo)測(cè)試數(shù)據(jù)生成問(wèn)題的數(shù)學(xué)模型102
7.3基于集合進(jìn)化的求解方法102
7.3.1個(gè)體表示102
7.3.2適應(yīng)度函數(shù)103
7.3.3進(jìn)化策略103
7.3.4算法步驟105
7.4基于變異分析的測(cè)試數(shù)據(jù)質(zhì)量檢測(cè)105
7.5實(shí)例分析106
7.6實(shí)驗(yàn)108
7.6.1研究問(wèn)題108
7.6.2被測(cè)程序109
7.6.3第一組實(shí)驗(yàn)109
7.6.4第二組實(shí)驗(yàn)111
7.7小結(jié)113
參考文獻(xiàn)113
第8章一種基于占優(yōu)關(guān)系的變異測(cè)試方法115
8.1研究動(dòng)機(jī)115
8.2基于語(yǔ)句占優(yōu)關(guān)系的變異測(cè)試116
8.2.1語(yǔ)句占優(yōu)關(guān)系116
8.2.2基于占優(yōu)關(guān)系的變異測(cè)試準(zhǔn)則117
8.3測(cè)試數(shù)據(jù)生成問(wèn)題的數(shù)學(xué)模型118
8.4測(cè)試數(shù)據(jù)生成問(wèn)題的進(jìn)化求解119
8.4.1個(gè)體編碼方式119
8.4.2個(gè)體適應(yīng)度119
8.4.3遺傳操作與進(jìn)化策略120
8.4.4算法步驟120
8.5實(shí)驗(yàn)120
8.5.1研究問(wèn)題120
8.5.2第一組實(shí)驗(yàn)121
8.5.3第二組實(shí)驗(yàn)125
8.6小結(jié)126
參考文獻(xiàn)127