객체 모형화 기법에서 사건행적과 상태도간에 일관성 점검을 통한 요구 사항 확인 = Requirement Validation by Checking Consistency between Event Trace and State Diagram in OMT(Object Modeling Technique)

국문 초록 (Abstract)

구현단계에서 발견된 많은 에러들이 요구사항의 명세에서 기인하고 에러 수정에 대한 비용도 막대하다. 따라서 개발단계 초기인 분석단계에서 사용자의 요구사항에 대한 확인(validation)이 필요하다. 본 논문에서는 상태도가 사용자의 요구사항을 충족하고 있는가를 확인하는 방법을 제안한다. 제안한 방법은 사용자의 요구사항을 나타낸 사건행적을 이용하여 상태도를 시뮬레이션 기법으로 실행시켜 확인하는 것이다. 확인 방법은 사건행적에 표현된 객체로부터 발생되는 사건과 객체로 수신되는 사건이 상태도에서 표현되어 있는가를 점검하는 것이다. 이를 위해서 확인 기반으로 사건행적과 상태도를 정형적으로 명세하는 방법을 제시했다. 그리고 이 방법으로 ATM(Automated Teller Machine) 예제의 분석 결과를 확인했다. 제안한 방법을 이용하면 보다 더 신뢰할 수 있는 상태도를 손쉽게 얻을 수 있을 것으로 기대된다.

목차 (Table of Contents)

• 요약
• 1. 서론
• 2. 모델의 정형적 명세 방법
• 3. 확인 방법
• 4. 사례 연구
• 5. 결론
• 6. 참고 문헌