2024年6月2日，ccf软件工程专委会青年论坛学术报告会“ai时代的软件质量保障”在武汉大学成功召开。本次报告会是ccf软件工程专委会青年论坛的中西部地区活动，也是论坛的2024年第3次活动。本次活动由华中科技大学网络空间安全学院副教授文明、武汉大学计算机学院副教授陈金富、武汉大学计算机学院教授玄跻峰担任执行主席。报告会由1个主旨报告和5个学术报告组成。首先由西安交通大学网络空间安全学院教授刘烃做主旨报告，然后分别由西安电子科技大学计算机科学与技术学院副教授、西安市智能软件工程重点实验室副主任王璐、华中科技大学计算机科学与技术学院副教授万瑶、华中师范大学计算机学院副教授莫然、国防科技大学计算机学院助理研究员王尚文、武汉大学计算机学院副教授辛奇分享学术成果。本次活动吸引了来自华中科技大学、西安交通大学、西安电子科技大学、国防科技大学、云南大学、武汉理工大学、华中师范大学、武汉大学等高校的50余位代表出席。同时，本次论坛得到了武汉大学计算机学院和武汉计算机软件工程学会的大力支持。

会议由华中科技大学网络空间安全学院副教授文明、云南大学软件学院副教授朱锐、武汉大学计算机学院副教授陈金富主持。在开场环节中，ccf软件工程专业委员会常务委员、武汉大学计算机学院副院长玄跻峰教授介绍了ccf软件工程专委会青年论坛成立的初衷。论坛致力于构建面向软件工程领域青年学者的学术交流空间，助力青年教师、学生参加学术交流，促进青年学者成长，推动学术界和工业界的发展，为推动软件工程社区进步贡献力量。

在主旨报告环节中，刘烃教授带来了“移动应用隐私保护的合规验证”的精彩报告。刘老师首先介绍了移动应用隐私安全，强调移动应用是使用最广泛、涉及用户隐私数据最多的程序。然后，刘老师解释了数据安全法和个人信息保护法对于个人数据收集和使用的严格规定，包括满足最小范围、知情同意等要求。面对移动应用安全治理的挑战，刘老师阐述了“法律法规-隐私权政策-程序代码”关联分析方法，并结合app和小程序等移动应用的实际案例，探讨了一套移动应用隐私保护合规验证的凯发k8登录的解决方案。

在论坛报告环节，重点实验室副主任王璐副教授在题为“软件智能运维研究及典型应用”的报告中，深入探讨了软件运维的当前发展态势。王老师首先指出在系统运行过程中，经常会出现各种非预期的故障和缺陷，而从海量且多样化的数据中快速、实时地定位故障根源或监测资源状态是软件运维面临的主要难题。王老师随后沿着从规则驱动的自动化运维，到数据驱动的智能化运维，再到知识驱动的自主化运维的技术演进路径，详细阐述了如何将运维知识应用于不同典型领域，以实现系统的自主运维。

万瑶副教授带来了“代码智能中深度学习模型的可解释性研究”的报告，万老师首先强调了深度学习技术在推动代码智能领域发展方面的巨大作用，涵盖代码生成、漏洞检测和类型推断等。尽管取得了显著进展，神经网络的“黑盒”特性和复杂性也带来了可解释性方面的严峻挑战。接着，万老师从数据和模型两个关键维度出发，深入探讨了提高代码模型可解释性的方法，并尝试解开这些“黑盒”背后的内部工作机制，以期推动代码智能研究的可信度。在报告的最后，万老师还分享了在追求深度学习模型可解释性过程中所遇到的挑战与机遇。

莫然副教授以“面向代码克隆的软件质量分析”为题进行了分享。莫老师首先提供了代码克隆的基础知识背景。随后，莫老师深入讲解了共变克隆的概念，并对其潜在风险进行了阐释。莫老师进一步针对微服务架构、深度学习软件、自动驾驶软件等不同类型的软件系统，分享了代码克隆现象的研究与分析成果，探讨了代码克隆对这些软件质量的具体影响，为理解代码克隆在不同软件中的作用提供了深刻见解。

王尚文研究员带来了“以人为本—ai时代下人类实践制导的缺陷治理技术探索”的技术分享。王老师首先指出智能技术已在软件工程领域得到广泛应用。然后，王老师探讨了人类在实践活动中形成的行为模式和经验知识对代码模型是否仍有价值。最后，王老师展示了在缺陷检测、缺陷定位、缺陷修复等关键技术领域的最新研究成果，研究工作体现了将人类实践信息与人工智能模型相结合的创新方法，并对该技术模式的普适性和适用性进行了深入讨论。

辛奇副教授带来了“面向实用的自动程序修复”的技术报告。辛老师首先提出了自动程序修复技术的核心目标，并指出现有自动程序修复的问题，已有技术大多依赖于完整的测试用例集来生成修复补丁，存在修复速度慢和只能处理简单的单位置漏洞的局限性。然后，辛老师重点介绍两项研究工作，包括基于集成开发环境的交互式快速修复技术rose和针对多位置不可分割漏洞的修复策略调研。最后，辛老师分享了实用自动程序修复技术未来发展的思考和展望。

ccf软件工程专委会青年论坛后续还将开展学术报告会、专题论坛、交流沙龙等多种形式的活动。欢迎国内软件工程及相关领域研究者及实践者积极加入专委会并参加青年论坛活动。