The verification of requirements specification is an important step to ensure that the analysis is performed correctly. Especially, the dynamic behavior of the software system under development must be verified before the design phase. In this thesis, an approach to verifying the dynamic behavior in object oriented requirements specification is proposed.
In our approach, first, object and dynamic models are transformed into a formal specification via modified object and dynamic models, second, the formal specification is transformed into the extended information tree representation, which includes dynamic aspects of the overall system. Finally, the dynamic behavior is to verify against the model developed in the object oriented requirements specification using extended information tree.
The proposed extended information tree is a graphical representation that can represent the static structure and dynamic behavior in object oriented requirements specification. The tree can be systematically constructed from object oriented requirements specification and used to verify the dynamic behavior.
요구 명세의 검증은 분석이 올바르게 수행되었다는 것을 보증해 주는 중요한 단계이다. 특히, 객체 지향 소프트웨어 개발 주기의 설계 단계 이전에 소프트웨어 시스템의 동적인 행위는 검증되어야 한다. 그래서, 본 논문에서는, 객체 지향 요구 명세에서의 동적 행위에 대한 검증 방법을 제안한다.
제안된 검증 방법의 첫 번째 절차에서는, 객체 지향 요구 명세를 구성하고 있는 객체와 동적 모델을 수정 객체 모델과 수정 동적 모델로 변환한다. 그리고 두 번째 절차에서는, 수정 객체와 동적 모델을 정형 요구명세로 변환한다. 세 번째로서, 정형 요구 명세는 소프트웨어 시스템의 정적인 구조와 전체 시스템에 대한 동적인 면을 포함하는 확장 정보 트리로 변환한다. 마지막으로, 객체 지향 요구 명세의 동적인 행위는 확장정보 트리를 사용하여 검증한다.
본 연구에서 제안된 확장 정보 트리는 그래픽 표기법으로서 객체 지향 요구 명세의 정적인 구조와 동적인 행위를 표현할 수 있다. 그 트리는 객체 지향 요구 명세로부터 체계적으로 구축될 수 있고 동적 행위의 검증에 사용되어진다.
