I. 소프트웨어 기능 안정성 확보, 정형기술검토 가. 정형기술검토(FTR, Formal Technical Review) 개념 목적 – S/W 개발 산출물 대상 요구사항 일치여부, 표준 준수 및 결함 발생여부를 검토하는 정적 분석기법 – 산출물 요구사항 일치여부 – 시큐어코딩 등 규칙 준수 – 결함발생 여부 검토 – 결함 해결방안 도출 나. 정형기술검토의 특징 정의된 표준 확인 – 표준, 지침 준수율