실행·충실도·일반화 점검