• 융합보안논문지
• /
• 제7권1호
• /
• pp.45-53
• /
• 2007

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 결함 1개당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 Goel-Okumoto 모형과 Yamada-Ohba-Osaki 모형을 재조명하고 이 분야에 적용될 수 있는 hyper-exponential 분포를 이용한 모형을 제안하였다. 수치적인 예에서는 Minitab(version 14) 통계 페키지에 있는 와이블분포(형상모수가 0.5이고 척도모수가 1)에서 발생시킨 30개의 난수를 이용한 모의 실험 고장 간격시간으로 구성된 자료를 이용하였고 모수추정 방법은 최우추정법 과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하였다. 그리고 모형 설정과 선택 판단기준은 편차 자승합을 이용한 적합도 검정이 사용되었다.

• Journal of the Korean Data and Information Science Society
• /
• 제24권4호
• /
• pp.755-762
• /
• 2013

본 논문은 NHPP 소프트웨어 신뢰성모형에서 모수추정과 고장시간에 대한 예측을 다루고자 한다. 소프트웨어 신뢰성모형 Goel-Okumoto모형에서 평균값 함수에 대한 최우추정과 경험적 사전분포를 가정한 공액사전분포에서 베이지안 추정을 다루었다. 실제 자료에서 두 가지 추정법에 의한 모수 추정값을 제공하였으며, 모형의 적합성을 판정하고, 고장수에 대한 예측값을 비교하였다.

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

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

• 한국컴퓨터정보학회논문지
• /
• 제15권5호
• /
• pp.125-132
• /
• 2010

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 거친 후 사용자에게 인도하는 시기를 결정하는 방출문제에 대하여 연구 하였다. 방출문제의 분포는 소프트웨어의 결함을 제거하거나 수정 작업 중에도 새로운 결함이 발생될 가능성이 있는 무한고장수를 가진 비동질적인 포아송 과정에 기초하였다. 수명분포는 지수 족 분포와 비지수족 분포를 이용한 최적 방출시기에 관한 문제를 비교 제시하였다. 이러한 지수 및 비지수분포에 근거하여 소프트웨어 요구 신뢰도를 만족시키고 소프트웨어 개발 및 유지 총비용을 최소화 시키는 최적 소프트웨어 방출 정책에 대하여 논의 되었다. 본 논문의 수치적인 예에서는 고장 간격 시간 자료를 적용하고 모수추정 방법은 최우추정법을 이용하고 추세분석을 통하여 자료의 효율성을 입증한 후 최적 방출시기를 추정하였다.

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

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

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

소프트웨어 디버깅과정에서 오류의 발생 시간에 기초한 많은 소프트웨어 신뢰성 모형이 이미 연구되었다. 유한고장모형과 비동질적인 포아송과정을 이용하면 소프트웨어의 신뢰성 모형에 대한 모수 추정을 가능하게 한다. 소프트웨어를 사용자에게 인도하는 경우 인도시기를 결정할 때 조건부 고장률은 중요한 변수가 된다. 이러한 유한 고장 모형은 실제 다양한 상황에서 사용될 수 있다. 특성화 문제, 이상치의 검출, 선형 추정, 시스템 신뢰성 연구, 수명 시험, 생존 분석, 데이터 압축 및 많은 다른 분야의 연구에서 이들의 사용은 많은 연구에서 볼 수 있다. 통계 공정 관리(SPC)는 소프트웨어 오류의 예측을 모니터링 함으로써 소프트웨어의 신뢰성의 향상에 크게 기여할 수 있다. 관리도는 널리 소프트웨어 업계에서 소프트웨어 품질관리에 사용된다. 본 논문에서는 NHPP와 다항 위험 함수의 평균값을 기초한 관리 메카니즘을 제시하였다.

• 한국컴퓨터정보학회논문지
• /
• 제12권4호
• /
• pp.33-42
• /
• 2007

소프트웨어 제품의 정확한 인도시기를 예측하거나 효용성 및 신뢰성을 예측하기 위해서는 소프트웨어 테스팅 과정에서 중요한 요소인 테스트 커버리지를 이용하면 보다 효율적인 테스팅 작업을 할 수 있다. 이런 모형을 ENHPP모형이라고 한다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 지수 커버리지 모형과 S-커버리지 모형을 재조명하고 이 분야에 적용될 수 있는 Burr 분포에 기초한 Burr 커버리지 모형을 제안하였다. 고장 간격 시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법 과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합(SSE) 및 콜모고로프 거리를 적용하여 모형들에 대한 효율적인 모형선택도 시도하였다. NTDS 자료를 사용한 임무시간 비교 분석한 결과 Burr 커버리지 모형 시행이 지수나 S-형 모형보다 우수함을 보이고 있다. 이 자료들에서 기존의 모형과 Burr 커버리지 모형의 비교를 위하여 산술적 및 라플라스 검정, 편의 검정등을 이용하였다.

• 한국정보통신학회논문지
• /
• 제11권12호
• /
• pp.2311-2318
• /
• 2007

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 오류 1개당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 소프트웨어 제품의 정확한 인도시기를 예측하거나 효용성 및 신뢰성을 예측하기 위해서는 소프트웨어 테스팅 과정에서 중요한 요소인 테스트 커버리지를 이용하면 보다 효율적인 테스팅 작업을 할 수 있다. 이런 모형을 ENHPP모형이라고 한다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 지수 커버리지 모형과 S-커버리지 모형을 재조명하고 이 분야에 적용될 수 있는 Kappa 분포를 이용한 모형인 Kappa 커버리지 모형을 제안하였다. 고장 간격시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합(SSE) 및 콜모고로프 거리를 적용하여 모형들에 대한 효율적인 모형 선택도 시도 하였다. 수치적인 예에서는 실제 고장자료를 통하여 분석하였다 이 자료들에서 기존의 모형과 Kappa 커버리지 모형의 비교를 위하여 산술적 및 라플라스 검정, 편의 검정 등을 이용하였다.

• 한국정보전자통신기술학회논문지
• /
• 제11권4호
• /
• pp.325-330
• /
• 2018

본 논문은 베타분포의 특수형태인 미니맥스(Minimax distribution)를 수명분포를 따르고 유한고장수를 가진 비동질적인 포아송 과정에 기초한 소프트웨어의 신뢰성 모형에 대한 형상모수의 특성과 유용성에 대하여 비교 논의 되었다. 그 결과 평균제곱오차는 미니맥스 수명분포의 형상모수가 1인 경우가 1보다 작은 경우와 큰 경우에 비해 상대적으로 가장 작고 또한 형상모수가 1인 경우가 결정계수도 높은 성향으로 나타나기 때문에 형상모수가 1인 경우가 효율적 모형으로 판단된다. 본 연구에서 평균제곱오차는 미니맥스 수명분포의 형상모수를 적용할 경우에 소프트웨어 신뢰성에 대한 고장유형을 인지하기 위하여 평균제곱오차와 결정계수, 신뢰구간을 사용하면 소프트웨어 고장 특성을 파악하는데 기본지침으로 사용 할 수 있으리라 사료된다. 제안된 모형의 결정계수 값이 95%이상 추정되어 비교적 소프트웨어 신뢰성 분야에서 유용성이 있는 모형임을 확인 할 수 있었다. 이 연구를 통하여 소프트웨어 설계 및 사용자들은 수명분포의 특징을 반영한 형상모수를 적용할 경우에 소프트웨어 신뢰성에 대한 고장유형을 인지하기 위하여 평균제곱오차와 결정계수, 신뢰구간을 사용하면 소프트웨어 고장특성을 파악하는데 기본지침으로 사용 할 수 있으리라 사료된다.

• 융합정보논문지
• /
• 제9권8호
• /
• pp.20-26
• /
• 2019

본 연구에서는 무한고장 NHPP 로맥스 수명분포의 형상모수 변화에 따른 소프트웨어 신뢰성 모형의 속성을 새롭게 분석한 후 최적의 형상모수 조건을 제시하였다. 소프트웨어 고장현상을 분석하기 위하여 모수추정은 최우추정법을 사용하였고, 비선형 방정식의 계산은 이분법을 적용하였다. 그 결과, 형상모수(k)의 변화에 따른 속성을 비교하였을 때 형상모수가 작을 수록 참값에 대한 예측능력이 우수하고, 신뢰 속성이 효율적임을 알 수 있었다. 본 연구를 통하여, 소프트웨어 개발자들은 형상모수에 근거한 소프트웨어 고장형태를 사전에 파악함으로서 신뢰도를 성장시킬 수 가 있으며, 또한, 소프트웨어의 신뢰속성을 향상시키는데 필요한 기본정보로 활용할 수 있을 것으로 기대한다.