SW 개발 방법론 - Clean Room

Clean Room

1. 클린룸 : 수학적(정형명세/검증), 통계적(테스트) 이론에 기반한 Box 구조기법을 사용하여 무결한 SW 개발을 지향하는 반복/증분 개발방법론

2. 클린룸 개발 목적 : 개발된 소프트웨어가 운용상에 발생할 수 있는 Failure에 대해 Zero를 보장하는 것을 목적

3. 클린룸 소프트웨어 개발의 5가지 특징 - [FI 구정통]

  1) Formal specification: 개발할 소프트웨어는 형식적으로 명세화

  2) Incremental development:: 소프트웨어를 여러 부분으로 Cleanroom 처리

  3) Structural programming: 제한된 제어와 데이터 구조를 사용

  4) Static verification: 개발한 소프트웨어를 수학적 기잔의 정확성 증명을 이용하여 정적으로 검증

  5) Statistical testing of the system: 통합된 소프트웨어 증가분은 신회를 판단하기 위해 통계적으로 시험

4. 클린룸의 특징: 1) 반복적 개발 프로세스, 2) 시스템 내에서의 중요도, 이용빈도, 사용자의 피드백 평가 등으로 Increment 개발 수선가 결정

                      3) 3가지의 블랙 박스, 상태 박스, 클리어 박스로 구성

5. 박스 구조 분석 : 1) 블랙박스 : 사용자 관점, 시스템의 행위 명시, 이벤트 반응 매핑

                        2) 상태박스 : 블랙 상세, 상태 데이터와 서비스 연산을 캡슐화, 처리과정 은닉

                        3) 클리어박스 : 상태 상세, 상태박스가 의미하는 전이기능 정의, 절차 설계포함