신뢰도 패트리 네트를 이용한 객체 지향 설계 명세서의 신뢰성 분석 기법 = A Reliability Analysis Technique for Object-Oriented Design Specification using a Reliability Petri Net

국문 초록 (Abstract)

본 연구에서는 CRC(Class/Responsibilities/Collaborations) 개발 방법론으로 만든 설계 사양서의 신뢰성 분석 방법을 제안한다. 시스템 신뢰성 분석 방법은 신뢰도 패트리 네트를 이용하여 시스템의 신뢰성에 가장 영향을 미치는 요소를 예측하는 것이다. 시스템 신뢰성 분석 절차 다음과 같다. 먼저, CRC 개발 방법론의 설계 사양서인 협력 그래프와 메세지 흐름도를 시스템의 신뢰도 패트리 네트로 변환한다. 신뢰도 패트리 네트를 이용하여 도달성 트리로 만들고, 이 도달성 트리에 의해서 트랜지션들의 실행 경로들을 만든다. 이 실행 경로들이 테스트 데이타가 된다. 신뢰도 패트리 네트의 각 트랜지션마다 신뢰도에 영향을 미치는 신뢰도 영향도를 계산한다. 신뢰도에 영향을 가장 많이 미치는 트랜지션을 찾아내고, 이 트랜지션들에 관련 있는 클래스와 메세지들을 찾는다. 이 클래스와 서비스가 시스템을 설계할 때에 신뢰성에 가장 영향을 많이 미친다. 제안한 신뢰성 분석 방법은 시스템의 신뢰성에 가장 영향을 많이 미치는 클래스와 메세지를 찾을 수 있기 때문에 신뢰성 있는 시스템을 설계하는 데 도움을 준다.

다국어 초록 (Multilingual Abstract)

We propose a reliability analysis technique for the design specification which is made by the CRC(Class/Responsibilities/Collaborations) methodology. The method of analyzing the system reliability predicts the elements that have most effect on the reliability of the system to use the reliability petri net. The procedure of analyzing the system reliability is as follows. At first, the collaboration graphs and message flow diagrams are transformed into the equivalent reliability petri nets. At second, we construct tree using a reliability petri net, and establish the paths for all transitions by this tree. These paths are test data. At last, we calculate the values of reliability effect for all transitions of reliability petri net, select the transitions that have most effect on the reliability, and search the messages and classes related with these transitions. The proposed reliability analysis technique gives a help of designing a reliable system, because we can search the messages and classes which have most effect on the system reliability.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 관련 연구
• 3. 시스템 설계 사양서의 정형화
• 4. 신뢰도 패트리 네트
• 5. 시스템 분석
• 6. 결론
• 참고문헌
• 저자소개