Arxiv hàng ngày

Đây là trang tổng hợp các bài báo về trí tuệ nhân tạo được xuất bản trên toàn thế giới.
Trang này sử dụng Google Gemini để tóm tắt nội dung và hoạt động phi lợi nhuận.
Bản quyền của các bài báo thuộc về tác giả và tổ chức liên quan; khi chia sẻ, chỉ cần ghi rõ nguồn.

CFaults: Chẩn đoán dựa trên mô hình để xác định vị trí lỗi trong các chương trình C với nhiều trường hợp thử nghiệm

Created by
  • Haebom

Tác giả

Pedro Orvalho, Mikol và\v{s} Janota, Vasco Manquinho

Phác thảo

Bài báo này đề xuất CFaults, một kỹ thuật định vị lỗi mới cho các chương trình C chứa nhiều lỗi. CFaults tận dụng chẩn đoán dựa trên mô hình (MBD) với nhiều quan sát để tổng hợp tất cả các trường hợp kiểm thử lỗi thành một công thức MaxSAT thống nhất. Điều này đảm bảo tính nhất quán giữa tất cả các quan sát và đơn giản hóa quy trình định vị lỗi. Kết quả thử nghiệm trên hai bộ chuẩn chương trình C, TCAS và C-Pack-IPA, chứng minh rằng CFaults nhanh hơn các phương pháp FBFL khác, chẳng hạn như BugAssist và SNIPER, và chỉ tạo ra một tập con tối thiểu các chẩn đoán mà không tạo ra các chẩn đoán dư thừa.

Takeaways, Limitations

•
Takeaways:
◦
Cho phép xác định vị trí lỗi hiệu quả và chính xác cho các chương trình C có nhiều lỗi.
◦
Phương pháp này cải thiện hiệu quả bằng cách tạo ra tốc độ nhanh hơn và chẩn đoán tập hợp con tối thiểu hơn so với các phương pháp FBFL hiện có.
◦
ĐảM bảo tính nhất quán trong tất cả các trường hợp kiểm tra không thành công.
•
Limitations:
◦
Nó chỉ áp dụng được cho các chương trình C và khả năng áp dụng cho các ngôn ngữ lập trình khác cần phải nghiên cứu thêm.
◦
Kích thước của bộ chuẩn được sử dụng có thể bị hạn chế và cần phải xác thực trên một tập dữ liệu lớn hơn và đa dạng hơn.
◦
Tùy thuộc vào độ phức tạp của việc tạo và giải công thức MaxSAT, hiệu suất có thể bị suy giảm.
👍
Made with Slashpage