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

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

• 요구사항 (requirement)
  
  • 프로젝트들의 목적을 정의한 명세들의 집합
  • 입력과 출력에 관한 정보를 기술
• 분석 (analysis)
  • 문제들을 다룰 수 있는 작은 단위들로 나눔
• 설계 (design)
  • 추상 데이터 타입 (abstract data type) 생성
  • 알고리즘 명세와 설계 기법 고려
• 정제와 코딩 (refinement and coding)
  • 데이터 객체에 대한 표현 선택
  • 수행되는 연산에 대한 알고리즘 작성
• 검증 (verification)
  1. 정확성 증명 (correctness proof)
     • 수학적 기법들을 이용해서 증명
  2. 테스트 (testing)
     • 프로그램의 정확한 수행 검증
     • 프로그램의 성능 검사
  3. 오류 제거 (error removal)
     • 독립적 단위로 테스트 후 전체 시스템으로 통합