임베디드 소프트웨어 개발을 위한 그레이박스 기반의 요구사항 명세화 기법
Gray-box based Requirements Specification Method for Embedded Software Development
- 발행기관 서강대학교 일반대학원
- 지도교수 박수용
- 발행년도 2011
- 학위수여년월 2011. 2
- 학위명 석사
- 학과 및 전공 일반대학원 컴퓨터공학과
- 실제URI http://www.dcollection.net/handler/sogang/000000046655
- 저작권 서강대학교의 논문은 저작권 보호를 받습니다.
초록/요약
블랙박스 기반의 소프트웨어 개발 명세서는 시스템의 외부 상호작용 정보를 명세한다. 이러한 개발 명세서는 개발하고자 하는 임베디드 시스템을 분석, 설계 및 구현을 위한 필수 정보를 제공하기에는 부족한 면이 있어 왔다. 블랙박스 기반의 개발 명세서는 임베디드 시스템을 구성하는 컴포넌트들 사이의 상호작용과 협업을 명세하는데 한계가 있기 때문이다. 기존 연구에서는 블랙박스 기반의 명세서를 보완하기 위한 분석모델로 주로 스테이트 머신 다이어그램을 사용하고 있다. 임베디드 시스템의 설계에 있어서 스테이트 머신 다이어그램이 가장 핵심적인 설계 산출물 중 하나라는 데 이견은 없으나, 각각의 상태를 어느 정도 레벨까지 상세화하여야 충분한지 혹은 작성된 다이어그램상의 상태를 어떻게 구현하는지에 대해서 명확한 가이드라인이 없는 것이 현실이다. 본 논문에서는 임베디드 소프트웨어 개발을 위한 그레이박스 기반의 요구사항 명세화 기법을 제안한다. 그레이박스 기반의 소프트웨어 개발 명세서는 임베디드 소프트웨어 개발자들에게 개발명세서로서의 역할을 하는 명세서 생성을 위해 필요한 분석 모델(스테이트 머신 다이어그램, 시쿼스 다이어그램과 같은)의 적절한 상세화 정도를 제공한다. 또한 자동 생성 지원도구인 DSG 를 통하여 작성된 분석 모델을 기반으로 임베디드 소프트웨어 개발을 위한 그레이박스 기반의 명세서를 자동으로 생성하고자 한다. 본 논문에서 제안하는 임베디드 소프트웨어 개발을 위한 그레이박스 기반의 요구사항 명세화 기법의 실효성을 검증하기 위해 보안 로봇 시스템인 RPS 를 개발하는 실험을 수행하였다.
more초록/요약
The software development specifications from the black-box perspective represent the external interaction information of the system. However, it is not enough to specify necessary information for software analysis, design and development in the embedded system. Because black-box based development specifications are limits to specifying internal interactions and collaborations between components of an embedded system. In the existing research state machine diagrams are mainly used to complement these specifications. Although the state machine diagram is recognized as the most important analysis model for analysis of the embedded system, most of the existing research has not suggested a guideline for appropriate detailing level of each state and transition methodology from the states to the implemented specifications. In this thesis, we propose a gray-box based requirements specification method for embedded software development. The software development specifications from the gray-box perspective works as a development guideline for embedded software developers and specifies the internal interaction information of the system that cannot be represented by the black-box based specification. And it gives a proper detailing guideline for the construction of an analysis model (such as state machine diagram and sequence diagram) which is a source of the requirements specifications. Furthermore, we automatically generate gray-box based specifications from these analysis models by the Development Specification Generator (DSG) tool. We have also shown the validation of the proposed method by adopting it into the development of the Robot Patrol System (RPS).
more