고급언어로 작성한 프로그램을 기계어로 번역하였다. 번역 중에 발생한 문법에러를 모두 수정하여 실행 파일을 만들었으나 실행 결과가 정확하지 않았다. 다음 중 어떤 프로그램을 이용하면 논리적인 문제점을 검토할 수 있는가?