2025 CCF中国软件大会“智能化软件开发和维护论坛”举办

25/12/04 17:27:19 作者:周魏 点击:[] [小] [中] [大]

2025年11月28日,2025CCF中国软件大会“智能化软件开发和维护论坛”举办。重庆大学张洪宇教授、文俊浩教授、北京航空航天大学石琳教授担任本次论坛的共同主席。本论坛提供了一个交流最新技术和趋势的平台,有助于让参会者了解当前智能化软件开发和维护领域的最新进展。本论坛获2025 CCF中国软件大会优秀论坛。

7AF8F

张洪宇向所有参会人员致欢迎辞,希望通过本论坛,参会者可以发现智能化软件开发和维护中存在的问题,并寻求解决方案,共同推进智能化软件开发和维护的发展。本论坛的议题包括:智能化代码生成,检索,摘要、基于智能化技术的代码质量检测、基于智能化技术的软件维护、智能化服务的发现,推荐和组合、智能运维,包括面向服务系统的运维技术以及基于大语言模型的软件开发等。

90B09

文俊浩介绍了本次论坛的讲者嘉宾,包括中国科学院软件研究所、哈尔滨工业大学(深圳)、复旦大学、上海交通大学、南京大学、香港中文大学(深圳)、中山大学等国内知名高校的学者,论坛也邀请了来自华为、蚂蚁集团等国内企业的领域专家。

95AAB

王俊杰做了题为《软件测试和程序修复中的大模型智能体记忆机制应用》的报告。报告介绍了大模型智能体记忆机制在软件测试和缺陷修复中的应用,包括情景记忆、语义记忆、程序性记忆等的组织存储,各类记忆的检索与应用等。

33EC2

王焱林做了题为《软工数据构建中的一点探索》的报告。报告分享了软工数据构建上的系列实践与思考,面向代码生成、代码翻译、代码搜索、问题解决、智能问答、代码搜索等软件工程任务,探讨如何构建高质量、自动化、多元化、大规模、高复杂度、反映真实软件开发场景的数据,并探讨软件工程数据构建的挑战与未来方向,以期共同推动软件工程智能化的扎实发展。

8397E

高翠芸做了题为《推理增强的高质量软件生成》的报告。报告聚焦推理增强的高质量软件生成技术路径,通过融合需求语义解析、多步推理规划的迭代优化机制,提升模型在需求分析与实现逻辑上的深度理解与决策能力,有效提升生成代码的正确性、可维护性与整体质量。

76B45

陈碧欢做了题为《大模型赋能软件供应链安全》的报告。报告介绍了针对开源软件供应链安全所提出的治理平台“伏羲”,以及在大模型赋能开源软件供应链安全的一些初步尝试。

93BFA

林云做了题为《需求驱动的软件测试生成》的报告。报告介绍了课题组在将多模态需求翻译为测试的一系列尝试,并展望了对未来基于需求编程场景的未来方向。

30361

顾小东做了题为《复杂代码仓库理解、生成与修复》的报告。报告介绍了仓库问答智能体的构建、智能体经验管理以及多智能体辩论框架等一系列创新技术,实现了对代码仓库的深度理解与协同推理,显著提升了代码生成与修复的准确性与系统化水平。

839D6

冯洋做了题为《C2RustXW:可信C到Rust程序的自动化转译》的报告。现有自动化翻译工具(如C2Rust)生成的代码冗长且不符合Rust规范,保留了大量不安全结构,严重影响代码可维护性和实际应用。报告介绍了一种结合程序静态分析与大语言模型的程序结构感知翻译方法。

8E753

石恩升做了题为《鸿蒙大模型的构造、优化与落地实践》的报告。报告面对数据稀缺与技术空白,通过低资源冷启动、多阶段微调等多项技术和方法,打造性能业界领先的鸿蒙大模型。支持代码续写、生成、转化和理解等多项核心任务,大大提升了鸿蒙开发效率并降低了开发者门槛,持续赋能鸿蒙生态。

7C58C

狄鹏做了题为《CodeFuse-Derisk为复杂系统“把脉”--蚂蚁智能运维实践》的报告。报告介绍了蚂蚁集团将强推理模型、实时全景知识图谱与多维度自动化工具深度整合,成功构建全天候在线的Derisk智能风险运维平台。

3DDDD

在论坛的最后,报告嘉宾和所有与会人员就大模型未来的趋势、大模型对数据质量保障、智能化代码审查等问题进行了深入的交流和探讨。论坛的顺利召开为智能化软件开发和维护领域的研究和发展提供了新的思路和启发。

8BF8F