© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 1 정형 명세 배재대학교 멀티미디어 정보공학 연구실 발표자 : 이 상 조

Presentation on theme: "© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 1 정형 명세 배재대학교 멀티미디어 정보공학 연구실 발표자 : 이 상 조"— Presentation transcript:

1 © Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 1 정형 명세 배재대학교 멀티미디어 정보공학 연구실 발표자 : 이 상 조 iccaruss@pcu.ac.kr iccaruss2@hotmail.com

2 © Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 2 Objectives l 왜 정형 명세 기술이 시스템 요구사항에서의 문제를 발견하는데 도움을 주는지 이해

3 © Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 3 정형 기법 l 정형 기법이라는 말은 정형 시스템 명세, 명세 분석과 증명, 변환 개발과 프로그램 증명을 포함하는 소프트웨어의 수학적 표현에 의존하는 어떠한 활동을 나타내기 위해 사용 l 정형 기법의 사용은 안전성, 신뢰성, 보안성이 매우 중요한 시스템 개발 분야에서 점점 늘어나고 있음

4 © Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 4 소프트웨어 프로세스에서의 정형 명세 l 시스템 요구 사항이 명세화 된 후에 소프트웨어의 정형 명세화가 개발됨 l 정형 명세의 중요한 장점 중의 하나는 시스템 요구사항에 있는 모호성을 밝혀낼 수 있는 능력을 가짐

5 © Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 5 명세화와 설계

6 © Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 6 Cost profile l 정형 명세를 개발하고 분석하는 것은 소프트웨어 개발 비용에 부담을 줌 명세화에 대한 비용과 검증에 대한 비용이 증가 설계와 구현에 관한 비용 절감 정형 명세의 개발이 요구사항 문제를 밝혀내기 때문에 시스템이 설계된 후에 이러한 문제를 수정하기 위한 재작업을 피할 수 있음

7 © Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 7 정형 명세와 소프트웨어 개발 비용

8 © Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 8 명세 방법 l 대수적 방법 시스템이 연산과 연산의 관계에 의해 표현 l 모델 기반 방법 시스템의 모델이 집합과 수열과 같은 수학적 표현을 이용하여 만들어지며 시스템 운영은 그것이 어떻게 시스템의 상태를 수정하는 지에 의해서 정의

9 © Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 9 정형 명세 언어

10 © Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 10 서브시스템 인터페이스 명세 l 대형 시스템은 독립적으로 개발될 수 있는 서브시스템으로 분해 됨 l 서브시스템은 다른 서브시스템을 사용하기 때문에 명세 프로세스의 기본적인 부분은 서브시스템 인터페이스를 정의하는 것 l 인터페이스 명세는 어떠한 서비스가 다른 서브시스템에서 이용할 수 있는 지와 어떻게 그것에 접근할 수 있는 지에 관한 정보를 서브시스템 개발자에게 제공함

11 © Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 11 서브시스템 인터페이스

12 © Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 12 Specification components l 서론 명세화될 개체의 종류 (Sort, 타입이름 ) 를 선언 다른 종류를 정의한 명세의 이름이 선언되는 ‘ 입력 (import)’ 선언을 포함함 l 서술 비정형적으로 연산을 기술 정형 명세를 이해하기 쉽게 해줌 l 시그니처 추상적 데이터 타입 혹은 객체 클래스에 대한 인터페이스 구문을 정의 l 공리 추상적 데이터 타입의 행위를 특징 짓는 공리의 집합을 정의하여 연산의 의미를 정의

13 © Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 13 List specification