5月30日，“CCF 软件工程专委会走进研究院”专题学术交流活动成功举办。本次活动由CCF软件工程专委会与杭州高新区（滨江）区块链与数据安全研究院共同主办，浙江大学区块链与数据安全全国重点实验室提供协办支持，活动吸引了70余名科研学者及行业技术人员参会。现场围绕人工智能、大模型安全、软件工程等前沿技术领域开展分享与研讨。CCF软件工程专委会走进区块链与数据安全研究院参会人员合影南京大学徐宝文教授、武汉大学特色化示范性软件学院院长金芝教授、南京大学计算机学院院长马晓星教授、中国科学院软件研究所张健研究员、北京理工大学刘辉教授、上海交通大学系副主任林云副教授、华东师范大学苏亭教授、北京航空航天大学罗川教授、南京大学时清凯副教授、华东师范大学胡铭青年研究员应邀出席。在开场致辞环节，区块链与数据安全研究院杨小虎院长首先对与会专家学者的到来表示热烈欢迎，并介绍了研究院的发展历程、科研布局。他表示，希望以此次活动为契机，进一步加强学术界与科研机构之间的交流合作，共同探索软件工程前沿技术的发展方向，推动相关领域的创新研究与成果转化。CCF软件工程专委主任马晓星教授代表CCF软件工程专委对承办本次活动的区块链与数据安全研究院表示感谢，他指出，随着大模型等技术的快速发展，需要进一步推动软件工程与人工智能、区块链、数据安全等领域的深度融合。希望与会专家能够充分交流思想、分享研究成果，为软件工程学科的发展贡献智慧与力量。南京大学徐宝文教授首先作了题为“大模型代码生成与代码质量”的报告。报告介绍了大模型代码生成技术的发展现状与能力边界，指出其在代码生成效率方面取得显著进展。随后，徐教授从软件工程视角分析了AI生成代码可能带来的技术债务与质量风险，并提出技术、流程和文化三位一体的治理框架，强调通过人机协同和系统化治理实现大模型在软件开发中的可信应用。武汉大学金芝教授作了题为“关于人机物融合智能化软件方法学的一点思考”的报告。报告分析了人机物融合智能化软件在需求多样化、应用泛在化、系统复杂化和能力智能化背景下面临的新挑战，指出传统软件开发方法学已难以满足新型软件系统的开发需求。随后，探讨了面向人机物融合场景的新型软件方法学，为未来智能化软件系统的开发与运维提供支撑。南京大学马晓星教授作了题为“神经符号融合的编程与验证”的报告。报告从大模型时代软件工程面临的新挑战出发，指出大模型的非确定性和“语义鸿沟”问题使传统软件开发面临新的软件危机。随后，介绍了神经符号系统在自动定理证明、程序验证和可信智能化软件开发中的最新研究进展，展示了神经网络与符号推理协同解决复杂推理问题的潜力与前景。中国科学院软件研究所张健研究员作了题为“软件分析与测试——研究与实践”的报告。报告围绕程序分析与软件测试技术，介绍了规则检查、符号执行、自动测试生成等经典方法，以及在内存泄漏检测、引用计数分析和并发缺陷发现等方面的研究成果。随后，报告分享了智能化程序分析、静态分析规则自动生成和自动驾驶系统测试等最新进展。北京理工大学刘辉教授作了题为“基于历史缺陷与大语言模型的重构引擎测试方法”的报告。报告围绕代码重构引擎测试面临的覆盖率低、成本高和缺陷发现效率不足等问题，提出利用历史缺陷知识与大语言模型协同生成测试用例的新思路。报告还展示了相关方法在 Eclipse、IntelliJ IDEA、NetBeans 等主流开发工具中的应用效果，验证了大语言模型在智能化软件测试领域的应用潜力。上海交通大学林云副教授作了题为“从“代码编写”到“需求编译”：人工智能智能体驱动下的软件工程教学演进与前沿探索”的报告。报告分析了大语言模型和智能体技术快速发展背景下软件开发范式面临的新变化，指出软件工程正逐步从“代码编写”向“需求编译”演进。报告结合教学实践与实验结果，展示了需求驱动软件生成的可行性，并探讨了需求源码化和测试驱动智能体化等未来软件工程的发展方向。华东师范大学苏亭教授作了题为“模型引导的功能性质测试技术及其应用初探”的报告。报告围绕复杂软件系统测试覆盖不足、测试用例设计成本高等问题，介绍了模型引导的功能性质测试方法。最后，报告介绍了相关技术在工业界的落地应用，验证了模型引导的功能性质测试在提升测试覆盖率和发现复杂业务缺陷方面的有效性。北京航空航天大学罗川教授作了题为“约束采样方法研究及其应用实践”的报告。报告围绕约束求解与软件测试中的采样效率和覆盖率问题，介绍了面向布尔可满足性问题的约束采样方法，通过多样性评价、动态概率调整等技术生成高覆盖率的合法解集。最后，报告展示了相关技术在软件测试、质量保障和复杂配置系统分析中的应用实践。南京大学时清凯副教授作了题为“基于大模型的网络协议规约生成与安全分析技术”的报告。报告围绕网络协议实现中的安全漏洞检测问题，介绍了利用大语言模型从协议标准文档中自动推理和生成协议规约的方法，突破传统基于程序分析的规约建模容易继承代码缺陷的局限。报告还展示了相关技术在网络协议漏洞检测和安全分析中的应用成果。华东师范大学胡铭青年研究员作了题为“面向智能嵌入式系统的自动化设计”的报告。报告围绕智能嵌入式系统设计复杂、开发成本高等问题，介绍了基于程序综合和强化学习的时间规约自动化生成方法，提高了形式化建模效率与正确性。随后，报告介绍了面向云端协同的智能嵌入式系统统一建模语言及自动化代码生成技术，实现从需求分析到系统实现的自动化设计。后续，研究院将持续搭建高水平学术平台，促进思想碰撞与成果转化，深化产学研合作，推动区块链与数据安全相关领域技术创新与行业高质量发展。