Daily Arxiv

전 세계에서 발간되는 인공지능 관련 논문을 정리하는 페이지 입니다.
본 페이지는 Google Gemini를 활용해 요약 정리하며, 비영리로 운영 됩니다.
논문에 대한 저작권은 저자 및 해당 기관에 있으며, 공유 시 출처만 명기하면 됩니다.

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases

Created by
  • Haebom

저자

Pedro Orvalho, Mikola\v{s} Janota, Vasco Manquinho

개요

본 논문은 다중 오류를 포함하는 C 프로그램을 위한 새로운 오류 국재화 기법인 CFaults를 제안한다. CFaults는 다중 관측값을 사용하는 모델 기반 진단(MBD)을 활용하여 모든 실패 테스트 케이스를 통합된 MaxSAT 공식으로 집계한다. 이를 통해 모든 관측값에 대한 일관성을 보장하고 오류 국재화 절차를 단순화한다. TCAS와 C-Pack-IPAs라는 두 개의 C 프로그램 벤치마크 세트에 대한 실험 결과, CFaults는 BugAssist 및 SNIPER와 같은 다른 FBFL 접근 방식보다 빠르며, 중복 진단을 생성하지 않고 최소 부분집합 진단만 생성한다는 것을 보여준다.

시사점, 한계점

•
시사점:
◦
다중 오류를 가진 C 프로그램에 대한 효율적이고 정확한 오류 국재화를 가능하게 한다.
◦
기존 FBFL 방법들보다 빠른 속도와 최소 부분집합 진단 생성을 통해 효율성을 향상시킨다.
◦
모든 실패 테스트 케이스에 대한 일관성을 보장한다.
•
한계점:
◦
C 프로그램에만 적용 가능하며, 다른 프로그래밍 언어에 대한 적용 가능성은 추가 연구가 필요하다.
◦
사용된 벤치마크 세트의 규모가 제한적일 수 있으며, 더 다양하고 대규모의 데이터셋에 대한 검증이 필요하다.
◦
MaxSAT 공식 생성 및 해결의 복잡도에 따라 성능 저하가 발생할 가능성이 있다.
👍
Made with Slashpage