[논문 리뷰] The Importance Analysis of Use Case Map with Markov Chains

Yaping Feng, Lee Sub Lee|arXiv (Cornell University)|2010. 02. 08.

Software Reliability and Analysis Research참고 문헌 8인용 수 3

한 줄 요약

이 논문은 대규모 소프트웨어에서 높은 영향을 미치는 사용 시나리오와 핵심 시스템 구성 요소를 식별하기 위해 Use Case Maps(UCMs)를 기반으로 한 마르코프 체인 기반 중요도 분석 방법을 제안한다. UCM을 마르코프 체인으로 모델링함으로써, 비용 효율적이고 대상에 맞춘 테스트 및 설계 최적화가 가능해져, 포괄적인 테스트를 통한 품질 보증 비용을 크게 줄이고, 빈번히 사용되거나 핵심적인 요소들을 우선순위에 따라 정렬함으로써 신뢰성을 향상시킨다.

ABSTRACT

UCMs (Use Case Maps) model describes functional requirements and high-level designs with causal paths superimposed on a structure of components. It could provide useful resources for software acceptance testing. However until now statistical testing technologies for large scale software is not considered yet in UCMs model. Thus if one applies UCMs model to a large scale software using traditional coverage based exhaustive tasting, then it requires too much costs for the quality assurance. Therefore this paper proposes an importance analysis of UCMs model with Markov chains. With this approach not only highly frequently used usage scenarios but also important objects such as components, responsibilities, stubs and plugins can also be identified from UCMs specifications. Therefore careful analysis, design, implementation and efficient testing could be possible with the importance of scenarios and objects during the full software life cycle. Consequently product reliability can be obtained with low costs. This paper includes an importance analysis method that identifies important scenarios and objects and a case study to illustrate the applicability of the proposed approach.

연구 동기 및 목표

• 기존의 커버리지 기반 방법으로는 높은 비용이 발생하는 대규모 소프트웨어 시스템에서의 포괄적 테스트 문제를 해결하기 위해.
• 사용 시나리오의 빈도와 중요도를 고려하여 Use Case Maps(UCMs) 내에서 자주 사용되거나 핵심적인 구성 요소(예: 책임, 스텁, 플러그인 등)를 식별하여 효율적인 테스트 및 설계를 위해.
• 소프트웨어 생명주기 전반에 걸쳐 높은 영향을 미치는 시나리오와 객체들을 우선순위에 따라 정렬함으로써 소프트웨어 품질 보증 비용을 절감하기 위해.
• 포괄적인 테스트 케이스 생성이 필요 없이 UCM 모델에 적용 가능한 확장성 있고 통계적인 테스트 접근법을 제공하기 위해.

제안 방법

• 시스템 상태 및 구성 요소 간 전이를 나타내기 위해 UCM을 연속시간 마르코프 체인으로 모델링한다.
• UCM 명세서 내의 사용 빈도 및 인과적 의존성에 기반해 전이 확률을 할당한다.
• 정적 분포를 계산하여 UCM 내 각 상태 및 구성 요소의 장기적 중요도를 결정한다.
• 정적 분포 값에 따라 시나리오 및 구성 요소를 순위 매겨 높은 영향을 미치는 요소를 식별한다.
• 중요도 점수를 테스트 및 설계 단계에 통합하여 자원 배분을 안내한다.
• 실제 소프트웨어 시스템에 대한 사례 연구를 통해 방법의 실용성을 검증한다.

실험 결과

연구 질문

• RQ1 마르코프 체인이 Use Case Maps의 사용 시나리오 중요도 분석에 효과적으로 적용될 수 있는 방법은 무엇인가요?
• RQ2 UCM 내에서 시스템 신뢰성과 테스트에 가장 중요한 구성 요소(예: 책임, 스텁, 플러그인 등)는 무엇인가요?
• RQ3 마르코프 기반 중요도 분석은 대규모 시스템에서 소프트웨어 품질 보증 비용을 줄일 수 있나요?
• RQ4 기존의 포괄적 테스트 방법과 비교해 본다면, 제안된 방법은 커버리지와 효율성 측면에서 어떻게 다를까요?

주요 결과

• 마르코프 체인 모델은 중요도 점수를 정량적으로 도출함으로써 UCM 내에서 높은 빈도로 사용되는 시나리오와 핵심 구성 요소를 성공적으로 식별한다.
• 마르코프 모델에서 높은 정적 확률을 가지는 구성 요소는 더 자주 액세스되며, 따라서 시스템 신뢰성에 더 중요한 역할을 한다.
• 이 방법은 높은 중요도를 가진 시나리오에 대해 대상 테스트를 수행함으로써, 커버리지 손실 없이도 필요한 테스트 케이스 수를 줄일 수 있다.
• 사례 연구를 통해 이 방법이 실생활 소프트웨어 시스템에 실용적이고 적용 가능하며, 효율적인 설계 및 테스트를 지원함을 입증하였다.