AI 코딩 전에 명세 버그를 잡는 법, AWS Kiro 발표

한눈에 보기

명세 주도 개발(요구사항 문서를 먼저 쓰고 그에 맞춰 코드를 짜는 방식)에서 명세가 틀리면 코딩 에이전트도 그 오류를 그대로 만들어요. 이 영상은 AWS의 Kiro가 설계나 코드를 만들기 전에 명세의 오류를 찾는 방법을 보여줘요.

영상에서 다루는 내용

1. 1

   LLM(대형 언어 모델)과 SMT 솔버(논리 조건이 서로 모순되지 않는지 검사하는 수학적 검증 도구)를 함께 써서 명세를 점검해요.

2. 2

   LLM끼리 의견이 엇갈리면 그 요구사항이 모호하다는 신호로 본다는 접근을 설명해요.

3. 3

   솔버가 LLM 심사관(LLM-as-judge) 방식보다 나은 경우와 그렇지 않은 경우를 함께 다뤄요.

왜 볼 만할까요?

AI로 기능을 만들거나 개발 도구를 도입하려는 개발자와 기획자에게 명세 검증의 실제 방법을 알려줘요.