CNCC | 大模型如何使能软件工程？

金芝

CCF会士、监事长、CCF软件工程和系统软件专委执委，北京大学教授

北京大学教授， 973项目首席科学家。兼任国务院学位委员会学科评议组成员（软件工程），IEEE TSE Associate Editor，IEEE TR Associate Editor，《软件学报》执行主编，《计算机学报》副主编。主要研究领域包括：软件需求工程、知识工程、和知识服务等，出版英文专著3部，中文编著1部，发表论文180余篇。2006年获得国家杰出青年科学基金资助。

高翠芸

CCF软件工程专委执委，哈尔滨工业大学（深圳）副教授

哈工大青年拔尖人才。入选第九届中国科协青年人才托举工程，ACM TOSEM Associate Editor。主要研究领域包括：智能化软件数据分析和软件可靠性，近年来在相关领域的顶级会议和期刊如TSE、TOSEM、ICSE、FSE、ASE等上发表论文70余篇，荣获CCF A类会议ICSE 2024杰出论文奖和ASE 2023杰出论文奖。

马晓星

CCF理事、软件工程专委主任，南京大学教授、计算机学院副院长

主要研究方向包括智能软件工程、软件自适应技术、软件体系结构与中间件等。研究工作得到国家杰出青年科学基金、国家973/863项目课题、国家自然科学基金重大项目课题等项目资助；发表学术论文百余篇，曾获中创软件人才奖、两次国家科技进步二等奖（分别为第2、第4完成人）等。

报告题目：神经符号系统——非确定性管理的视角

摘要：作为一种智能化软件形态，融合了神经网络和符号规则的神经符号系统正受到越来越多的关注。然而，现有技术仍然难以有效支持较大规模神经符号系统“端到端”的自动构建。神经网络训练和符号规则学习过程中对非确定性的不兼容的处理方式是造成神经符号学习效果欠佳的一个关键因素。本报告旨在以非确定性管理的新视角，讨论分析“端到端”神经符号系统构建的技术挑战，评述相关工作思路、进展和当前仍然存在的问题，并在此基础上，展望下一步的发展方向。

刘辉

CCF杰出会员、软件工程专委秘书长，北京理工大学教授

长期从事软件质量保障和智能软件开发方面的研究和教学工作。发表CCF A类论文三十余篇，曾获得IET Premium Award、RE最佳论文奖、ICSE杰出论文奖以及ESEC/FSE杰出论文奖。智能化软件重构的部分研究成果被Eclipse采纳集成。

报告题目：大模型时代软件工程研究的新范式

摘要：软件工程研究的目的是以工程化的方法，提高软件开发的效率和软件质量。随着大模型技术的飞速发展，大模型技术在一系列软件工程任务上表现卓越，显著超过了传统的软件工程方法。这一趋势引发了人们对大模型时代软件工程研究范式的焦虑与探索。本报告分析大模型技术对现有软件工程研究方法的影响以及由此导致的软件工程新范式，重点探讨新范式对特定大模型以及大模型技术的阶段性进展的过度依赖问题，探索更具一般化的研究方法。

李永彬

阿里巴巴通义实验室资深算法专家

代码智能&对话智能负责人。研究方向为大模型、代码智能、对话智能等，负责通义灵码（编码助手/AI程序员）、通义星尘（角色扮演/数字人）、通义晓蜜（智能客服）和 通义听悟（工作学习助手）等产品的大模型技术，其中通义灵码已成为国内用户规模最大的智能编码助手。围绕对话、代码、大模型等方向发表了80余篇国际顶会论文，并先后担任ACL/NAACL/WSDM等国际顶会的领域主席。

报告题目：软件工程智能化的应用进展和前沿探索

摘要：大模型开启了智能化时代，智能机器的数量将会远远超过人类的数量，有多少机器就需要多少代码，软件工程的全链路智能化，既是技术发展的必然趋势，也是智能落地的巨大机遇。在过去一年多中，一方面，基于大模型+Code Copilot打造的智能编码助手正在如火如荼的发展，极大的提高了编程效率，另一方面，基于大模型+Code Agent打造的AI程序员又开始崭露头角，开始从端到端全链路的层面来对软件工程进行智能化升级。本次分享将从大模型技术发展趋势和软件工程发展趋势的综合视角入手，探讨软件工程全链路智能化发展遇到的问题、当前的应用进展（从Copilot到Agent）和下一步的发展趋势。

胡星

浙江大学软件学院副教授

CCF软件工程专委执委、系统软件专委执委，主要研究方向为智能化软件工程，程序理解，软件仓库挖掘。在TOSEM、ICSE、ASE、FSE和EMSE等高水平会议和期刊上发表论文40余篇。担任TOSEM，JSEP期刊编委。主持国家自然科学基金专项培育项目，参与国家重点研发计划等多个科研项目。获得ICSE2024 ACM SIGSOFT Distinguished Paper Award，MSR 2024 ACM SIGSOFT Distinguished Paper Award，ICPC 2018 ACM SIGSOFT Distinguished Paper Award。担任FORGE2024和Internetware2023程序委员会主席，担任国际级顶级期刊（TSE、TOSEM、EMSE）审稿人，受邀担任国际会议ASE、ICSE、FSE、ISSTA、MSR、ICSME、SANER的程序委员会成员。

详情请参考个人主页：https://xing-hu.github.io/

报告题目：大模型驱动的代码智能：生成、测试与评估

摘要：近年来，大模型展现出了强大的智能涌现能力，在自然语言处理等任务中表现出了出色的自主学习和推理能力。在软件工程领域，使用大模型提升软件开发效率，保障软件质量成为当前研究热点，例如Copilot集成了最新的大模型GPT-4并用于代码生成。本次报告聚焦大模型驱动的智能化软件工程，包括其在代码生成、测试生成、大模型评估相关的最新研究进展。

陈小红

华东师范大学软件工程学院副教授/博导

CCF软件工程专委委员、形式化方法专委委员，主要研究方向为需求工程、形式化方法以及IoT最终用户编程。主持并参与了多项国家自然科学基金项目、重点研发、省部级项目，主要工作包括智能需求建模、安全需求形式化建模与验证、基于投影的需求问题自动分解、基于用户意图的IoT最终用户编程、智能系统的需求确认等，在国内外知名期刊、会议发表论文60余篇。

报告题目：驾驭大语言模型：需求工程的机遇挖掘与挑战应对

摘要：随着人工智能技术的飞速发展，大语言模型(LLMs)已经成为推动软件工程创新的关键力量。本报告旨在探讨大语言模型与需求工程结合所带来的双重影响——机遇与挑战。报告首先分析LLMs在需求工程各阶段——需求抽取、分析、规约、确认和验证的应用，展示LLMs如何促进自动化并开辟新的工作方式。随后进一步探讨在这些阶段所面临的挑战。最后，本报告提出了一系列应对策略和建议，以帮助需求工程师和项目管理者充分理解大语言模型对需求工程中的深远影响。

夏鑫

CCF软件工程专委会常委，华为软件工程应用技术实验室主任

目前担任华为软件工程应用技术实验室主任。他的研究方向是智能化软件工程、软件仓库挖掘和经验软件工程。夏鑫获得了2022年ACM SIGSOFT Early Career Researcher Award（亚太地区第一位），部分论文获得国际会议最佳/杰出论文奖项，其中连续四年获得软工顶会ASE 2018-2021的杰出论文奖。此外他担任MSR、SANER、PROMISE等会议的Steering Committee，多个国际会议的PC(ICSE，ESEC/FSE, ASE等)，多个期刊的编委(TOSEM、EMSE、ASEJ、JSEP等)，以及参与组织了多个国际会议(ICSE 2023和2024， ASE 2016、2020和2021等)。

CNCC2024将于10月24-26日在浙江省东阳市横店镇举办，大会主题为“发展新质生产力，计算引领未来”。大会为期三天，包括18个特邀报告、3个大会论坛、138个专题论坛及34场专题活动和100余个展览。图灵奖获得者、两院院士、国内外顶尖学者、知名企业家在内的超过800位讲者在会上展望前沿趋势，分享创新成果。预计参会者超过万人。