1.점진적/통계검증기반 방법론, Cleanrool모델 가.정의 : 명세/설계단계에서 Iteration, 통계검증으로 초기결함을 제거, 고품질SW를 개발하기위한 기법 나.특징 : 증분/점진형(incremental, 점진계획서), 통계기반테스트(통계적샘플링, 시나리오통계) 2.클린룸프로세스모델 가. 모형 : - 요구분석->박스구조명세(블랙,상태,클리어)->정형검증,정확성검증 -> 코드생성검증 -> 통계적테스트(계획/사용-확률분포) -> 인증/통합 나 세부내용 1) 박스구조명세 : 그림 삼각형으로 설명 2) 정형검증 : 3) 통계적테스트 : 3.클린룸테스팅 -통계적표본 샘플링/사용테스팅으로 테스트케이스 생성 -> 테스트실행/기록 -> 신뢰성계산인증 -인증방법(샘플링모델, 컴포넌트모델, 인증모델) -점진(Incremental)계획서, 클린룸프로세스, 박스구조명세(블랙,상태,클리어)->정형설계/검증-->통계기반 클린룸테스트(사용확률에따른 테스트케이스, 인증모델, 샘플링모델, 컴포넌트모델)