Clean Room Model

JAD, JRP, Construction, Cut Over, RAXSKL (RAD, Agile, XP, Scrum, Kanban, Lean)

---

I. 결함률 0% 목표, 클린룸 모델의 개요

가. 클린룸 모델(Clean Room Model)의 정의

   - 엄격한 소프트웨어 검사를 지원하기 위해 정형기법을 이용하여 결함률이 낮은 고품질 소프트웨어 개발 방법론

나. 특징) 정형명세, 증분형 개발, 박스 구조 명세, 수학적 검증

---

II. 클린룸 모델의 프로세스 및 단계별 검증

가. 클린룸 모델의 프로세스

- 결함을 최소화하기 위해 검증단계 추가, 인증 실패 시 증분하여 결함을 낮추기 위해 반복 진행

나. 클린룸 모델의 단계별 활동

단계	활동	설명
요구사항	증분계획	- 전체 시스템 증분 계획 수립
	수집/반복	- 고객 요구사항 수집/요구명세 기록
	박스구조 명세	- 박스 구조 명세 방법, 요구사항 명세 기록
설계단계	정형적 설계	- 박스들을 유사하게(중복/불확실성/호환성 제거)되도록 정형적 설계
	정확성 검증	- 설계 마무리 후 검증, 클린룸 팀 가동
구현단계	코드 생성	- 정형적 설계 단계에서 전달 받은 내용 작성
	코드 검사	- 클린룸 팀에 의해 작성내용 검사
테스트/인증	테스트계획수립	- 소프트웨어 사용 예측, 확률 분포이용 케이스 작성
	통계적 사용테스트	- 확률분포 이용 테스트 수행
	인증	- 증분 통합 인증, 실패 시 증분 수행

- 정형적 설계의 박스는 명세(블랙) 박스, 상태 박스, 클린(화이트) 박스로 구성

---

III. 클린룸 모델의 정형적 설계 박스 구조

명세 박스 (블랙박스) -> 상태 박스(아키텍처 설계) -> 클린 박스(컴포넌트 수준 설계)