일반적인 CAD/CAM 시스템을 이용해서 생성한 NC-code는 오류의 가능성의 항시 내포되어 있으므로, 실 가공하기 전에 NC-code의 불량 여부를 검사할 필요가 있다. 본 논문에서는 Z-map 형태의 계산모형을 이용한 모의가공의 계산방법을 볼엔드밀, 평엔드밀, 라운드엔드밀에 대해서 도식적으로 설명하였다. 또, 모의가공 된 형상만으로 NC-code의 불량 여부를 검사하는 자체적인 검사방법과 모의가공 된 형상과 설계형상을 비교해서 불량여부를 판별하는 비교 검사방법을 제시하였다. Z-am 모델을 모의가공과 가공형상의 검증에 사용하면, 빠른 속도로 실제가공 상황을 재현 할 수 있고 육안 검증을 포함한 다양한 수치적 검증이 가능하다. 또, 간단한 데이터 구조이므로 필요한 앨고리즘을 효율적이고, 로버스트하게 구현할 수 있다.