검사프로그램 종류