동작 검증자
구현 세부가 아니라 소프트웨어 동작을 자동으로 확인하는 수단으로서, 단위 실행과 동작 검증을 통해 정답 여부를 판정하여 구현 표면이 아닌 동작 수준의 정확도를 측정하는 방법론이다.
