• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.361-364
• /
• 2005

본 논문에서는 순서 통계량을 이용한 유한 고장 NHPP 모형들이 제안되었다. 이 모형들은 결함당 고장발생률이 단조 증가하거나 단조 감소하는 패턴을 가진다. 그리고 수명 분포에서는 기존의 모형들과 비교하고 kappa(2) 분포를 이용한 소프트웨어 신뢰성 모형을 제안하여 이 모형의 특성과 효율성에 대하여 제시하였다. 고장 간격 시간 자료를 이용한 무한고장 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 커버리지 모형의 비교를 위하여 산술적 및 라플라스 검정, 편의 검정 등을 이용하였다.

• 한국정보통신학회논문지
• /
• 제10권1호
• /
• pp.7-14
• /
• 2006

비동질적인 포아송 과정에 기초한 모형들에서 잔존 결함 1개 당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 본 논문에서는 잔존 결함 1개당 고장 발생률이 증가추세를 가진 어랑 분포를 이용한 어랑 모형을 제안하였다. 고장 간격시간으로 구성된 실측자료를 이용하여 기존의 모형과 어랑 모형의 모수 추정을 실시하였다. 어랑 모형의 형상모수를 선택하기 위하여 (누적)분포적합도 검정을 사용하였고 이 자료들에서 어랑 모형의 제안과 비교를 위하여 산술적 및 라플라스 검정, 적합도 검정, 편의 검정 등을 이용하였다.

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

소프트웨어 개발과정에서 소프트웨어 신뢰성은 매우 중요한 이슈이다. 소프트웨어 고장분석을 위한 무한고장 비동질적인 포아송과정에서 고장발생률이 상수이거나, 단조 증가 또는 단조 감소하는 패턴을 가질 수 있다. 본 연구에서는 소프트웨어 제품 테스팅 과정에서 고장 수명분포의 형상모수를 고려한 소프트웨어 신뢰성 비용 모형에 대하여 연구 하였다. 소프트웨어 신뢰성 분야에서 많이 사용되는 Lomax-NHPP 신뢰 성장 모형에 대한 비용 비교 문제를 제시하였다. 소프트웨어 고장모형은 무한고장 비동질적인 포아송과정을 이용하고 모수추정법은 최우추정법을 이용 하였다. 따라서 본 논문에서는 형상모수를 고려한 소프트웨어 비용모형 분석을 위하여 소프트웨어 고장시간 자료를 적용하여 비교 분석하였다. 대용량 소프트웨어가 수정과 변경하는 과정에서 결함의 발생을 거의 피할 수 없는 상황이 현실이다. 신뢰성 요구를 만족하고 총비용을 최소화하는 상황이 최적방출시간이다. 경우에 따라서는 왜도와 첨도 측면에서 효율적인 카파분포, 지수화지수분포 등 업데이트된 분포에 대한 방출 시기 문제를 비교 분석하는 연구도 가치 있는 일이라 판단된다. 이 연구를 통하여 소프트웨어 개발자들은 최적방출시간과 경제적 개발 비용을 파악 하는데 도움을 줄 수 있으리라 사료 된다.

• 한국정보처리학회논문지
• /
• 제1권1호
• /
• pp.14-22
• /
• 1994

본 논문은 스미스의 베이지안 소프트웨어 신뢰도 성장모형을 기반으로 테스팅 단계에서의 소프트웨어 신뢰도에 대한 두가지 베이즈 추정량에 그에 대한 평가 알고 리즘을 제안하는데 목적이 있다. 그 방법으로 사전정보 클래스로서 일양사전분포보다 더 일반적인 베타사전분포 BE(a.b)를 사용하였다. 그 연구 과정으로 베이지안 추정절 차에 있어서 제곱오차결손함수와 해리스결손함수를 고려하고, 컴퓨터 시뮬레이션을 통 해서 소프트웨어 신뢰도에 대한 베이즈추정량들과 그에 따른 알고리즘을 이용하여 평 균자승오차 성능을 비교한다. 연구 결과로써 a가 크면 클수록 그리고 b가 적으면 적을 수록 해리스결손함수하의 소프트웨어 신뢰도의 베이즈추정량이 평균자승오차 성능의 관점에서는 더욱 유효하고, a 가 b보다 더 클 때 공액사전분포인 베타사전분포상의 소 프트웨어 신뢰도의 베이즈추정량이 비정보사전분포인 일양사전분포상에서 소프트웨어 신뢰도의 베이즈추정량보다는 성능이 더 좋다는 결론을 얻는다.

• 융합보안논문지
• /
• 제12권3호
• /
• pp.115-121
• /
• 2012

소프트웨어 고장 시간은 테스팅 시간과 관계없이 일정하거나. 단조증가 혹은 단조 감소 추세를 가지고 있다. 이러한 소프트웨어 신뢰모형들을 분석하기 위한 자료척도로 자료에 대한 추세 검정이 개발되어 있다. 추세 분석에는 산술평균 검정과 라플라스 추세 검정 등이 있다. 추세분석들은 전체적인 자료의 개요의 정보만 제공한다. 본 논문에서는 고장시간을 측정하다가 시간 절단이 될 경우에 미래의 고장 시간 예측에 관하여 연구 하였다. 곡선회귀모형에 이용되는 S곡선모형과 성장모형, 로지스틱을 이용하여 미래고장 시간을 예측하여 비교 하였다. 제안된 예측방법에서는 고장시간 자료를 이용하여 모형들에 대한 예측 값을 결정계수 와 평균제곱오차를 이용하여 비교 하고 효율적 모형을 선택 하였다.

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

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

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

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

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

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 결함 1개당 고장 발생률 (강도함수)은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 Goel-Okumoto 모형 강도함수를 재조명하고 이 분야에 적용 될수 있는 보다 넓은 왜도와 첨도를 가지는 Burr모형 강도 함수 및 의료정보분야 및 여러 분야에서 널리 사용되는 2모수 카파(Kappa(2)) 분포 모형 강도함수를 제안하여 비교하고자 한다. 수치적인 예에서는 고장 간격시간으로 구성된 NTDS(Naval Tactical Data System)자료를 이용하였고 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하였다. 그리고 모형 설정과 선택 판단기준은 편차 자승합을 이용한 적합도 검정이 사용되었다.