講座名稱：代理模型引導(dǎo)的并行程序測試數(shù)據(jù)進化生成

講座時間：2020-09-04 10:00

講座人：鞏敦衛(wèi) 教授

講座地點：騰訊會議直播（ID：999 911 942）

講座人介紹：

鞏敦衛(wèi)，中國礦業(yè)大學(xué)教授、博士生導(dǎo)師，教育部“新世紀(jì)優(yōu)秀人才支持計劃”入選者，甘肅省“飛天學(xué)者”講座教授。為江蘇省自動化學(xué)會副秘書長，中國人工智能學(xué)會機器學(xué)習(xí)專委會委員，中國計算機學(xué)會軟件工程專委會委員，中國自動化學(xué)會大數(shù)據(jù)專委會委員，校學(xué)術(shù)委員會委員。研究方向為優(yōu)化問題智能求解、智能軟件工程、智能感知與控制、數(shù)據(jù)智能解析與處理。主持國家“973”計劃子課題、國家重點研發(fā)計劃子課題、國家自然科學(xué)基金等8項。研究成果獲2017年高等學(xué)?？茖W(xué)研究優(yōu)秀成果獎自然科學(xué)二等獎和2018年江蘇省科學(xué)技術(shù)二等獎（均排名第1）；獲授權(quán)發(fā)明專利16項；發(fā)表中科院一、二區(qū)期刊論文60余篇，其中，IEEE TEVC、TCYB、TSE、TASE、TR等匯刊論文近30篇，入選ESI前1%高被引論文3篇。

講座內(nèi)容：

并行程序是通過多個進程交互實現(xiàn)復(fù)雜計算任務(wù)的程序，該程序通常包含大量路徑，其路徑覆蓋測試非常具有挑戰(zhàn)性。將路徑覆蓋測試數(shù)據(jù)生成問題轉(zhuǎn)化為優(yōu)化問題并采用進化優(yōu)化求解，是生成測試數(shù)據(jù)的可行途徑。但是，測試數(shù)據(jù)性能評價需要頻繁運行程序，使得所需的計算耗時急劇增多。報告從代理模型引入的必要性、代理模型的構(gòu)建、應(yīng)用與更新等方面，介紹我們新近提出的代理模型引導(dǎo)的并行程序路徑覆蓋測試數(shù)據(jù)進化生成方法。最后，指出我們準(zhǔn)備進一步研究的問題。

主辦單位：數(shù)學(xué)與統(tǒng)計學(xué)院