14장. 최신 기술

Cleanroom Software Engineering

소프트웨어에 정확성을 구축할 필요성을 강조하는 접근 방식입니다. 고전적인 분석, 설계, 코드, 테스트 및 디버그 사이클 대신 클린룸 접근 방식은 다른 관점을 제시한다.

<증분 계획—증분 전략 채택>

요구사항 수집(Requirements Gathering) - 고객 수준 요구사항에 대한 설명 정의(각 증분에 대한)
박스 구조 사양(Box Structure Specification) - 기능 사양을 설명합니다.
형식 설계(Formal Design) — 사양("블랙박스"라고 함)은 아키텍처 및 절차 설계("스테이트 박스" 및 "클리어 박스"라고 함)와 유사하도록 반복적으로 조정됩니다.
정확성 검증(Correctness Verification) — 검증은 최고 수준의 상자 구조(사양)에서 시작하여 일련의 "정확성 질문"을 사용하여 설계 세부사항과 코드로 이동합니다. 이들이 규격이 정확하다는 것을 입증하지 못할 경우 검증을 위한 보다 공식적인(수학적) 방법이 사용된다.
코드 생성, 검사 및 검증(Code Generation, Inspection and Verification) — 박스 구조 사양은 전문 언어로 표시되며 적절한 프로그래밍 언어로 전송됩니다.
통계적 시험 계획(Statistical Test Planning) — 사용의 "확률 분포" 행사를 계획하고 설계하는 일련의 시험 사례
통계 사용 테스트(Statistical Usage Testing) - 대상 모집단의 모든 사용자가 실행할 수 있는 모든 프로그램의 통계 샘플(위에 언급된 확률 분포)에서 파생된 일련의 테스트를 실행합니다.
인증(Certification) — 검증, 검사 및 사용 테스트가 완료되고 모든 오류가 수정되면 통합 준비가 완료된 것으로 인증됩니다.

Problems with Conventional Specification (표준 사양의 문제점)

Formal Methods

시스템 속성을 설명하기 위한 수학적 기반 기술 - 일관성, 완전성 및 모호성 결여
사양 언어의 형식적인 구문은 요구사항이나 설계를 한 가지 방법으로만 해석할 수 있게 하며, 자연어(예: 영어)나 그래픽 표기법이 해석되어야 할 때 종종 발생하는 모호성을 제거한다.

15장. 미래 동향

15장에는 별 내용 없다

그냥 앎의 어쩌구..그런거

후배들 화이팅~!!