[정보처리기사] Part01-01-3. 분석모델 확인 (2)

* 분석 자동화 도구

    1. 유즈케이스 모델 검증

        ▶ 유즈케이스 모델 검증

            ▷ 액터

                - 기능 구현에 관계되는 액터가 모두 도출되었는가?

                - 액터 목록에서 액터 명이 역할 중심으로 명명되었는가?

                - 요구사항 정의서, 요구사항 기술서에 외부/내부 액터가 모두 도출되었는가?

                - 액터 목록과 액터 명세서에 기록된 액터가 타당한지 확인함

            ▷ 유즈케이스

                - 요구기능 구현에 필요한 유즈케이스가 모두 도출 되었는가?

                - 도출된 유즈케이스를 논리적으로 연결하여 누락된 기능 파악

                - 도출된 유즈케이스가 유즈케이스 목록과 유즈케이스 명세서에 반영 되었는가?

                - 도출된 유즈케이스 논리적인 합이 과업 범위와 일치하는지 비교

                - 도출된 유즈케이스들이 논리적으로 그룹화 되었는지 확인

                - 유즈케이스 기능 범위가 다른 유즈케이스 기능 범위와 중복되는지 확인

            ▷ 유즈케이스 명세서

                - 유즈케이스 명세서 형식에 중요 항목이 누락되지 않았는가?

                - 유즈케이스 주요 이벤트 흐름이 모두 도출되고 논리적으로 타당한가?

                - 유즈케이스 구현 위해 필요한 입출력 항목이 모두 도출 되었는가?

 

    2. 개념 수준 분석 클래스 검증

        - 시스템 주요 도메인 개념을 분석 클래스로 도출하여 유즈케이스 분석에 활용하므로, 개념 수준 주요 분석 클래스를 적절히 도출 하였는지, 관련 정보가 명확한지 점검해야 함

 

        ▶ 주요 점검 항목

            - 개별 유즈케이스 단위로 작성하지 않고 시스템 전체 대상으로 작성하였는가?

            - 중요도 높은 요구사항 또는 유즈케이스에 필요한 엔티티 클래스가 도출되었는가?

            - 도출된 클래스 이름과 설명이 이해관계자 간 이견이 발생하지 않도록 명확한가?

            - 클래스 속성은 도출하였는가? 도출된 속성 이름과 설명이 명확한가?

            - 클래스들 간 순환적 관계가 불필요하게 정의되어 있는가?

            - 클래스 간 관계에서 다중성 정의되었는가?

 

    3. 분석 클래스 검증

        - 유즈케이스마다 분석 클래스 적절히 도출되었고, 제어 클래스 도출 등이 충분하고 상세하게 도출되어 클래스 역할, 클래스 간 관계, 메시지 흐름 등 확인할 수 있는지 검토

 

        ㄱ. 유즈케이스 실현에 필요한 분석 클래스 도출 확인

            a. 스테레오타입 사용

                - UML 모델링 요소들을 모델러 기준에 따라 새로운 분류 적용할 수 있도록 허용하는 메커니즘

                - 각 모델 요소의 "≪" "≫" 길러멧(guillemot) 사이에 이름 부여

 

                ▶ 분석 클래스 스테레오 타입

역할 구분	스테레오 타입		내용
포함	≪include≫		유즈 케이스 실행 위해 반드시 포함해서 실행되어야 하는 유즈케이스 표현
확장	≪extend≫		기본 유즈케이스 수행 시 특정 조건 만족할 때 수행하는 유즈케이스 표현
경계 Boundary	≪boundary≫		시스템과 외부 엑터와의 상호작용 담당하는 클래스
엔티티 Entity	≪entity≫		시스템이 유지해야 하는 정보 관리하는 기능 전담하는 클래스
제어 Control	≪control≫		시스템이 제공하는 기능 로직 및 제어 담당하는 클래스

 

        ㄴ. 경계와 제어 클래스 도출 여부 및 상세화 정도 확인

            ▶ 경계와 제어 클래스 도출 여부 및 상세화 정도 확인

                ▷ 경계

                    - 유즈케이스와 연결된 액터가 있고 액터 유형이 시스템 또는 장비인 경우, 해당 액터 위한 경계 클래스가 도출되었는지 확인하고 유즈케이스 이벤트 흐름 참조하여 관련 기능 처리하기 위한 연산 도출되었는지 확인함

                    - 유즈케이스 명세서 이벤트 흐름 확인하여, 유즈케이스에서 필요한 UI를 위한 경계 클래스가 도출되었는지 확인함

                    - UI 위한 경계 클래스인 경우, 사용자에게 제공할 항목이 속성으로 도출되었는지 확인하고 보고서 상 데이터 타입과 길이가 경계 클래스 속성 정의와 일치하는지 확인함

                ▷ 제어

                    - 유즈케이스 별로 제어 클래스가 1개 이상 도출되었는지 확인함

                    - 제어클래스 연산에 대응하는 엔티티 클래스가 있는지 확인함

                    - 유즈케이스 명세서 기술된 이벤트 흐름 처리 위한 연산이 제어클래스에 정이되어있는지 확인함

 

        ㄷ. 클래스 간 관계, 클래스 정보 상세화 정도 확인

            ▶ 분석 클래스 간 관계 및 상세화 정도 확인

                ▷ 관계

                    - 유즈케이스 명세서 바탕으로 각 클래스 사이 관계 정의하였는지 확인함

                    - 관계 다중성 정확하고 모순 없는지 확인함

                    - 2개 클래스 간에 1개 이상 관계 존재하면, 관계명 또는 역할명이 정의되었는지 확인함

                ▷ 연산 및 속성 상세화

                    - 유즈케이스 명세서 바탕으로 클래스 속성 및 연산 도출되었는지 확인함

                    - 도출된 연산 매개 변수(명, 타입, 길이)와 리턴 타입 정의되었는지 확인함

                    - 도출된 클래스 속성(명, 타입, 길이)이 이해관계자 간에 이견 없도록 명확하게 정의되었는지 확인함

                    - 경계 클래스 속성과 화면/보고서 항목, 엔티티 클래스 속성 정보가 일관성 가지는지 확인함