소프트웨어 개발방법에서 객체지향 분석방법은 많이 있고 계속적으로 새로운 기법이 소개되고 있다. 그러나 기존의 객체지향 분석방법에서는 정확한 객체의 식별과 확인이 어렵고 소프트웨어의 문제를 데이터에 근거해서 초기에 분해하기 때문에 상위 레벨의 제어 측면을 소홀히 하는 경향이 있다. 그 결과 사용자가 요구하는 소프트웨어에 대한 부정확한 이해와 분석오류를 낳는다. 따라서 본 논문에서는 이러한 문제점에 인식을 갖고 소프트웨어의 분석 단계에서 사용자의 요구가 충분히 반영될 수 있도록 객체모델의 메서드와 STD의 트랜지션 사이에 상호참조를 통해 완전성과 일관성을 검증할 수 있는 TOVERC를 설계하였다.
Among the method of developing software there are many object-oriented analysis(OOA) techniques, and the new ones are being introduced continuously. The present OOA techniques, however, have difficulty in the identification and the verification of the objects and tend to ignore high-level control aspects of the problem due to the initial partitioning of them on the basis of the data. As a result, it brings inaccurate understanding and faults in the software which is required by users. Therefore the purpose of this paper is to design the TOVERC to verify completeness and consistency through cross-reference between the state transition diagram and the methods of object model in order to reflect the requirements of users in the analysis of software considering this problem.
