中國(guó)計(jì)算機(jī)學(xué)會(huì)軟件工程專委會(huì)青年論壇學(xué)術(shù)報(bào)告會(huì)2024年第3期“AI時(shí)代的軟件質(zhì)量保障”學(xué)術(shù)報(bào)告會(huì)將于2024年6月2日（周日）9:00-12:30在437bwin必贏國(guó)際官網(wǎng)八樓報(bào)告廳舉行。敬請(qǐng)光臨！

嘉賓及內(nèi)容介紹

報(bào)告人簡(jiǎn)介：劉烴，博士，教授，國(guó)家級(jí)青年人才，西安交通大學(xué)網(wǎng)絡(luò)空間安全學(xué)院副院長(zhǎng)。主要研究方向包括信息物理融合系統(tǒng)綜合安全和軟件安全。2003年和2010年分別獲西安交通大學(xué)學(xué)士和博士學(xué)位；2016-2017年美國(guó)康奈爾大學(xué)訪問(wèn)教授。獲得2017年國(guó)家科技進(jìn)步二等獎(jiǎng)、2022年教育部自然科學(xué)一等獎(jiǎng)等科技獎(jiǎng)勵(lì)6項(xiàng)。獲得2023 CCS SaTS、2019 INFOCOM、2016 ISSRE等會(huì)議最佳論文獎(jiǎng)7項(xiàng)。

報(bào)告主題：移動(dòng)應(yīng)用隱私保護(hù)的合規(guī)驗(yàn)證

報(bào)告摘要：數(shù)據(jù)安全法、個(gè)人信息保護(hù)法提出對(duì)個(gè)人用戶數(shù)據(jù)的收集使用，需滿足最小范圍、知情同意等要求，如何依據(jù)原則性法律法規(guī)判定具體程序行為是否合規(guī)，是當(dāng)前移動(dòng)應(yīng)用安全治理的難題。本報(bào)告結(jié)合APP和小程序等移動(dòng)應(yīng)用實(shí)際案例，探討“法律法規(guī)-隱私權(quán)政策-程序代碼”關(guān)聯(lián)分析方法和隱私保護(hù)合規(guī)驗(yàn)證解決方案。

報(bào)告人簡(jiǎn)介：王璐，博士，西安電子科技大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院副教授，陜西省青托，陜西省人才，西電“華山人才”系列，CCF 高級(jí)會(huì)員，CCF 軟件工程專委會(huì)秘書(shū)及執(zhí)行委員、系統(tǒng)軟件專委會(huì)執(zhí)行委員，CCF 首批傳播大使。主要研究方向?yàn)槲⒎?wù)與智能化運(yùn)維AIOps、軟件演化與自適應(yīng)，在ICSE、FSE等國(guó)內(nèi)外期刊與會(huì)議上發(fā)表論文40余篇，并擔(dān)任SANER等會(huì)議PC及期刊審稿人，獲陜西省科學(xué)技術(shù)進(jìn)步獎(jiǎng)二等獎(jiǎng)等科技獎(jiǎng)勵(lì)四項(xiàng)。

報(bào)告主題：軟件智能運(yùn)維研究及典型應(yīng)用

報(bào)告摘要：隨著軟件規(guī)模及復(fù)雜性的不斷增長(zhǎng)，軟件系統(tǒng)在運(yùn)行過(guò)程中將會(huì)遇到更多非預(yù)期的故障缺陷、資源環(huán)境的動(dòng)態(tài)變化等，給軟件的運(yùn)行維護(hù)帶來(lái)了極大的挑戰(zhàn)。并且，目前雖然存在系統(tǒng)日志、監(jiān)控?cái)?shù)據(jù)等運(yùn)維數(shù)據(jù)，但如何從這些海量異構(gòu)數(shù)據(jù)中高效實(shí)時(shí)地發(fā)現(xiàn)故障根因或資源態(tài)勢(shì)也成為了關(guān)鍵難點(diǎn)問(wèn)題。本次報(bào)告介紹了西電智能運(yùn)維團(tuán)隊(duì)從規(guī)則驅(qū)動(dòng)的自動(dòng)運(yùn)維、數(shù)據(jù)驅(qū)動(dòng)的智能運(yùn)維、到知識(shí)驅(qū)動(dòng)的自主運(yùn)維的技術(shù)發(fā)展脈絡(luò)，并介紹了在典型領(lǐng)域如何運(yùn)用運(yùn)維知識(shí)實(shí)現(xiàn)系統(tǒng)自主運(yùn)維的具體方案。

報(bào)告人簡(jiǎn)介：萬(wàn)瑤，博士，華中科技大學(xué)副教授，2019年獲得浙江大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)博士學(xué)位。曾于2016年和2018年分別訪問(wèn)悉尼科技大學(xué)與伊利諾伊大學(xué)芝加哥分校。主要研究基于自然語(yǔ)言處理和程序分析的代碼智能技術(shù)。在ICSE、FSE、ASE、ISSTA、SIGMOD、ICML、ICLR、ACL、EMNLP、NAACL等軟件工程和人工智能頂級(jí)會(huì)議發(fā)表論文20余篇。擔(dān)任ARR審稿系統(tǒng)領(lǐng)域主席，及ISSTA、ACL、EMNLP、NAACL、SIGKDD等國(guó)際會(huì)議程序委員會(huì)委員。

報(bào)告主題：代碼智能中深度學(xué)習(xí)模型的可解釋性研究

報(bào)告摘要：深度學(xué)習(xí)技術(shù)的飛速發(fā)展極大地推動(dòng)了代碼智能領(lǐng)域的進(jìn)步，包括代碼生成、漏洞檢測(cè)和類型推斷等。然而，神經(jīng)網(wǎng)絡(luò)的“黑盒”特性和內(nèi)在復(fù)雜性帶來(lái)了一個(gè)日益嚴(yán)重的問(wèn)題——可解釋性。為了揭示這些模型為何有效、它們捕捉了哪些特征相關(guān)性以及為何做出某些特定預(yù)測(cè)，本報(bào)告從數(shù)據(jù)和模型兩個(gè)維度探討代碼模型的可解釋性，嘗試揭示“黑盒”的內(nèi)部機(jī)制，以促進(jìn)更可信的代碼智能研究。此外，本報(bào)告還展示了在探索代碼智能中深度學(xué)習(xí)模型可解釋性過(guò)程中所面臨的潛在挑戰(zhàn)和機(jī)遇。

報(bào)告人簡(jiǎn)介：莫然，華中師范大學(xué)副教授。主要研究方向包括軟件架構(gòu)、軟件缺陷預(yù)測(cè)、代碼質(zhì)量分析等。入選湖北省“楚天學(xué)子”計(jì)劃，華中師范大學(xué)“桂子青年學(xué)者”，獲武漢計(jì)算機(jī)軟件工程學(xué)會(huì)“青年才俊獎(jiǎng)”。近年來(lái)主持國(guó)家、省部級(jí)等各類項(xiàng)目多項(xiàng)，在軟件工程高質(zhì)量會(huì)議和期刊上發(fā)表論文40余篇，其中CCF A類論文10余篇，包括ICSE、ASE、TSE、TOSEM等。獲得國(guó)際發(fā)明專利授權(quán)兩項(xiàng)。擔(dān)任國(guó)內(nèi)外軟件工程知名期刊審稿人（TSE、TOSEM、JSS、FSC、軟件學(xué)報(bào)等）和會(huì)議程序委員會(huì)委員（ICSE、SANER、ICSME等）。

報(bào)告主題：面向代碼克隆的軟件質(zhì)量分析

報(bào)告摘要：代碼克隆通常指在源代碼庫(kù)中相同或相似的源代碼段，這一現(xiàn)象在軟件中十分常見(jiàn)。代碼克隆雖然能夠提高開(kāi)發(fā)效率和代碼復(fù)用性，但同時(shí)也被視作一種潛在的代碼異味，可能對(duì)軟件質(zhì)量帶來(lái)負(fù)面影響。具體來(lái)說(shuō)，克隆的代碼可能復(fù)制了原有代碼中的Bug或者漏洞，這會(huì)直接導(dǎo)致新代碼的質(zhì)量問(wèn)題。另外，大規(guī)模的代碼克隆還會(huì)使得代碼冗余度增加，導(dǎo)致維護(hù)工作變得更為復(fù)雜和困難，降低軟件代碼質(zhì)量。因此，深入研究代碼克隆，有助于開(kāi)發(fā)團(tuán)隊(duì)優(yōu)化代碼管理，提高相關(guān)代碼的可維護(hù)性。在此次報(bào)告中，報(bào)告人將分享對(duì)不同類型軟件中代碼克隆的研究和分析結(jié)果，探討代碼克隆對(duì)相關(guān)軟件的影響。

報(bào)告人簡(jiǎn)介：王尚文，2023年12月博士畢業(yè)于國(guó)防科技大學(xué)，現(xiàn)為國(guó)防科技大學(xué)437bwin必贏國(guó)際官網(wǎng)助理研究員。研究方向包括軟件分析與測(cè)試、智能化軟件工程。在程序語(yǔ)言/軟件工程領(lǐng)域國(guó)際頂級(jí)會(huì)議與期刊上發(fā)表論文10余篇，兩次獲得IEEE軟件工程技術(shù)委員會(huì)頒發(fā)的杰出論文獎(jiǎng)。擔(dān)任TSE、TOSEM、EMSE等國(guó)際期刊審稿人，是ICSE、ASE、CCS、SANER等國(guó)際會(huì)議程序委員會(huì)委員，曾獲2023年國(guó)防科技大學(xué)優(yōu)秀畢業(yè)生、2022年ChinaSoft中國(guó)軟件大會(huì)優(yōu)秀博士生論壇嘉賓。

報(bào)告主題：以人為本—AI時(shí)代下人類實(shí)踐制導(dǎo)的缺陷治理技術(shù)探索

報(bào)告摘要：隨著人工智能時(shí)代的降臨，智能技術(shù)被廣泛應(yīng)用于各種各樣的代碼任務(wù)中，并取得不錯(cuò)的效果。這是否意味著通過(guò)大數(shù)據(jù)訓(xùn)練出的人工智能模型已能夠完美勝任各項(xiàng)代碼任務(wù)？人類實(shí)踐活動(dòng)中的行為模式與經(jīng)驗(yàn)知識(shí)對(duì)于代碼模型而言是否還有可取之處？帶著這樣的疑問(wèn)，報(bào)告人所在課題組進(jìn)行了一系列的探索。本報(bào)告將通過(guò)報(bào)告人在及時(shí)缺陷檢測(cè)、缺陷定位、缺陷修復(fù)等缺陷治理技術(shù)方面的探索，展示三個(gè)將人類實(shí)踐信息與人工智能模型相結(jié)合的最新研究工作，并對(duì)該技術(shù)模式的泛化性展開(kāi)討論。

報(bào)告人簡(jiǎn)介：辛奇，437bwin必贏國(guó)際官網(wǎng)副教授。長(zhǎng)期從事軟件工程領(lǐng)域的研究，研究方向?yàn)檐浖y(cè)試與調(diào)試、軟件優(yōu)化、程序分析。在相關(guān)領(lǐng)域發(fā)表論文20余篇。主持國(guó)家自然科學(xué)基金青年項(xiàng)目。入選湖北省創(chuàng)新人才計(jì)劃，獲得過(guò)包括 ACM-Wuhan新星、武漢英才、武漢軟件工程學(xué)會(huì)青年才俊等獎(jiǎng)項(xiàng)。擔(dān)任CCF系統(tǒng)軟件專委會(huì)執(zhí)行委員，ICSE、FSE等會(huì)議程序委員會(huì)成員，TSE、TOSEM等期刊審稿人，以及AUSE期刊特刊編輯。

報(bào)告主題：面向?qū)嵱玫淖詣?dòng)程序修復(fù)

報(bào)告摘要：自動(dòng)程序修復(fù)技術(shù)旨在無(wú)人為干預(yù)的情況下，自動(dòng)修復(fù)軟件漏洞，極大程度節(jié)約開(kāi)發(fā)人員的時(shí)間和精力。盡管有著較好的潛在應(yīng)用價(jià)值，當(dāng)前的自動(dòng)修復(fù)技術(shù)尚未在實(shí)際軟件調(diào)試中發(fā)揮積極作用。這是由于它們大多依賴于較完備的測(cè)試用例集來(lái)制作修復(fù)補(bǔ)丁，有著較慢的修復(fù)速度，并且只能處理較簡(jiǎn)單的單位置漏洞。為推動(dòng)更為實(shí)用的程序修復(fù)，以輔助開(kāi)發(fā)人員有效完成軟件調(diào)試，報(bào)告人將重點(diǎn)介紹兩項(xiàng)近期研究工作：（1）基于IDE的交互式快速修復(fù)技術(shù)ROSE；（2）面向多位置不可分割漏洞的修復(fù)調(diào)研。最后，報(bào)告人將給出面向?qū)嵱玫淖詣?dòng)程序修復(fù)的思考和展望。