REODE
Code migration
Trước khi sửa, hãy tìm nguyên nhân chung.
Một tác nhân chuyển đổi mã Java/Spring.
Khiến tác nhân sửa lỗi đọc cấu hình trước
Tác nhân đã thử sửa từng setter là tác nhân sửa lỗi bên trong sản phẩm REODE; việc phát triển đã thay đổi đầu vào của nó. Mã và thông tin khách hàng là riêng tư.
March 21, 2026
Nhóm lỗi, build gốc và cấu hình Lombok trở thành đầu vào của việc sửa
Đang phát triểnTác nhân sửa lỗi REODE
Quan sát · phát hiệnĐã thử sửa riêng lẻ khoảng 40 lỗi setter · không kiểm tra @Data / POM
- trả vềBỏ sót nguyên nhân chung→ Đọc mã nguồn và cấu hình build trước khi sửa (Nhà phát triển)
Con ngườiNhà phát triển
Hành độngĐọc mã nguồn và cấu hình build trước khi sửa
- bàn giaoĐầu vào sửa lỗi đã thay đổi→ Build baseline gốc · nhóm các lỗi cùng mẫu (Thay đổi trong phát triển)
Phiên làm việcThay đổi trong phát triển
Hành độngBuild baseline gốc · nhóm các lỗi cùng mẫu
- bàn giao→ Thu thập bằng chứng: đường dẫn · 3 mẫu mã nguồn · annotation · POM (Thay đổi trong phát triển)
Quy tắc thành vănChính sách người đóng góp
Quy tắc · chưa kiểm chứngKế hoạch tác vụ · worktree được sở hữu
- không phải lần thực thi được ghi lạiChính sách yêu cầu→ Build baseline gốc · nhóm các lỗi cùng mẫu (Thay đổi trong phát triển)
Phiên làm việcThay đổi trong phát triển
Hành độngThu thập bằng chứng: đường dẫn · 3 mẫu mã nguồn · annotation · POM
- bàn giao→ Sửa Lombok tất định trước · bỏ qua LLM nếu build lại thành công (Thay đổi trong phát triển)
Quy tắc thành vănChính sách người đóng góp
Quy tắc · chưa kiểm chứngRà soát không ngữ cảnh: kế hoạch ↔ diff
- không phải lần thực thi được ghi lạiChính sách yêu cầu→ Thu thập bằng chứng: đường dẫn · 3 mẫu mã nguồn · annotation · POM (Thay đổi trong phát triển)
Phiên làm việcThay đổi trong phát triển
Hành độngSửa Lombok tất định trước · bỏ qua LLM nếu build lại thành công
- bàn giaoBuild lại thất bại→ Nếu build lại thất bại, mô hình sửa với bằng chứng và chỉ dẫn sửa (Tác nhân sửa lỗi REODE)
Đang phát triểnTác nhân sửa lỗi REODE
Quan sát · phát hiệnNếu build lại thất bại, mô hình sửa với bằng chứng và chỉ dẫn sửa
- bàn giaoTín hiệu kiểm chứng→ Scorecard: build · test · test bị xóa · loại trừ surefire (Sản phẩm đầu ra)
ArtifactSản phẩm đầu ra
ArtifactScorecard: build · test · test bị xóa · loại trừ surefire
- trả vềLỗi còn lại→ Lỗi còn lại quay về bước thu thập bằng chứng (Thay đổi trong phát triển)
Phiên làm việcThay đổi trong phát triển
Hành độngLỗi còn lại quay về bước thu thập bằng chứng
- Bối cảnh
- Tác nhân sửa lỗi đã thử sửa khoảng 40 lỗi setMsg() not found từng cái một mà không xem @Data hay phiên bản Lombok trong pom.xml. Đầu vào vốn đã hỏng không được phân biệt với các lỗi do việc chuyển đổi gây ra.
- Kết quả
- Scorecard đọc kết quả build và test cùng với số test bị xóa và số loại trừ surefire, và bỏ qua mục độ bao phủ khi không biết baseline. Đạt bằng cách xóa test vẫn là thất bại.
- Giới hạn
- Việc thu thập bằng chứng lấy mẫu tối đa ba mã nguồn, nên không phải sự hiểu biết toàn bộ codebase. Không có bản ghi cho thấy worktree, rà soát độc lập hay hàng đợi merge develop theo chính sách thực sự được áp dụng cho trường hợp này, và tác nhân lập trình cùng mô hình của trường hợp này chưa được xác nhận. Không có kết quả test hay độ bao phủ cuối cùng của khách hàng.
Nguồn và các giới hạn còn lại
- Tác vụ baseline và tác vụ khám phá trước khi sửa đã chuyển từ đang làm sang hoàn tất, và có các commit hiện thực. Không lấy kết quả kiểm tra GitHub mới.
- Chính sách của kho mã này đặt hàng đợi merge feature → develop → main, nhưng cùng quy trình đó không được áp dụng cho các dự án khác.
- Các tác nhân kiểm chứng bật tùy chọn là một cơ chế trong phần hiện thực, không phải bằng chứng rằng chúng được dùng trong mọi lần bàn giao. Các con số như quy mô hay tỷ lệ bàn giao không được đưa vào vì không xác nhận được bằng chứng gốc.
- Khi build lại thất bại, mô hình sửa vẫn nhận lỗi build ban đầu, không phải lỗi mới của lần build lại.