• 한국신뢰성학회지:신뢰성응용연구
• /
• 제16권4호
• /
• pp.305-312
• /
• 2016

Purpose: The purpose of this study is to provide a sensitivity analysis of system reliability for recognizing effectiveness of changing of BD mode failures using reliability growth projection model based on NHPP. Methods: Crow extended reliability projection model (CERPM) is used to analyze the changing of two factors 1) the number of BD mode failures, 2) fix effectiveness factor (FEF) values. Results: The system reliability has increased in accordance with the number of BD mode failures and FEF values have increased. Conclusion: It is necessary to design failure modes and FEF values to supervise the reliability.

• 한국정보전자통신기술학회논문지
• /
• 제9권4호
• /
• pp.351-358
• /
• 2016

과학기술이 급속하게 발전함에 따라 더 강력한 소프트웨어 기능의 급속한 발전과 함께 소프트웨어의 복잡성이 크게 증가함으로써 소프트웨어 테스트 및 신뢰성 평가의 어려움이 증가하고 있다. 소프트웨어 고장분석을 위한 비동질적인 포아송 과정에서 결함당 고장발생률이 상수이거나, 단조 증가 또는, 단조 감소하는 패턴을 가질 수 있다. 본 논문에서는 결함의 기대값을 가정하는 유한고장 소프트웨어 NHPP 모형과 수리시점에서도 고장이 발생할 상황을 반영하는 무한고장 NHPP 모형들을 상호 비교 제시하였다. 소프트웨어 신뢰성 분야에서 많이 사용되는 어랑분포에 근거한 유한고장과 무한고장 소프트웨어 신뢰성 모형에 대한 신뢰도 성능을 비교 분석하였다. 그 결과 유한고장 모형이 무한고장 모형보다 효율적으로 좋게 나타났으며, 이 과정에서 모수추정법은 최우추정법을 이용하였다. 본 연구결과를 통하여 소프트웨어 개발자들에게 소프트웨어 고장현상을 파악하는데 도움을 줄 수 있을 것으로 판단된다.

• 산업융합연구
• /
• 제18권3호
• /
• pp.19-25
• /
• 2020

소프트웨어 개발과정에서 소프트웨어 신뢰도 평가는 매우 중요한 문제이다. 특히, 소프트웨어 개발자에게 높은 신뢰도을 만족시키는 최적의 개발모형을 찾아내는 일은 더욱 중요한 과제이다. 이를 위해, 본 연구에서는 파레토 및 어랑 수명분포을 유한고장 NHPP 모형에 적용하여, 신뢰도 속성을 평가하였다. 이를 위하여 모수추정은 최우추정법을 적용하였고, 비선형 방정식의 풀이는 이분법을 사용하였다. 그 결과, 강도함수와 평균값함수에서 Erlang 모형이 Pareto 모형보다 우수한 성능을 보였고, 평균제곱오차도 작아서 효율적인 모형임을 확인하였다. 또한, 미래의 임무시간을 투입하고 신뢰도를 평가한 결과, Erlang 모형이 Pareto모형과 함께 효율적으로 높게 나타났으나, 반면에 Goel-Okumoto 기본모형은 감소하는 추세를 보였다. 결론적으로, Erlang 모형이 제안된 모형중 가장 우수한 성능을 가진 모형임을 알 수 있었다. 본 연구를 통하여 소프트웨어 개발자들이 최적의 소프트웨어 신뢰성 모형을 탐색하고, 평가하는데 필요한 기본지침으로 활용할 수 있을 것으로 기대한다.

• Journal of Information Technology Applications and Management
• /
• 제25권4호
• /
• pp.115-122
• /
• 2018

Software reliability has the greatest impact on computer system reliability and software quality. For this software reliability analysis, In this study, we compare and analyze the trends of the properties affecting the reliability according to the shape parameters of Erlang distribution based on the finite fault NHPP. Software failure time data were used to analyze software failure phenomena, the maximum likelihood estimation method was used for parameter estimation. As a result, it can be seen that the intensity function is effective because it shows a tendency to decrease with time when the shape parameters a = 1 and a = 3. However, the pattern of the mean value function showed an underestimation pattern for the true values when the shape parameters a = 1 and a = 2, but it was found to be more efficient when a = 3 because the error width from the true value was small. Also, in the reliability evaluation of the future mission time, the stable and high trend was shown when the shape parameters a = 1 and a = 3, but on the contrary, when a = 2, the reliability decreased with the failure time. Through this study, the property of finite fault NHPP Erlang model according to the change of shape parameter without existing research case was newly analyzed, and new research information that software developers can use as basic guideline was presented.

• 정보처리학회논문지D
• /
• 제10D권5호
• /
• pp.805-812
• /
• 2003

본 논문에서는 비동질 포아송 과정(NHPP)에 기초한 소프트웨어 에러 현상에 대한 신뢰도 모형을 고려하고 사전정보(Prior information)를 이용한 베이지안 추론을 시행하였다. 고장 패턴은 NHPP에 대한 강도함수와 평균값 함수로서 나타낼 수 있다. 따라서 본 논문에서는 대수형 포아송 실행시간 모형(Logarithmic Poisson model), Crow 모형 그리고 Rayleigh 모형에 대하여 베이지안 모수 추정방법을 적용하였다. 효율적 모형을 위하여 이들 모형에 관한 모형선택을 편차자승합(SSE)의 합을 이용하여 시행하였고 모수의 추정을 위해서 마코브체인 몬테카를로(MCMC) 기법중에 하나인 깁스샘플링(Gibbs sampling)과 메트로폴리스 알고리즘을 이용한 근사추정 기법이 사용되었다. 수치적인 예에서는 Musa의 T1 자료를 이용하여 모수 및 신뢰도를 추정한 수치 결과론 나열하였다.

• 정보처리학회논문지D
• /
• 제8D권4호
• /
• pp.393-400
• /
• 2001

본 논문에서는 비동질 포아송 프로세스(NHPP)에 기초한 소프트웨어 에러 현상에 대한 확률 모형을 고려하였다. 고장 패턴은 NHPP에 대한 강도함수와 평균값 함수로서 나타낼 수 있다. 따라서 본 논문에서는 기존의 모형인 Goel 이 제시한 일반화모형[2]과 Yamada, Ohba-Osaki 모형[11]을 재조명하고 이러한 모형과 연관되고 신뢰도 분포로 많이 사용되는 와이블 분포의 특수형태인 레일리(Rayleigh)분포와 겜벨(Gumbel)분포[5]를 이용한 모형을 제시하고, 또 효율적 모형을 위한 모형선택으로서 편차자승합(SSE)을 이용하여 비교하였다. 모수의 추정을 위해서 최우추정법(MLE)과 일반적인 수치해석적 방법인 이분법을 이용하였다. 수치적인 예에서는 실측자료인 NTDS 자료[4]를 이용하여 모수 및 신뢰도를 추정하였고 편차자승합을 이용한 모형비교의 결과를 나열하였다.

• 디지털융복합연구
• /
• 제12권12호
• /
• pp.277-284
• /
• 2014

소프트웨어 고장분석을 위한 비동질적인 포아송과정에서 결함당 고장발생률이 상수이거나, 단조 증가 또는 단조 감소하는 패턴을 가질 수 있다. 본 논문에서는 결함의 기대값을 가정하는 유한고장소프트웨어 NHPP모형과 수리시점에서도 고장이 발생할 상황을 반영하는 무한고장 NHPP모형들을 비교 제시하였다. 소프트웨어 신뢰성분야에서 많이 인용되는 레일리분포를 이용한 유한고장과 무한고장 소프트웨어 신뢰성모형에 대한 비교문제를 탐색한 결과 무한고장모형이 유한고장모형보다 효율적으로 나타났다. 이러한 비교문제를 위하여 모수추정은 최우추정법을 이용하였다. 이 연구를 통하여 소프트웨어 개발자에게 소프트웨어 고장현상을 파악하는데 어느 정도 도움을 줄 수 있을 것으로 사료 된다.

• 한국정보전자통신기술학회논문지
• /
• 제8권5호
• /
• pp.339-344
• /
• 2015

소프트웨어 고장분석을 위한 비동질적인 포아송과정에서 결함당 고장발생률이 상수이거나, 단조 증가 또는 단조 감소하는 패턴을 가질 수 있다. 본 논문에서는 수리시점에서도 고장이 발생할 상황을 반영하는 무한고장 NHPP 모형들을 비교 제시하였다. 소프트웨어 신뢰성분야에서 많이 사용되는 와이블 확장분포에 근거한 무한고장 소프트웨어 신뢰성모형에 대한 비교문제를 제시하였다. 그 결과 형상모수가 비교적 큰 경우가 효율적으로 나타났다. 그리고 모수추정법은 최우추정법을 이용하였고 모형선택은 평균제곱오차와 결정계수를 이용하였다. 이 연구를 통하여 소프트웨어 개발자들은 형상모수에 따른 소프트웨어 고장현상을 파악하는데 어느 정도 도움을 줄 수 있을 것으로 사료된다.

• 융합보안논문지
• /
• 제13권1호
• /
• pp.71-78
• /
• 2013

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 하는 과정에서 소프트웨어 관리자들이 소프트웨어 및 검사 도구에 효율적인 학습기법을 이용한 NHPP 소프트웨어 모형에 대하여 연구 하였다. 적용모형은 와이블 분포를 확장한 이중 결합 파우어 분포모형을 적용한 유한고장 NHPP에 기초하였다. 소프트웨어 오류 탐색 기법은 사전에 알지 못하지만 자동적으로 발견되는 에러를 고려한 영향요인과 사전 경험에 의하여 세밀하게 에러를 발견하기 위하여 테스팅 관리자가 설정해놓은 요인인 학습효과의 특성에 대한 문제를 비교 제시 하였다. 그 결과 학습요인이 자동 에러 탐색요인 보다 큰 경우가 대체적으로 효율적인 모형임을 확인 할 수 있었다. 본 논문의 수치적인 예에서는 고장 간격 시간 자료를 적용하고 모수추정 방법은 최우추정법을 이용하고 추세분석을 통하여 자료의 효율성을 입증한 후 평균제곱오차와 $R^2$(결정계수)를 이용하여 효율적인 모형을 선택 비교하였다.

• 융합보안논문지
• /
• 제11권1호
• /
• pp.25-32
• /
• 2011

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 하는 과정에서 소프트웨어 관리자들이 소프트웨어 및 검사 도구에 효율적인 학습기법을 이용한 NHPP 소프트웨어 모형에 대하여 연구 하였다. 적용분포는 와이블 분포를 적용한 유한고장 NHPP에 기초하였다. 소프트웨어 오류 탐색 기법은 사전에 알지 못하지만 자동적으로 발견되는 에러를 고려한 영향요인과 사전 경험에 의하여 세밀하게 에러를 발견하기 위하여 테스팅 관리자가 설정해놓은 요인인 학습효과의 특성에 대한 문제를 비교 제시 하였다. 그 결과 학습요인이 자동 에러 탐색요인보다 큰 경우가 대체적으로 효율적인 모형임을 확인 할 수 있었다. 본 논문의 수치적인 예에서는 고장 간격 시간 자료를 적용하고 모수추정 방법은 최우추정법을 이용하고 추세분석을 통하여 자료의 효율성을 입증한 후 평균자승오차와 $R_{sq}$(결정계수)를 이용하여 효율적인 모형을 선택 비교하였다.