[소프트웨어공학] 14장. 최신 기술 & 15장. 미래 동향

14장. 최신 기술

Cleanroom Software Engineering

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

• 결함을 방지하기 위해 "사전 준비(up-front)"에 많은 노력을 기울임.
• 점진적 발전
• 신뢰성을 보장하기 위한 통계적 방법
• "상자 구조 사양" 채택
• 'Box'는 시스템을 캡슐화함.

이 사진 기말고사에 나왔었음

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

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

 

 

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

• contradictions : 모순
• ambiguities : 모호성
• incompleteness : 불완전성
• mixed levels of abstraction : 혼합된 레벨의 추상화

Formal Methods

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

fromal specification language ex

 

15장. 미래 동향

 

15장에는 별 내용 없다

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

후배들 화이팅~!!