[소공64]클린룸모델

클린룸모델

결함예방을 목적으로 시스템의전체기능을 Incremental(증가분)로분할, 반복적인 개발과 사용자피드백을통해 증가분 SW를 개발 시스템에 추가하는 생명주기 모형

1.특징:통계적실험 테스트,점증적개발모델,수학 기반의 정형명세/검증 ,함수적등가성 기초검증 

2. 목적: 사용자요구사항 피드백, 이전설계와 명세의 결함제거, 고품질 소프트웨어 개발

3.박스구조명세:블랙박스(사용자관점테스트,입출력),상태박스(데이터내부상태표현),클리어박스(제어흐름,시간적의존관계)

4. 절차 : 요구사항/명세서(기능,사용)/증분계획수립/정형설계(정확성)/임의시험사례생성/통계적시험/인증모델-->피드백