1.1 시스템 생명 주기(System Life Cycle)

1.1 시스템 생명 주기(System Life Cycle)

(1) 요구사항(requirement) : 모든 경우에 대한 입력과 출력의 기술은 정밀하게 작성되어야 함

(2) 분석(analysis) : 문제들을 실제 다룰 수 있을 정도의 작은 단위로 나눔

 가) 상향식(bottom-up) 

 나) 하향식(top-down) 

(3) 설계(design) : 프로그램이 필요로 하는 자료 객체들과 이들 위에서 수행될 연산들의 관점에서 시스템에 접근

(4) 정제(refinement) and 코딩(coding) : 자료 객체에 대한 표현을 선택하고 그들 위에 수행되는 연산에 대한 알고리즘을 작성

(5) 검증(verification) : 프로그램의 정확성 증명, 다양한 입력 데이터를 이용한 프로그램의 테스트, 오류 제거로 구성

 가) 정확성 증명(correctness proof) : 수학에서 사용하는 기법들을 이용해서 프로그램들의 정확성을 증명 가능

 나) 테스팅(testing) : 테스트 데이터와 실제로 수행 가능한 코드를 필요로 함

 다) 오류 제거(error removal) : 이전 단계가 적절히 수행되고 나면 정확성 증명과 시스템 테스트 오류가 발생한 코드를 알려줌