728x90 반응형 자동디버깅1 (6) 프로그램 디버깅을 돕는 인공지능 - IEEE Spectrum AI-기반 증명 생성기인 Baldur는 자동으로 코드를 확인하기 위해 자체 증명을 통해 소프트웨어 디버깅을 돕습니다. 모든 소프트웨어가 완벽하지는 않습니다. 많은 앱, 프로그램 및 웹사이트는 버그가 존재하는 상태로 출시됩니다. 그러나 암호 프로토콜, 의료 기기 및 우주 셔틀과 같은 중요한 시스템의 소프트웨어는 오류가 없어야 하며, 버그의 부재를 보장하기 위해서는 코드 리뷰와 테스트를 넘어 형식적인 검증이 필요합니다. 형식적인 검증은 코드에 대한 수학적인 증명을 작성하는 것을 포함하며, "코드가 정확한지 확인하는 데 가장 어렵지만 동시에 가장 강력한 방법 중 하나"입니다. 이것은 매사추세츠 암허스트 대학의 교수인 Yuriy Brun이 말합니다. 형식적인 검증을 더 쉽게 만들기 위해 Brun과 그의 동료들은.. 2024. 1. 27. 이전 1 다음 728x90 반응형
