測試數據進化生成理論及應用

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

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