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

定　價(jià)：￥88.00

作　者：	鞏敦衛(wèi)，姚香娟，張巖著
出版社：	科學(xué)出版社
叢編項(xiàng)：	智能科學(xué)技術(shù)著作叢書
標(biāo)　簽：	計(jì)算機(jī)/網(wǎng)絡(luò) 軟件工程/開(kāi)發(fā)項(xiàng)目管理

購(gòu)買這本書可以去

ISBN：	9787030392954	出版時(shí)間：	2014-01-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	297	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《智能科學(xué)技術(shù)著作叢書：測(cè)試數(shù)據(jù)進(jìn)化生成理論及應(yīng)用》闡述采用遺傳算法生成復(fù)雜軟件測(cè)試數(shù)據(jù)的原理及應(yīng)用，主要包括如下4個(gè)方面：路徑覆蓋測(cè)試數(shù)據(jù)進(jìn)化生成、遺傳算法用于測(cè)試數(shù)據(jù)生成的性能提高、語(yǔ)句覆蓋可測(cè)試性轉(zhuǎn)化及變異測(cè)試數(shù)據(jù)進(jìn)化生成等；還給出不同方法在基準(zhǔn)和工業(yè)軟件測(cè)試中的應(yīng)用，以及全面的方法對(duì)比結(jié)果。書后附有基本遺傳算法源代碼和實(shí)驗(yàn)程序?！吨悄芸茖W(xué)技術(shù)著作叢書：測(cè)試數(shù)據(jù)進(jìn)化生成理論及應(yīng)用》可供高等院校計(jì)算機(jī)、自動(dòng)化等專業(yè)的教師及研究生閱讀，也可供自然科學(xué)和工程技術(shù)領(lǐng)域的研究人員及軟件測(cè)試從業(yè)人員參考。

作者簡(jiǎn)介

　　鞏敦衛(wèi)，男，1970年3月生，江蘇省銅山縣人，博士，中國(guó)礦業(yè)大學(xué)信息與電氣工程學(xué)院教授，博士生導(dǎo)師，江蘇省重點(diǎn)學(xué)科“控制理論與控制工程”方向帶頭人，教育部“新世紀(jì)優(yōu)秀人才支持計(jì)劃”入選者，江蘇省“333高層次人才培養(yǎng)工程”培養(yǎng)對(duì)象，江蘇省“六大人才高峰”高層次人才培養(yǎng)對(duì)象，“煤炭青年科技獎(jiǎng)”獲得者，江蘇省自動(dòng)化學(xué)會(huì)理事，中國(guó)礦業(yè)大學(xué)學(xué)術(shù)委員會(huì)委員。研究方向?yàn)橹悄軆?yōu)化與控制、基于搜索的軟件工程。近年來(lái)，主持國(guó)家自然科學(xué)基金項(xiàng)目5項(xiàng)、江蘇省自然科學(xué)基金項(xiàng)目2項(xiàng)，以及教育部“新世紀(jì)優(yōu)秀人才支持計(jì)劃”項(xiàng)目、江蘇省“333高層次人才培養(yǎng)工程”項(xiàng)目、江蘇省“六大人才高峰”高層次人才項(xiàng)目、高等學(xué)校博士學(xué)科點(diǎn)專項(xiàng)科研基金項(xiàng)目各1項(xiàng)，此外，還主持中國(guó)礦業(yè)大學(xué)校優(yōu)秀創(chuàng)新團(tuán)隊(duì)建設(shè)專項(xiàng)基金項(xiàng)目和培育學(xué)科創(chuàng)新能力提升基金項(xiàng)目各1項(xiàng)。研究成果獲省部級(jí)科技進(jìn)步一等獎(jiǎng)1項(xiàng)、二等獎(jiǎng)4項(xiàng)；授權(quán)發(fā)明專利2項(xiàng)、計(jì)算機(jī)軟件著作權(quán)登記1項(xiàng)；出版專著5部、教材1部；發(fā)表學(xué)術(shù)論文170余篇，其中，被SCI、EI等檢索130余篇，被同行引用600余次。姚香娟，女，1975年3月生，河北省趙縣人，博士，中國(guó)礦業(yè)大學(xué)理學(xué)院副教授，碩士生導(dǎo)師，中國(guó)礦業(yè)大學(xué)優(yōu)秀青年骨干教師，中國(guó)礦業(yè)大學(xué)優(yōu)秀創(chuàng)新團(tuán)隊(duì)“復(fù)雜軟件自動(dòng)測(cè)試”核心成員。研究方向?yàn)榛谶M(jìn)化優(yōu)化的軟件測(cè)試數(shù)據(jù)生成。近年來(lái)，主持國(guó)家自然科學(xué)基金項(xiàng)目1項(xiàng)、江蘇省自然科學(xué)基金項(xiàng)目1項(xiàng)、中央高?；究蒲袠I(yè)務(wù)費(fèi)青年科技基金項(xiàng)目1項(xiàng)，參與國(guó)家自然科學(xué)基金項(xiàng)目2項(xiàng)、江蘇省自然科學(xué)基金項(xiàng)目2項(xiàng)，以及江蘇省“333高層次人才培養(yǎng)工程”項(xiàng)目、江蘇省“六大人才高峰”高層次人才項(xiàng)目、高等學(xué)校博士學(xué)科點(diǎn)專項(xiàng)科研基金項(xiàng)目各1項(xiàng)。研究成果獲省部級(jí)科技進(jìn)步二等獎(jiǎng)1項(xiàng)。出版教材1部，發(fā)表學(xué)術(shù)論文20余篇，其中，被SCI檢索8篇、EI檢索6篇。張巖，女，1972年5月生，遼寧省本溪縣人，博士，牡丹江師范學(xué)院計(jì)算機(jī)科學(xué)與技術(shù)系副教授。研究方向?yàn)槎嗦窂礁采w測(cè)試數(shù)據(jù)進(jìn)化生成理論與方法。主持黑龍江省教育廳項(xiàng)目1項(xiàng)、牡丹江師范學(xué)院青年學(xué)術(shù)骨干資助項(xiàng)目1項(xiàng)，參與國(guó)家自然科學(xué)基金項(xiàng)目1項(xiàng)、黑龍江省教育廳項(xiàng)目1項(xiàng)、江蘇省自然科學(xué)基金項(xiàng)目2項(xiàng)。近年來(lái)，發(fā)表學(xué)術(shù)論文20余篇，其中，被SCI檢索3篇、EI檢索6篇。

圖書目錄

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