Replit CTO는 Antithesis의 결정론적 시뮬레이션 테스트 플랫폼을 사용한다고 밝혔다. 통제된 가상 환경에서 네트워크 지연과 서버 및 저장장치 장애를 주입하고, 문제가 난 실행 순서와 조건을 재현해 수정 효과를 확인하는 방식이다. AI가 항상 같은 코드를 만들게 하는 기술은 아니다. Replit의 기존 보안 연구도 표현이나 프롬프트에 따라 AI 검사 결과가 달라져 정적 분석과 의존성 검사를 병행해야 한다고 설명한다. 실제 실행 검증을 결합하되 탐색하지 않은 오류나 취약점까지 없다고 단정해서는 안 된다.
테크로 돌아가기
테크
Replit, 장애 재현형 시뮬레이션으로 소프트웨어 검증
같은 실패 조건을 다시 실행하는 검사는 AI 자기 검토를 보완하지만, 모든 오류의 부재를 증명하지는 않는다.