第九期 CCF 秀湖会议报告：大模型下的软件工程机遇与挑战

第九期 CCF 秀湖会议报告汇总了大模型在软件工程中的应用现状与挑战，指出软件工程正从数字化、知识化向高度智能化的人机协同开发转型。报告认为 LLM 虽在代码生成、测试自动化与程序修复上进展显著，但在复杂逻辑推理、小语种支持、幻觉与可信性判断上仍有局限，需人工审核与形式化验证保障。会议还强调数据质量决定模型上限，开发者需具备驾驭 AI 的能力。