검사 또는 CAD 프로그램을 사용 하 여 만든 특히 그 디자인 분석 엔지니어에 의해 사용 하는 프로시저. 전산 테스트를 또한 사용 소프트웨어 개발자에 의해 자동화 된 회귀 테스트를 위해.