夜雨聆风2026年5月9日下午，CCF软件工程专委会青年论坛学术报告会“人机物融合时代的智能软件系统”在浙江理工大学下沙校区成功召开。本次活动由浙江理工大学计算机科学与技术学院研究员周远和复旦大学计算与智能创新学院副教授陈碧欢担任执行主席。浙江理工大学丁佐华教授，浙江理工大学计算机科学与技术学院副院长林望教授，北京大学软件研究所副所长熊英飞副教授，华东师范大学软件工程学院副院长苏亭教授，北京理工大学计算机系柴成亮副教授，中科工业人工智能研究院薛吟兴研究员，北京航空航天大学软件学院石琳教授，南京大学软件学院刘尚清副教授，西北农林科技大学唐文兵副教授应邀出席。本次活动吸引了来自复旦大学、南京大学、浙江大学、西安电子科技大学杭州研究院、燕山大学、浙江理工大学等高校和科研院所的80余位代表出席。本次论坛得到了浙江理工大学计算机科学与技术学院（人工智能学院）的大力支持。
在开场致辞中，林望副院长首先对CCF软件工程专委会给予浙江理工大学计算机科学与技术学院（人工智能学院）的信任表示诚挚感谢，向全体参会嘉宾致以热烈欢迎。他还勉励学院青年教师和研究生充分利用学术交流平台，积极拓展科研合作机会。
在论坛报告环节，北京大学熊英飞副教授首先作了题为“神经符号融合的智能软件开发”的报告。该报告提出了两种增强现有大语言模型灵活性与通用性的途径：一是通过在神经网络中融入程序设计语言知识，提升大模型在代码任务中的表现；二是通过从大模型中提取策略并构建符号系统，增强符号方法的效果。最后，熊老师介绍了相关技术在企业中的落地应用，比如DeepSeek和快手。
华东师范大学苏亭教授作了题为“融合结构化需求和性质驱动的自动化功能测试技术初探与应用”的报告。他结合与微信支付团队的合作实践，介绍了如何通过融合结构化需求与性质驱动，实现全自动的业务逻辑正确性测试。报告首先阐述了从业务逻辑出发构造基于自然语言的结构化需求，从而实现需求到测试用例的自动化生成；随后介绍了如何从结构化需求中自动化提取关键性质，以性质驱动实现强检错测试，充分检验异常边界路径。
北京理工大学柴成亮副教授作了题为“多模态大数据智能查询系统”的报告。报告分为两部分：第一部分探讨了利用大语言模型等人工智能技术驱动多模态数据查询的新方法和新技术，首先概述了多模态数据的特点及其在现代数据分析中的重要性，随后详细介绍了多模态数据的表征与存储、系统查询语言以及查询优化方法，包括处理表格、文本、图像等数据时的策略与优势；第二部分介绍了团队开发的全场景内容重构器 Edit-Banana，该工具利用多模态大模型等技术，能够将各类不可编辑的图片高保真地转化为可灵活编辑的数字化资产。
中科工业人工智能研究院薛吟兴研究员作了题为“面向可信AI供应链的开源神经网络演化与复用安全分析”的报告。薛老师首先介绍了NNBOM，系统刻画了开源 AI 软件在组件规模、复用模式与跨域依赖方面的演化规律，并开发了多仓库演化分析与单仓库组件评估原型系统，为 AI 供应链的依赖透明化与可信治理提供基础支撑。随后，介绍了NNReuse，用以识别三类神经网络结构代码复用模式，发现 55.6% 的项目存在结构级重用且 64.3% 可能涉及许可证冲突，揭示了开源生态中的合规风险。
北京航空航天大学软件学院石琳教授作了题为“探索AI落地软件工程之路：从通用到个性化”的报告。石老师首先系统剖析了AI落地软件工程的典型场景中的问题与思路，涵盖仓库级代码生成、代码重构与研发问答等方面，揭示了AI大模型技术如何突破软件开发范式并真正落地于实际使用场景。随后，她聚焦个性化智能软件工程的前沿实践，探索AI Coding技术如何从“千篇一律”转向“千人千面”，从而为每位程序员提供更精准的智能辅助，具体包括基于IDE构建开发者数据底座、应用个性化知识引擎实现精准研发问答等。
南京大学软件学院刘尚清副教授作了题为“从内部表征到任务评测：大语言模型的代码分析能力研究”的报告。刘老师首先分析了现有大语言模型对程序语法结构、语义关系与行为逻辑的理解能力，指出现有研究对模型代码理解能力的认识仍不够充分。随后，他介绍了从内部表征角度出发，采用 probing 方法分析大语言模型对代码语法和语义的学习情况，并从任务层面系统评测了主流大语言模型在多类代码分析任务中的零样本表现与局限。
西北农林科技大学唐文兵副教授作了题为“具身智能无人系统的测试与评估”的报告。围绕具身智能系统的安全性，特别是自动驾驶系统与具身机器人的安全问题，唐老师首先介绍了因果关系驱动的自动驾驶系统测试场景生成方法，随后阐述了在物理环境属性扰动下对具身机器人进行的鲁棒性评估。
丁佐华教授最后作总结致辞。他再次感谢CCF软件工程专委会对浙江理工大学计算机科学与技术学院的信任，并对各位嘉宾带来的精彩报告表示高度赞赏。同时，他期待专委会与各位专家学者能够一如既往地关心、支持学院及软件工程学科的长远发展。
CCF软件工程专委会青年论坛后续还将开展学术报告会、专题论坛、交流沙龙等多种形式的活动。欢迎国内软件工程及相关领域研究者及实践者积极加入专委会并参加青年论坛活动。
