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

　　《智能科學(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è)人員參考。

　　鞏敦衛(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篇。