결정론적 검사
미리 정의된 규칙이나 조건문을 사용하여 시스템의 출력을 검증하는 방식이다. 입력과 출력의 관계가 명확한 단순 작업에는 효과적이지만, 복잡한 추론이 필요한 에이전트의 실패 모드를 포착하는 데는 한계가 있다.
