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

定　價：￥88.00

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

購買這本書可以去

ISBN：	9787030392954	出版時間：	2014-01-01	包裝：	平裝
開本：	16開	頁數(shù)：	297	字數(shù)：

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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