Update README.md
小组成员:何恺,王艺憧,汪鹏,孙晓帆,肖俊浩
简介:聚集AI4SE领域,开展开源工具调研分析、新工具开发等实践
主要围绕大模型驱动软件开发,从需求分析、系统设计、编码实现、集成测试、部署运维等不同软件生命周期,调研分析当前业界和开源社区中的智能化支撑工具和服务。每个工具主要包括以下几个方面:
聚焦于AI4SE领域中代码缺陷自动化识别与修复这一关键环节,对当前主流的开源解决方案进行系统性深度分析。
调研报告将重点聚焦于智能体范式下的开源智能代码修复工具与服务。
RustLathe 是一套由大语言模型驱动的 Rust 自动化缺陷修复框架。通过结合语义评估机制与动态知识库生成技术,本工具的开发旨在解决 Rust 语言中复杂的内存安全与未定义行为修复难题,提供从缺陷分析到修复建议生成的全栈自动化支持。
聚集AI4SE领域,开展开源工具调研分析、新工具开发等实践
版权所有:中国计算机学会技术支持:开源发展技术委员会 京ICP备13000930号-9 京公网安备 11010802032778号
高级软件工程课程实践
小组成员:何恺,王艺憧,汪鹏,孙晓帆,肖俊浩
简介:聚集AI4SE领域,开展开源工具调研分析、新工具开发等实践
实践任务一:AI4SE工具调研分析(2025年11月10日)
主要围绕大模型驱动软件开发,从需求分析、系统设计、编码实现、集成测试、部署运维等不同软件生命周期,调研分析当前业界和开源社区中的智能化支撑工具和服务。每个工具主要包括以下几个方面:
实践任务二:AI4SE Code Repair Tools Analysis Report
聚焦于AI4SE领域中代码缺陷自动化识别与修复这一关键环节,对当前主流的开源解决方案进行系统性深度分析。
调研报告将重点聚焦于智能体范式下的开源智能代码修复工具与服务。
实践任务三:Rust智能修复工具的开发
RustLathe 是一套由大语言模型驱动的 Rust 自动化缺陷修复框架。通过结合语义评估机制与动态知识库生成技术,本工具的开发旨在解决 Rust 语言中复杂的内存安全与未定义行为修复难题,提供从缺陷分析到修复建议生成的全栈自动化支持。
附件