STAMP-project/dspot

🤖 DSpot — Tăng cường test JUnit tự động bằng AI

DSpot sinh assertion và test case mới từ test suite hiện có, tăng coverage và phát hiện thay đổi hành vi.

DSpot là công cụ sinh assertion và test case mới cho JUnit. Nhận đầu vào là dự án Java có test suite, DSpot sinh test mới và ghi ra đĩa. Hỗ trợ dự án Maven và Gradle (--automatic-builder).

✨ Điểm nổi bật

• Tự động sinh assertion: thêm assertTrue, assertFalse vào test dựa trên hành vi thực tế.
• Amplifiers: --amplifiers=AllAmplifiers sửa setup test và thay đổi assertion.
• Test selector: --test-selector=PitMutantScoreSelector giữ test cải thiện coverage.
• Hỗ trợ Maven & Gradle: tự động phát hiện builder qua --automatic-builder.
• Xuất test ra thư mục: cấu hình outputDirectory (mặc định ./target/dspot/output/).
• Báo coverage: in ra % coverage trước/sau amplification.
• Demo site: https://dspot-demo.stamp-project.eu/ để thử nhanh.
• Plugin IDE: hỗ trợ Jenkins, Eclipse, IntelliJ.

💡 Vì sao đáng chú ý

DSpot không chỉ thêm assertion, mà còn sửa logic test và lọc kết quả qua selector. Phù hợp tích hợp CI để tự động cải thiện chất lượng test. Nghiên cứu chứng minh hiệu quả với 10 dự án nguồn lớn.

#TestAmplification #JUnit #Java #CodeCoverage #TiniX