AWS, 소프트웨어 요구사항의 60%에서 버그 발견… 해결책은 더 많은 AI가 아니라 50년 된 로직 엔진
AWS found bugs in 60% of software requirements. Its fix isn’t more AI — it’s a 50-year-old logic engine.
TL;DR AI
1분핵심 요약
AWS는 에이전틱 개발 플랫폼 Kiro에 Requirements Analysis 기능을 추가해 코드 생성 전에 요구사항 문제를 잡아낸다.
이 기능은 모호한 요구사항을 다시 쓰고 이를 형식 논리로 변환한 뒤, SMT solver로 모순·애매함·정의되지 않은 동작·누락된 정보를 찾아낸다.
코드 버그가 생긴 뒤가 아니라, 개발자가 바로 답할 수 있는 질문 형태로 문제를 초기에 드러낸다.
이번 도입은 AWS가 AI 코딩 정확도를 높이기 위해 형식 검증과 자동 추론 같은 전통적 방법을 활용하고 있음을 보여준다.