객체 지향 요구 명세의 동적 행위 검증을 위한 방법 = An approach to verification of dynamic behavior in object-oriented requirements specification

요구 명세의 검증은 분석이 올바르게 수행되었다는 것을 보증해 주는 중요한 단계이다. 특히, 객체 지향 소프트웨어 개발 주기의 설계 단계 이전에 소프트웨어 시스템의 동적인 행위는 검증되어야 한다. 그래서, 본 논문에서는, 객체 지향 요구 명세에서의 동적 행위에 대한 검증 방법을 제안한다. 제안된 검증 방법의 첫 번째 절차에서는, 객체 지향 요구 명세를 구성하고 있는 객체와 동적 모델을 수정 객체 모델과 수정 동적 모델로 변환한다. 그리고 두 번째 절차에서는, 수정 객체와 동적 모델을 정형 요구명세로 변환한다. 세 번째로서, 정형 요구 명세는 소프트웨어 시스템의 정적인 구조와 전체 시스템에 대한 동적인 면을 포함하는 확장 정보 트리로 변환한다. 마지막으로, 객체 지향 요구 명세의 동적인 행위는 확장정보 트리를 사용하여 검증한다. 본 연구에서 제안된 확장 정보 트리는 그래픽 표기법으로서 객체 지향 요구 명세의 정적인 구조와 동적인 행위를 표현할 수 있다. 그 트리는 객체 지향 요구 명세로부터 체계적으로 구축될 수 있고 동적 행위의 검증에 사용되어진다.
Advisors
배두환researcherBae, Doo-Hwanresearcher
Publisher
한국과학기술원
Issue Date
1997
Identifier
114347/325007 / 000957076
Language
kor
Description

학위논문(석사) - 한국과학기술원 : 전산학과, 1997.2, [ iii, 51 p. ]

Keywords

요구 사항 공학; 객체 지향 분석; 검증; Verification; Requirements engineering; Object-oriented analysis

URI
http://hdl.handle.net/10203/34233
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=114347&flag=t
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.
  • Hit : 274
  • Download : 0
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0