刘逵-基于大模型的程序修复-已修改.pdf

《刘逵-基于大模型的程序修复-已修改.pdf》由会员分享，可在线阅读，更多相关《刘逵-基于大模型的程序修复-已修改.pdf（34页珍藏版）》请在三个皮匠报告上搜索。

1、基于大模型的程序修复刘逵 华为刘逵华为2012软件工程应用技术实验室智能化软件工程技术专家华为2012实验室智能化软件工程技术专家，CCF会员，CCF软件工程专委会委员。主要从事软件编码、软件测试、程序分析、代码检视等智能化软件工程工作，在软件工程领域发表高水平研究论文40余篇，其中CCF A类期刊/会议论文十多篇，曾任南京航空航天大学计算机科学与技术学院副教授，主持过国家自然科学基金面上项目一项，江苏省自然科学基金青年项目一项，参与国家重点研发计划项目两项，担任IEEE TSE、ACM TOSEM、EMSE、软件学报、ICSME、SANER等国际期刊/会议审稿人。演讲嘉宾目 录CONTENT

2、S1.软件缺陷带来的问题2.修复软件缺陷的挑战3.软件缺陷自动修复的探索与实践4.大模型下软件缺陷自动修复的探索5.总结与展望软件缺陷带来的问题PART 01软件缺陷难易避免，也备受关注第一个Bug1媒体关注软件代码Bug2行业技术报告4Windows 2000的发布版本伴随着63000个已知、在档的Bug32“Why we all sell code with bugs”，May 24,2006,The Guardian.1“CE:Worlds First Computer Bug”,Sep 9,1947,Society.3“Will bugs scare off users of new

3、windows 2000”,2000,Rick Lockridge,CNN.4“So many bugs,so little time”,Jul 2010,MIT Technology Review.软件缺陷带来的损失6Michael Zhivich and Robert K Cunningham.The real cost of software errors.IEEE Security&Privacy,7(2):8790,2009.胰岛素剂量控制软件存在缺陷造成病例死亡67“Northeast blackout of 2003”,https:/en.wikipedia.org/wiki/N

4、ortheast_blackout_of_2003电网管理软件存在重大缺陷造成美加大停电、近一百人死亡78“TAM Airlines Flight 3054”,https:/en.wikipedia.org/wiki/TAM_Airlines_Flight_30542006年巴西天马航空3054航班空难，187人丧生，防撞系统问题85https:/en.wikipedia.org/wiki/Tokyo_Stock_Exchange2020年富士通开发的证券交易软件系统存在缺陷导致四个半小时的停机事故5软件缺陷会造成巨额的损失2002年，软件缺陷造成美国595亿美元的损失，占了美国当年0.6%的

5、GDP。至少1/3的损失可以通过有效的软件缺陷鉴定和修复来避免9。2016年，软件缺陷造成的损失突破到了1100亿美元10。9.http:/ 02什么会有这么多的软件缺陷？软件缺陷修复时间分布2006年，Sunghun Kim等人的技术报告指出：修复一个独立的软件缺陷的中间时间是200天2。Sunghun Kim and E James Whitehead Jr.How long did it take to fix bugs?In Proceedings of the 3rd international workshop on Mining software repositories,pag

6、es 173174.ACM,2006.人工修复软件缺陷的挑战Debugging的巨额花费:2001年，Boehm等人的技术报告指出：修复缺陷开销逐年猛增1。2003年，Seacord等人出版的一书中指出：“在一款软件产品发布以后，其90%的开销都将花费对该软件产品的Debugging上”2。2013年，剑桥大学的技术报告声称：程序员在Debugging上需要花费一半软件开发时间和软件开发费用3。1.Barry Boehm and Victor R.Basili.Software Defect Reduction Top 10 List.Computer,Volume 34,Issue 1,Ja