2024年8月12日,ccf软件工程专委会青年论坛学术报告会“智能软件工程方法与应用”在云南丽江成功召开。本次报告会由中国计算机学会(ccf)软件工程专委会主办,云南大学软件学院与丽江文化旅游学院信息学院联合承办。报告会是ccf软件工程专委会青年论坛的中西部地区活动,也是2024年第6期学术报告会。本次活动由云南大学软件学院朱锐副教授、武汉大学计算机学院玄跻峰教授担任执行主席。报告会由1个主旨报告和5个学术报告组成。报告会首先由复旦大学计算机科学技术学院教授彭鑫做主旨报告,然后分别由云南大学软件学院教授杨云、复旦大学计算机科学技术学院青年副研究员娄一翎、西安电子科技大学计算机科学与技术学院华山菁英副教授、西安市智能软件工程重点实验室青年教师张晨曦、重庆大学大数据与软件学院副教授刘超、武汉大学计算机学院副教授陈金富分享学术成果。本次活动吸引了来自复旦大学、武汉大学、重庆大学、西安电子科技大学、南方科技大学、安徽师范大学、广东外语外贸大学、桂林理工大学、云南农业大学、昆明市住建局、云南大学、丽江文化旅游学院等15所高校及单位的40余位代表出席。本次论坛得到了云南省软件工程重点实验室的大力支持。

开场环节,由云南省软件工程重点实验室主任、云南大学软件学院副院长杨云教授致欢迎词;由云南省软件工程重点实验室学术委员会主任、云南农业大学原副校长李彤教授致开幕词,李彤教授表示青年是国家和民族的未来,是推动科技进步与社会发展的重要力量,希望通过本次论坛,能够为年轻学者提供更多参与学术交流的机会。会议由武汉大学计算机学院玄跻峰教授、云南大学软件学院朱锐副教授、安徽师范大学计算机与信息学院郑明博士主持。

在主旨报告环节中,彭鑫教授带来了题为“大模型辅助软件开发:我们在哪里?该往何处走?”的精彩报告。彭老师首先介绍了大模型及相关的模型微调、提示工程、检索增强、多agent等技术的发展,强调这些技术的进步正在助推软件开发进入智能化时代。彭老师指出,局部化的智能辅助支持实现了一定程度上的软件开发效率提升,但大模型技术的发展难以触发软件智能化开发的质变。针对软件应用开发,彭老师建议探索如何将演进式设计、特定领域语言以及有效的代码审视与反馈与大模型的代码生成能力相结合。针对复杂软件维护,彭老师提出构建与代码同步演化的代码数字孪生,并通过大模型强大的知识抽取、关联与利用能力实现软件开发知识的有效积累。

在论坛报告环节,杨云教授在题为“集成智能算法研究及其在智慧医养中的创新应用”的报告中,深入探讨了集成智能算法的理论研究及其在智慧医养中的创新应用。杨老师介绍了集成学习的基本概念及其优势,随后详细阐述了集成建模学习、集成深度学习和集成聚类学习在疾病预测、诊断和监测中的具体应用。通过这些研究,杨老师展示了集成智能算法在提升医疗预测准确性、诊断效率和监测能力方面的巨大潜力和创新价值。杨老师强调,这些创新应用将有助于推动智慧医养领域的发展,为人们提供更优质的医疗服务。

娄一翎副研究员以“智能化静态缺陷检测”为题进行了分享。娄老师首先分析了传统静态缺陷检查方法在代码复杂性高以及业务逻辑特定的场景中,常面临召回率、精准率不足的问题。娄老师表示,人工智能尤其是大语言模型的发展为静态缺陷检测带来了新的机遇。娄老师接着分享了他们近期基于智能化方法的静态缺陷检测工作,即通过利用缺陷历史构建缺陷知识库,以增强大语言模型静态缺陷检测的能力,同时结合大语言模型和静态分析的互补性,设计出大语言模型和静态分析相结合的缺陷静态检测方法。

张晨曦老师带来了“基于调用链的云原生软件智能化运维技术研究”的技术分享。张老师首先分析了云原生软件面临的系统规模庞大、依赖关系复杂、变更频繁,运维管理和持续可靠运行等方面的诸多挑战。张老师表示,以分布式追踪为代表的可观测性技术已成为云原生软件系统的重要基础设施,并为云原生软件系统运维提供了有效支撑。针对如何利用海量可观测性数据实现智能化运维,张老师展示了西电智能运维团队基于调用链分析实现异常检测、根因定位和微服务架构评估的研究进展和实践探索。

刘超副教授以题为“基于代码大模型的编程助手”展开了技术报告。刘老师首先肯定了代码大模型在智能软件工程发展的推动作用。在报告中,刘老师汇报了团队在代码生成、测试用例生成、代码漏洞检测、提示工程、大模型测试、生成错误修复、生成安全加固等方面的科研进展,并介绍了编程助手的研发情况。刘老师强调,这些基于代码大模型的技术创新,为软件工程领域带来了全新的发展机遇。编程助手的研发,将为软件开发人员提供智能化的编程支持,大幅提升开发效率和代码质量。

陈金富副教授带来了题为“智能化软件性能工程”的报告。陈老师首先提出了,软件性能是衡量软件质量的关键指标之一。针对软件性能退化引发的系统故障、稳定性和可靠性下降等问题,陈老师提出了一系列自动化方法,覆盖软件生命周期的各个阶段,包括软件开发、测试和运维,以全面提升软件性能管理能力。陈老师详细介绍了这些智能化的软件性能工程方法,包括针对软件性能退化的主要根因进行分析,并基于此提出相应的解决策略,进一步构建了一个更加智能化的软件性能工程体系的设想。

会议最后,彭鑫教授和李彤教授为本次会议执行主席朱锐副教授、玄跻峰教授颁发执行主席证书。
