近年来，机器学习和深度学习等人工智能技术的发展已经取得了显著的进展，推动了aigc（生成式人工智能）技术在各个领域的广泛应用。aigc的突破性进展给软件工程的发展带来了巨大的想象空间，软件工程领域正在加速推进aigc赋能软件开发智能化、自动化，全面提升软件产品质量和工程能力。研究者和实践者一致认为aigc一方面显著赋能软件工程原有的研发体系，另一方面正在催生软件工程的新范式。aigc的代表性基础支持技术大语言模型（llm）正在发展成为一种基于自然语言交互的人机协同工具，可以在软件需求、开发、测试和维护等阶段提供多种形式的支持。

在过去的两年间，aigc已成为软件产业最热门的技术话题和重点投入的方向，是软件相关企业竞争力的下一个制高点。“llm能否取代程序员？”也引发了实践者的广泛讨论和关注。众多软件企业积极尝试在研发中引入、落地aigc，以期获得研发生产力的大幅提升。一些软件企业尝到了第一波aigc的技术红利，积累了一定的经验与最佳实践；同时很多企业和实践者在研发中应用aigc的过程中遇到了诸多技术、组织、管理、流程等方面的问题与挑战。

工业分论坛聚焦回应“aigc赋能软件工程在实践中的效果究竟如何？”的问题，通过汇聚产业相关实践的最新经验与问题，反映aigc赋能软件产业实践的最新探索、场景、经验、问题、挑战与趋势，并促进相关学术研究与产业实践的充分交流及密切合作。

2023年以来，aigc（生成式人工智能）技术加速渗透进千行百业，引发生产力与创造力革命。随着经济全球化和信息技术的不断发展，工业领域也正在经历着巨大的变革。现阶段，aigc（生成式人工智能）技术在工业领域的应用场景体现在研发设计规划、生产过程管控、经营管理优化、产品服务优化等四大环节，提供强大的分析优化能力，为企业带来了新的商业模式和价值创新的机会。

基于智能数字内容孪生、智能数字内容编辑和智能数字内容生成等多个层次，aigc（生成式人工智能）技术有助于推动工业领域实现智能化生产制造和数字化转型升级。因此，如何结合aigc（生成式人工智能）技术，面向工业领域提出创新性融合应用和凯发k8登录的解决方案、实用案例，从而优化生产流程、提升效率质量，推动工业领域实现更高水平的自动化和智能化，将会是重要的研究热点及难点。

专刊分论坛将重点关注aigc赋能工业软件领域的应用潜力，内容主要涵盖aigc技术对工业设备的故障预测和维护、aigc技术对生产过程的质量控制和过程优化、aigc技术对供应链进行预测和优化、结合aigc技术的智能化生产线和自动化设备控制、基于aigc技术的人机协同和智能决策支持系统、aigc技术对工业环境安全监控和风险评估、结合aigc技术的个性化的客户服务和产品定制化凯发k8登录的解决方案等。

01

论坛组织委员会

张贺（南京大学）

陈刚（武汉大学）

何勉（优川信息）

董威（国防科技大学）

肖然（thoughtworks）

刘进（武汉大学）

李智（广西师范大学）

黄勃（上海工业大学）

02

论坛议程

03

论坛报告嘉宾简介

张燎原

报告题目：aigc趋势下的研发智能化进阶

报告摘要：

在人工智能（ai）时代，企业必须充分利用人工智能生成内容（aigc）的技术优势来增强其研发效能。报告将围绕ai辅助编程方案，全面解析企业如何实现研发流程的智能化转型，涵盖策略制定、实施路径，以及对整个软件研发体系的革新，旨在帮助企业突破效率瓶颈。

• 核心影响因素及度量：探讨企业研发效率的关键驱动因素及其评估方法。

• 智能化策略与路径：介绍企业采用研发智能化的具体策略和实施步骤。

• 通义灵码与案例研究：展示通义灵码如何助力企业级项目的成功案例。

• 未来的智能化研发趋势：展望软件研发领域中人工智能的应用前景和发展方向。

报告人简介：

张燎原，阿里云通义灵码 & devops 产品负责人。经历过消费电子、通信及互联网多个行业，长期从事软件研发管理、效能改进及产品创新，负责组织级效能改进实施和转型，及数字化研发管理体系的建设。目前负责阿里云智能化研发工具产品体系的建设。译有《程序员度量》、《软件驱魔》等，是《alpd》，《bizdevops白皮书》主要作者，是《研发效能36计》、《阿里巴巴研发效能三板斧》课程主讲人，bizdevops共促会专家。

臧志

报告题目：步入智能体时代的ai原生研发新范式

报告摘要：

随着各行业加速拥抱大模型技术以重塑业务和推动创新，软件研发领域正处于前所未有的变革之中。从软件形态到应用架构，再到研发流程，正在发生深刻变化。ai原生研发范式已逐渐成为行业共识，其实践、流程和工具平台日益成熟，大幅提升了创新效率和研发效能。报告将深入探讨ai原生研发新范式的核心实践与思考，重点关注如何充分发挥大模型的能力，赋能软件研发全流程，从需求分析到设计、开发、测试等环节，推动人机协同显著提升研发效率。同时，随着智能体技术的发展，软件研发中的部分任务开始从以人为主的模式，转向ai主导的人机协作。基于百度文心快码的实际应用案例，报告将从研发工具、组织变革和工程师角色等多维度，探讨这场技术变革所带来的机遇与挑战。期待与产业界和学术界的专家共同探讨，进一步推动ai原生研发范式的广泛应用，加速行业迈向智能化的未来。

报告人简介：

臧志，毕业于中科院软件所及南京大学，现任百度工程效能部总监，负责集团研发技术、流程及工具平台的建设和治理工作，推进ai原生研发范式的落地，并担任文心快码总经理。在此之前，在运维平台、基础架构、网络与安全、云原生等云计算产品和技术领域有多年工作经验，曾担任京东集团网络与安全高级总监及瑞幸助理cto岗位。

荣国平

报告题目：aigc赋能软件工程：产业调研报告发布

报告摘要：

随着大语言模型的出现和发展，软件工程正在开启一场前所未有的变革，这也对学科教育方法和课程内容提出了新的挑战和机遇。为了充分理解和掌握工业界以大语言模型为代表的aigc赋能软件工程的真实情况，探索aigc背景之下的人才培养方式，我们在2024年开展了面向一线软件企业的系列深入调研工作。产业调研总共历时6个多月，走访20余家企业，收集几十万字的文字资料。报告将基于产业调研工作，重点讨论如下话题：

1. 大语言模型如何改变软件开发的实践？

2. 这种变化对软件工程教育有何影响？

3. 软件工程教育应如何调整课程内容，以帮助学生更好地适应这种变化？

报告人简介：

荣国平，博士，南京大学软件学院特任研究员，博士生导师。南京大学-星环科技“星云”数据技术联合研究中心主任，主要研究领域为智能软件工程、devops 、aiops和数据技术等，主持或参与多项国家级、省部级项目。在tse、tosem、tdsc、ist、spe、jss、软件学报，以及icse，fse，ase，issta，esem，issre，icsme 等一流国际期刊和会议上发表各类论文70余篇。作为核心成员规划了《开发运维一体化能力成熟度模型》国家标准的整体架构，出版了第一本中文devops教材《devops：原理、方法与实践》。

董威

报告题目：智能化与形式化方法共促人机物融合软件自动生成

报告摘要：

人机物融合系统hcps成为发展趋势，为了更好管理各种人机物资源、正确可信地实现具体任务场景，需要以软件为核心进行人机物融合，而灵活、自动、高效地生成hcps软件具有重要意义。报告对人机物融合系统的发展及相关软件自动生成方法进行了简要回顾，然后介绍了课题组近来将人工智能与形式化方法结合，共同促进hcps软件自动生成能力的一些工作，并对未来发展进行了探讨。

报告人简介：

董威，国防科技大学计算机学院教授、博士生导师，主要研究方向为高可信软件技术、智能化软件开发方法，中国计算机学会形式化方法专委会副主任、软件工程专委会执行委员。入选教育部新世纪优秀人才支持计划，曾获中国计算机学会首届nasac青年软件创新奖、霍英东基金会高校青年教师奖等。先后主持国家和国防课题20余项，发表学术论文80余篇，出版国家级规划教材两部，相关成果应用于航空航天、装备控制、自主基础软件等关键领域。

论坛专刊报告

报告人：董政宇 南京邮电大学

题 目：自动代码合并冲突消解中基于代码切片上下文的作用实证

报告摘要：

版本控制系统如git在并行开发中广泛应用，分支合并冲突已成为常见难题。约12%的提交涉及冲突，大型项目中的冲突比例高达50%。人工解决冲突耗时费力，自动化方案需求迫切。随着机器学习和深度学习的发展，自动化冲突消解成为可能，现有方法包括推测性合并、行排列和token级别的冲突消解，以及大模型应用等。然而，这些方法忽视了冲突块的上下文。本文提出了基于代码切片上下文的冲突解决方法，使用chatgpt实证了不同上下文类型的作用。结果显示，低温度和标准思维链提示风格效果最佳，静态切片的依赖上下文将冲突解决正确率提升了45%。相比之下，bm25文本相似度的上下文负面影响较大，占比24.6%，而代码切片上下文负面影响仅为18.6%。

报告人：徐近伟 南京大学

题 目：一种基于大语言模型的多来源漏洞影响库识别方法

报告摘要：

现代软件开发依赖大量第三方库，确保这些库的安全对软件安全至关重要。nvd等漏洞网站定期发布漏洞报告，但其中未明确指出受影响的软件库，需安全专家手动分析。因此，自动识别漏洞影响库可提高安全性和效率。目前的方法仅聚焦于英文nvd报告，忽略了中文报告（如cnnvd），也未研究不同包管理器（如maven、pypi）的识别差异。本文提出基于大语言模型的多来源漏洞影响库识别方法，结合中英文漏洞报告，通过局部微调和文本相似度来消除幻觉问题，并在不同包管理器上进行评估。实验基于9260份报告，结果显示相较于基线方法，中文和英文识别效果分别提升4%和8%，f1分数达到0.85。在pypi、composer、npm、golang等包管理器上表现尤为优异，排名前3的结果f1分数均为0.85。

报告人：邵志钧 北京航空航天大学

题 目：面向功能安全软件需求提取的模型驱动提示词生成与优化方法

报告摘要：

获取功能安全需求是安全关键软件开发的重要步骤，影响软件的安全性。传统方法依赖系统和软件工程师的经验，存在遗漏风险且耗时长，因此提高效率并减少遗漏风险是关键问题。本文提出了一种模型驱动的llm提示词生成与优化方法，通过领域知识元模型指导提示词生成，辅助llm获取安全需求。在三个安全关键领域的案例评估中，结果显示：1）提供示例的提示方法在需求提取上表现更优，2-shot相较0-shot提升f1最高达8.99%；2）优化后的提示设计在上下文处理能力强的llm上提升效果显著，f1提升达10.37%；3）不同llm的表现差异体现在语言理解、领域知识和上下文处理能力上，ernie-4.0-8k在安全需求获取任务中表现最佳。

报告人：肖宏彬 广西师范大学

题 目：llm4lcr:基于大语言模型的法律合同审查方法

报告摘要：

随着商业环境复杂化，合同审查成为企业关键环节，但传统依赖法律专家的人工审查成本高、效率低。本文提出了一种基于生成式人工智能的合同审查方法，通过大语言模型构建虚拟律师，自动审核买卖合同并生成修改建议与风险提示。实验结果显示，llm4lcr在5份实际合同测试中识别了80%的问题条款，85%的建议达到了资深法务水平。相比人工审查，未受过法律训练的用户借助该工具的表现优于法律实习生，并且该方法能节约34%的审查时间，显著提升审查效率。

报告人：陆炜 南京航空航天大学

题 目：llmcfuzz:一种基于大语言模型的航空发动机编译器模糊测试方法

报告摘要：

航空发动机嵌入式系统对编译器有严格要求，模糊测试是发现缺陷的关键。然而，现有方法的测试程序多样性不足，难以触发编译器后端缺陷和静默误编译错误。本文提出llmcfuzz方法，分为变异提示生成、测试生成和差分测试三个阶段。通过提示模板和多样化引导策略生成复杂程序，结合变量追踪机制有效发现静默误编译错误，并设计前端错误反馈策略提高测试程序有效性。实验结果显示，llmcfuzz在行覆盖率上提升2.78%至21.08%，并在一种航空发动机编译器中发现了5个误编译错误，其中包括3个静默误编译错误。

报告人：薛一博 中国科学院自动化研究所

题 目：基于生成式智能分析方法的震后水电站异常情况分析

报告摘要：

水电站设施在长期运行中受自然条件影响出现位移、形变和渗流异常，特别是震后异常情况更为复杂。本文结合三次地震数据及震后多维度监测数据，提出了一种基于马尔可夫逻辑网络和大语言模型的生成式人工智能方法，用于大坝在极端条件下的异常分析与预测。实验表明，该方法能准确识别基础设施的异常特性，并与dismult和transe模型相比，准确率提升约6%。此研究为水电站抗震结构设计提供了重要参考。

04

论坛组织委员会简介

论坛主席：张贺

个人简介：

南京大学教授、博士生导师，软件研发效能实验室主任，兼任澳大利亚联邦科学与工业研究组织（csiro）资深主任科学家，中国计算机学会（ccf）杰出会员。在欧洲、澳洲和中国从事软件工程产业实践与学术研究三十年，特别是在软件研发效能、devops、软件过程、软件质量、软件标准化、软件架构、软件安全、经验/循证软件工程等领域开展大量研究。负责主持多个澳大利亚、爱尔兰、挪威等国家级科研基金项目，以及中国自然科学基金和国家重点研发计划项目。著有英文专著两部，并在国际一流软件工程期刊和会议上发表论文240余篇，其中12篇会议/期刊长文获国际最佳/最具影响论文奖，申请/授权发明专利70余项。

论坛主席：陈刚

个人简介：

陈刚，武汉大学国家网络安全学院教授，实验教学中心主任，博士生导师。全国信息安全标准化技术委员会信息安全国际标准化专家，中国中医药信息研究会中医诊断信息分会常务理事，中国技术经济学会复杂科学管理分会常务理事，中国质量检验协会医学工程专业委员会委员，科技部国家科技专家库专家，国家能源核电运营和寿命管理技术研发中心专家，湖北省科技计划项目管理系统专家库专家。法国南锡一大访问学者。

论坛主席：何勉

个人简介：

何勉，上海优川信息技术有限公司创始人和首席咨询顾问，前阿里巴巴资深技术专家，阿里集团及阿里云云效研发效能方法团队负责人。何勉曾作为特聘咨询顾问，负责华为ipd软件研发部分的精益进化；担任招商银行研发体系咨询顾问，设计、构建并负责落地了招商银行的精益研发体系，奠定了招行bizdevops体系的基础，成为国内金融领域精益研发和bizdevops的标杆。何勉是畅销书《精益产品开发 原则、方法与实施》作者，《必致（bizdevops）白皮书》发起人和第一撰稿人。

论坛主席：董威

个人简介：

董威，国防科技大学计算机学院教授、博士生导师，入选教育部新世纪优秀人才支持计划，现任中国计算机学会形式化方法专委会秘书长。主要研究方向：高可信软件分析与验证、智能化软件开发方法。先后主持国家自然科学基金重大项目课题、国家863和973课题、国防预研和预研基金重点项日等十余项，担任过ccf中国软件大会、setta等多个学术会议程序委员会主席，出版国家级规划教材2部，研究成果应用于装备控制、航空航天、自主基础软件等重要领域软件开发。

论坛主席：肖然

个人简介：

肖然，博士、thoughtworks中国区总经理、中关村智联创新联盟秘书⻓。曾从事多年计算机算法及复杂度研究，自2008年加入thoughtworks以来，深入参与全球数字化转型项目。过去十年，领导的团队为金融、保险、通信、物流和零售等核心行业的头部企业提供了从战略执行到组织运营的全方位咨询服务。作为中行、招行、华为、腾讯等头部企业高管的重要参谋，贡献于企业的⻓期战略规划与发展。

论坛主席：刘进

个人简介：

刘进，武汉大学软件工程国家重点实验室软件工程博士、中科院计算所/自动化所博士后、新泽西理工访问学者（周梦初）。武汉大学计算机学院教授，博士生导师，中国科学院自动化研究所复杂系统与智能科学实验室博士后，中科院计算技术研究所智能信息处理实验室博士后，ccf/acm /ieee会员。中国计算机学会软件工程专业委员会委员，中国计算机学会服务计算专业委员会委员，中国人工智能学会知识工程与分布智能专业委员会委员，中国自动化学会计算机图形学与人机交互专委会委员，中国电子学会云计算专委会专家组织联系人，美国new jersey institute of technology访问学者。担任中铁科工国家企业技术中心、中核集团dcs检修中心技术专家，中国工程院专家库候选专家，是服务计算专业相关项目（国家“人工智能”2030、国家重点研发计划、长江学者、国家“111计划”、广东省杰青、江西科技厅等）评审专家。主持国家重点研发计划课题1项、国家自科基金项目4项；承担国家自科基金国际合作项目3项、服务计算国家自科基金重点项目1项；在服务计算\软工\人工智能领域 tse、icsoc、icws、tsc、ase、acl、tmm、tois、tkde等发表论文180多篇。

论坛主席：李智

个人简介：

李智，博士/教授，博士生导师，中国计算机学会(ccf)杰出会员，担任该学会软件工程专业委员会首届常务委员(2020-2023年)、服务计算专业委员会委员、系统软件专业委员会委员、形式化方法专业委员会委员。国际电气和电子工程师协会(ieee)和美国计算机学会(acm)高级会员。担任国际期刊《专家系统:知识工程》(sci源刊，2021年影响因子2.812)的副主编。复旦大学理学学士，英国约克大学计算机科学系理学硕士，英国开放大学计算机科学博士，英国基尔大学软件工程专业博士后，在英国留学时间长达9年。在进入学术研究领域之前曾经有10年以上从事专业技术工作，主要研究兴趣包括智能需求工程、面向问题的人机物融合系统建模与验证、因果人工智能及人机交互等。获得国家自然科学基金项目3项、省部级项目6项，发表学术论文70余篇(3次获得国际学术会议最佳论文奖)，做学术会议keynote及邀请报告20余次。

论坛主席：黄勃

个人简介：

黄勃，上海工程技术大学计算机学院计算机软件与理论专业博士，任安徽志国智能科技有限公司董事长、上海工程技术大学电子电气工程学院副教授，目前主持国家自然科学基金一项，主持委办级项目若干项，作为主要完成人承担国家、省部级科研项目若干项。已公开发表学术论文120余篇，其中sci、ei检索40余篇。近年来在computer methods and programs in biomedicine（jcr 1区），applied intelligence （jcr 1区），knowledge-based systems（jcr 1区）等ccf推荐top期刊上以第一完成人或者通信作者发表论文20余篇。曾入选2017年度上海市科协“飞翔计划”（每年全上海市30人），曾获得湖北省科技进步奖一等奖1项、二等奖1项, 上海市科技进步奖二等奖2项，近年来获批专利10余项、软件著作权20余项。担任applied intelligence（jcr 1区）sci期刊副主编、 knowledge-based systems 等sci期刊的审稿人，武汉大学学报（理学版）和（自然科学版）客座副主编，中国计算机学会高级会员、上海计算机学会理事等。