객체 지향 요구 명세의 동적 행위 검증을 위한 방법

Abstract

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