• Nuclear Engineering and Technology
• /
• 제46권1호
• /
• pp.55-62
• /
• 2014

A method for estimating software reliability for nuclear safety software is proposed in this paper. This method is based on the software reliability growth model (SRGM), where the behavior of software failure is assumed to follow a non-homogeneous Poisson process. Two types of modeling schemes based on a particular underlying method are proposed in order to more precisely estimate and predict the number of software defects based on very rare software failure data. The Bayesian statistical inference is employed to estimate the model parameters by incorporating software test cases as a covariate into the model. It was identified that these models are capable of reasonably estimating the remaining number of software defects which directly affects the reactor trip functions. The software reliability might be estimated from these modeling equations, and one approach of obtaining software reliability value is proposed in this paper.

• International Journal of Reliability and Applications
• /
• 제12권1호
• /
• pp.49-60
• /
• 2011

The geometric process (GP) has been widely used for modeling failure and repair time sequences of repairable systems. The GP is mathematically tractable but restrictive in reliability applications since it actually assumes that the mean function of inter-failure times sequence asymptotically decreases to zero; and the mean function of successive repair times sequence asymptotically increases to infinity. This is generally unrealistic from an engineering perspective. This paper presents three extended GP models for modeling reliability deterioration and improvement (or growth) process. The extensions maintain the advantage of mathematical tractability of GP model. Their usefulness and appropriateness are illustrated with three real-world examples.

• 정보처리학회논문지D
• /
• 제9D권3호
• /
• pp.389-398
• /
• 2002

본 논문에서는 비동질 포아송 과정에 기초한 소프트웨어 오류 현상에 대한 신뢰도 모형을 고려하고 사전정보를 이용한 베이지안 추론을 시행하였다. 고장 패턴은 NHPP에 대한 강도함수와 평균값 함수로서 나타낼 수 있다. 따라서 본 논문에서는 기존의 모형인 Goel이 제시한 모형과 신뢰성 분포로 많이 사용되는 와이블 분포의 특수형태인 레일리분포와 라플라스 분포를 이용한 모형을 제시하여 베이지안 추론을 시행하고 또, 효율적 모형을 위한 모형선택으로서 편차자승합을 이용하여 비교하였다. 모수의 추정을 위해서 마코브체인 몬테카를로 기법중에 하나인 깁스샘플링을 이용한 근사추정 기법이 사용되었다. 수치적인 예에서는 실측자료인 NTDS 자료를 이용하여 모수 및 신뢰도를 추정하였고 편차자승합을 이용한 모형비교의 결과를 나열하였다.

• 한국통신학회논문지
• /
• 제29권6A호
• /
• pp.589-599
• /
• 2004

소프트웨어의 신뢰성을 정량적으로 평가하는 데 있어서 대다수의 모델이 발생된 소프트웨어 고장의 발생원인에 대한 완전한 수정을 요구하는 완전 디버깅 환경을 가정하고 있다. 그러나 실제 개발자가 디버깅 작업을 수행할 때 완전한 수정이 불가능하기 때문에. 새로운 결함이 삽입되는 경우가 많다. 즉, 결함 수정은 불완전 환경에 처한다. 본 논문에서는 결함 수정시 신규 결함의 삽입 가능성을 고려하고 불완전 디버깅 환경에 대한 소프트웨어 신뢰도 성장모델을 제안하고 소프트웨어 동작 환경 하에서 발생된 소프트웨어 고장과 시험 전 소프트웨어 내의 고유 결함에 의한 고장과 동작 중에 랜덤하게 삽입된 결함에 의해 발생되는 고장 등 2종류의 결함을 고려하여 비동차포아송과정(NHPP)에 의한 소프트웨어 고장발생 현상을 기술한다. 또 소프트웨어 신뢰성 평가에 유용한 정량적인 척도를 도출하고 실측 데이터를 이용하여 적용한 결과를 제시하고 기존 모델과의 적합성을 비교, 분석한다.

• 한국정보처리학회논문지
• /
• 제4권2호
• /
• pp.395-400
• /
• 1997

소프트웨어 신뢰도는 소프트웨어의 중요한 품질 특성 중의 하나이며, 소프트웨어 신뢰도 성장 모형은 테스트 단계동안 신뢰도를 평가하고 신뢰도가 성장하는 양상을 파악 할 수 있는 도구이다. 그러므로 테스트 단계동안 수집된 고장 자료는 적절한 소프트웨어 신뢰도 모형에 의거해 계속적으로 분석된다. 비등질 포아송 과정 모형이 적절한 소프트웨어 신뢰도 성장 모형인 경우 고장 수 자료를 분석하기 위해서 포아송 희귀 모형을 세우고 모수들은 가장 최소 자승법으로 추정하는 것이 가능하며, 이렇게 구한 가장 최소 자승 추정량은 최우 추정량과 동일한 성질을 가짐을 보일 수 있다. 이 분석 방법을 대형 시스템으로부터 수집된 실제 자료를 분석하는데 적용한다.

• 융합보안논문지
• /
• 제6권3호
• /
• pp.117-126
• /
• 2006

본 논문은 소프트웨어 신뢰성장 모형에 대한 베이지안 모수추론과 모형선택 방법이 연구되었다. 소프트웨어 성장 모형은 내재되어 있는 오류와 고장 간격시간으로 모형화하면 소프트웨어 개발 단계에서 유용하게 사용할 수 있다. 본 논문에서는 사후 분포의 정보를 얻기 위한 다중 적분문제에 있어서 일종의 마코브 체인 몬테칼로 방법인 깁스 샘플링을 사용하여 사후 분포의 계산이 이루어졌다. 확산 사전 분포를 가진 소프트웨어 신뢰성에 의존된 일반적 순서 통계량 모형에 대하여 베이지안 모수 추정이 이루어 졌고 효율적인 모형의 선택방법도 시행되었다. 모형 설정과 선택 판단기준은 편차 자승합을 이용한 적합도 검정과 추세 검정이 사용되었다. 본 논문에서 사용된 소프트웨어 고장 자료는 Minitab(version 14) 통계 페키지에 있는 와이블분포(형상모수가 2이고 척도모수가 5)에서 발생시킨 30개의 난수를 이용한 모의 실험자료를 이용하여 고장자료 분석을 시행하였다.

• Communications for Statistical Applications and Methods
• /
• 제12권3호
• /
• pp.673-682
• /
• 2005

In this paper, we generalize the software reliability growth model by assuming that the testing cost and maintenance cost are random and adopt the Bayesian approach to determine the optimal software release time. Numerical examples are provided to illustrate the Bayesian method for certain parametric models.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제10권3호
• /
• pp.183-197
• /
• 2010

Web businesses are one of the most dynamic industries where lots of new business models are emerging while the other obsoleted ones are fading away almost every day. It is, therefore, difficult to establish a classification scheme for ever-changing web businesses. Previous researches on business models focus on classifying web businesses in one dimension which made some web sites difficult to fit into one category. We propose two dimensional classification scheme based on the means and the sources of revenue. The two dimensional classification provides more clear and broad perspectives of the web businesses and ways to identify web sites in combinations of several business models.

• 한국정보처리학회논문지
• /
• 제6권3호
• /
• pp.615-621
• /
• 1999

On the aspect of on-time and development resource use, it is very important to predict the software release time during the software development process. In this paper, we present the optimal release problem based on the evaluation indicator and cost evaluation. And also we show the optimal release point considered with both of them. We applied the Exponential Software Reliability Growth Model(E-SRGM) and Testing-effort dependent Software Reliability Growth Model(Te-SRGM) and decided the software release time according to software reliability indicator. As a result of two models comparison, we verify the Te-SRGM is more adopted in our switching system software.

• International Journal of Reliability and Applications
• /
• 제4권1호
• /
• pp.1-12
• /
• 2003

Many software reliability growth models (SRGM's) based on a nonhomogeneous Poisson process (NHPP) have been proposed by many researchers. Most of the SRGM's which have been proposed up to the present treat the event of software fault-detection in the testing and operational phases as a counting process. However, if the size of the software system is large, the number of software faults detected during the testing phase becomes large, and the change of the number of faults which are detected and removed through debugging activities becomes sufficiently small compared with the initial fault content at the beginning of the testing phase. Therefore, in such a situation, we can model the software fault-detection process as a stochastic process with a continuous state space. In this paper, we propose a new software reliability growth model describing the fault-detection process by applying a mathematical technique of stochastic differential equations of an Ito type. We also compare our model with the existing SRGM's in terms of goodness-of-fit for actual data sets.