formal-verification
소프트웨어가 설계 명세대로 정확히 동작함을 수학적 증명을 통해 확인하는 기법이다. 테스트와 달리 특정 조건에서의 오류 부재를 논리적으로 보장할 수 있으나 과정이 매우 복잡하여 AI의 보조가 기대되는 분야이다.
소프트웨어가 설계 명세대로 정확히 동작함을 수학적 증명을 통해 확인하는 기법이다. 테스트와 달리 특정 조건에서의 오류 부재를 논리적으로 보장할 수 있으나 과정이 매우 복잡하여 AI의 보조가 기대되는 분야이다.