정적 리뷰 도구
코드를 실행하지 않고 구문 오류나 스타일 가이드를 분석하는 소프트웨어이다. 런타임에서 발생하는 기능적 결함이나 UI 누락을 잡아내지 못하는 한계가 있어, 본문에서 제안하는 동적 검증 도구의 필요성을 강조하는 대조군으로 언급되었다.