智能時(shí)代下軟件工程與人工智能的融合趨勢(shì)——一些探索與嘗試

智能時(shí)代下軟件工程與人工智能的融合趨勢(shì)

--- 一些探索與嘗試

報(bào)告摘要：

近年來(lái)，人工智能(AI) 和軟件工程(SE) 一直在相互滲透、相互融合。一方面，越來(lái)越多的人工智能技術(shù)已成功應(yīng)用于各種軟件工程活動(dòng)，如軟件測(cè)試、缺陷預(yù)測(cè)、故障定位、自動(dòng)修復(fù)、自動(dòng)代碼生成與補(bǔ)全等。另一方面，越來(lái)越多的軟件工程技術(shù)用于測(cè)試、驗(yàn)證和調(diào)試人工智能系統(tǒng)，并揭示了一些關(guān)鍵問題。多年來(lái)，我們一直致力于AI技術(shù)與SE技術(shù)的融合，本次報(bào)告我將講述我們?cè)?/span>AI for SE 和SE for AI這兩個(gè)方向所做的一些探索與嘗試。在AI for SE 中，我將介紹我們?cè)谲浖收戏治龇矫娴难芯?，這些研究顯示了人工智能相對(duì)于人類智能的明顯優(yōu)勢(shì)，從而可以提高一些軟件工程活動(dòng)的有效性和效率。在SE for AI 中，我將介紹我們對(duì)一些典型AI系統(tǒng)的測(cè)試和驗(yàn)證方法，這些方法揭示了當(dāng)前AI軟件的不足和局限性。這些探索與嘗試讓我們更客觀地了解人工智能技術(shù)的優(yōu)缺點(diǎn)，我們希望人類能夠正確地利用人工智能的力量，在軟件開發(fā)中取得更好的效率和效果。

個(gè)人簡(jiǎn)介：

謝曉園，武漢大學(xué)教授、博導(dǎo)，武漢大學(xué)珞珈青年學(xué)者，武漢大學(xué)特色化示范性軟件學(xué)院副院長(zhǎng)，外國(guó)優(yōu)秀青年學(xué)者研究基金獲得者。主要研究方向?yàn)橥懽儨y(cè)試、軟件缺陷定位、智能軟件工程等。主持了兩項(xiàng)國(guó)家自然科學(xué)基金面上項(xiàng)目，參與多項(xiàng)國(guó)家自然基金重點(diǎn)項(xiàng)目、國(guó)家重點(diǎn)研發(fā)項(xiàng)目等。提出了國(guó)際上首個(gè)基于蛻變測(cè)試的智能軟件測(cè)試方法，解決了此類軟件不可測(cè)試的問題，曾被軟工頂刊IEEE TSE 評(píng)為全球蛻變測(cè)試領(lǐng)域十大代表性研究者之一；在頻譜缺陷定位方面建立了首個(gè)理論分析模型，徹底解決了該領(lǐng)域的最優(yōu)公式設(shè)計(jì)難題。在軟件工程頂級(jí)或知名期刊會(huì)議上錄用論文50余篇。曾獲NASAC青年軟件創(chuàng)新獎(jiǎng)、ACM SigEvo HUMIES銀獎(jiǎng)、ACM SigSoft Distinguished Paper Award、湖北省科技進(jìn)步一等獎(jiǎng)、QSIC最佳論文獎(jiǎng)。