• 한국컴퓨터정보학회논문지
• /
• 제11권1호
• /
• pp.45-53
• /
• 2006

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 결함 1개당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 Goel-Okumoto 모형과 Yamada-Ohba-Osaki 모형을 재조명하고 잔존 결함 1개당 고장 발생률이 증가추세를 가진 카이제곱 분포를 이용한 카이제곱 모형을 제안하였다. 고장 간격시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합, AIC 통계량 및 콜모고로프 거리를 적용하여 모형들에 대한 효율성 입증방법을 설명하였다. 소프트웨어 고장 자료 분석에서는 카이제곱 모형에 대한 자유도를 형상모수의 척도로 간주하여 고장수가 비교적 큰 실측 자료(고장수가 86)인 Allen P.Nikora 와 Michael R.Lyu가 인용한 SYS2 자료을 통하여 분석하였다. 이 자료들에서 카이제곱 모형의 비교를 위하여 산술적 및 라플라스 검정, Kolmogorov검정 등을 이용하였다.

• 융합보안논문지
• /
• 제7권3호
• /
• pp.7-13
• /
• 2007

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

• 디지털산업정보학회논문지
• /
• 제8권4호
• /
• pp.25-34
• /
• 2012

In this study, in the process of testing before the release of the software products designed, software testing manager in advance should be aware of the testing-information. Therefore, the effective learning effects perspective has been studied using the NHPP software. The finite failure nonhomogeneous Poisson process models presented and applied property of learning effect based on truncated time and delayed S-shaped software reliability. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than autonomous errors-detected factor that is generally efficient model can be confirmed. This paper, a failure data analysis was performed, using time between failures, according to the small sample and large sample sizes. The parameter estimation was carried out using maximum likelihood estimation method. Model selection was performed using the mean square error and coefficient of determination, after the data efficiency from the data through trend analysis was performed.

• Journal of Information Technology Applications and Management
• /
• 제25권2호
• /
• pp.109-116
• /
• 2018

In this study, we was compared the reliability performance of the software reliability model, which applied the Goel-Okumoto model developed using the exponential distribution, to the logarithmic function modifying the intensity function and the Rayleigh form. As a result, the log-type model is relatively smaller in the mean squared error compared to the Rayleigh model and the Goel-Okumoto model. The logarithmic model is more efficient because of the determination coefficient is relatively higher than the Goel-Okumoto model. The estimated determination coefficient of the proposed model was estimated to be more than 80% which is a useful model in the field of software reliability. Reliability has been shown to be relatively higher in the log-type model than the Rayleigh model and the Goel-Okumoto model as the mission time has elapsed. Through this study, software designer and users can identify the software failure characteristics using mean square error, decision coefficient. The confidence interval can be used as a basic guideline when applying the intensity function that reflects the characteristics of the lifetime distribution.

• 대한산업공학회지
• /
• 제15권2호
• /
• pp.65-75
• /
• 1989

A general software reliability model is developed, which includes the Jelinski-Moranda model, the Goel-Okumoto model, the Shanthikumar model and the Ross model as special cases. In each of above models estimators of the software failure rate and the number of remaining errors are presented and compared in terms of the expected absolute error loss and the expected squared error loss by a Monte Carlo simulation.

• 디지털산업정보학회논문지
• /
• 제10권2호
• /
• pp.1-11
• /
• 2014

Software reliability in the software development process is an important issue. Software process improvement helps in finishing with reliable software product. In this field, SPC (Statistical process control) is a method of process management through application of statistical analysis, which involves and includes the defining, measuring, controlling, and improving of the processes. The proposed process involves evaluation of the parameter of the mean value function and hence the values of the mean value function at various inter failure times to develop relevant time control chart. In this paper, was proposed a control mechanism, based on time between failures observations using Rayleigh and Burr distribution property, which is based on Non Homogeneous Poisson Process (NHPP). In this study, the proposed model is reliable in terms of hazard function, because it is more efficient in this area can be used as an alternative to the existing model. Through this study, software developers are considered by the various intended functions, prior knowledge of the software to identify failure modes to feed to some extent shall be able to help.

• 한국산학기술학회논문지
• /
• 제21권6호
• /
• pp.178-186
• /
• 2020

국내 무기체계 연구개발과정에서 소프트웨어 신뢰성이 중요한 요소로 여겨지고 있다. 그래서 무기체계 소프트웨어 연구개발 절차에는 소프트웨어 신뢰성 향상을 위한 활동들이 포함되어 있다. 하지만 개발절차에 포함된 활동은 소스 코드 정적 및 동적 분석으로 국제 표준에서 요구하는 활동과 다소 차이가 존재한다. 소프트웨어 신뢰성 관련 국제 표준인 IEEE std 1633-2016에서는 소프트웨어 신뢰성 확보를 위한 프로세스를 정의하고 있으며, 이들 가운데 소프트웨어 신뢰성 추정을 필수 활동이라고 이야기하고 있다. 소프트웨어 신뢰성 추정은 시험단계의 결함을 기반으로 통계 모델을 활용해 현재 시점의 소프트웨어 신뢰성을 추정하는 활동이다. 추정한 모델을 기반으로 소프트웨어 고장률을 추정할 수 있으며, 목표 고장률과의 비교를 통해 시험 종료 여부를 결정할 수 있다. 따라서 본 연구에서는 무기체계 소프트웨어 개발 과정에 소프트웨어 신뢰성 추정 모델을 적용하였다. 그 결과 목표한 소프트웨어 신뢰성을 달성하기 위해 지속적인 시험이 진행되었으며, 정량적인 소프트웨어의 신뢰성을 확인 할 수 있었다. 본 연구를 기반으로 무기체계 소프트웨어의 개발 과정에서 국제 표준에서 제시한 소프트웨어 신뢰성 공학 프로세스를 반영하는 노력이 지속적으로 이루어지기를 기대한다.

• 한국품질경영학회:학술대회논문집
• /
• 한국품질경영학회 2004년도 품질경영모델을 통한 가치 창출
• /
• pp.430-435
• /
• 2004

Nonhomogeneous Poisson Process is often used to model failure times which occurred in software reliability and hardware reliability models. It can be characterized by its intensity functions or mean value functions. Many parametric intensity models have been proposed to account for the failure mechanism in real situation. In this paper, we propose a Bayesian semiparametric approach based on beta-mixtures. Two real datasets are analyzed.

• Journal of Information Technology Applications and Management
• /
• 제13권2호
• /
• pp.17-28
• /
• 2006

The SRGM has been studied under the assumption that S/W reliability can grow as the fault causing failure is removed even during operational phase because the debugging is available. On the other hand, some papers insist on the uniform failure rate during operational phase because the debugging may not be available in case of universal software. The phenomenon, however, has been observed informally many times that the products S/W reliability grows as the time goes by even without any debugging in point of customer view. I propose the simple approaching method to model the S/W reliability phenomenon that the failure rate reduces as time goes on without modifying the existing reliability model in this paper.

• 품질경영학회지
• /
• 제37권3호
• /
• pp.33-38
• /
• 2009

When we estimate the parameters of software reliability models, we usually use maximum liklihood estimator(MLE). But this method is required a large data set. In particular, when we want to estimate it with small observed data such as early stages of testing, we give rise to the non-existence of MLE. Therefore, it is interesting to look into the influence of parameter estimators obtained using MLE. In this paper, we use two non-homogenous poisson process software reliability growth model: delayed S-shaped model and log power model. In this paper, we calculate the sensitivity of estimators about failure intensity function for two SRGMs respectively.