• International Journal of Reliability and Applications
• /
• 제17권2호
• /
• pp.149-158
• /
• 2016

We are enjoying a very comfortable life thanks to modern civilization, however, comfort is not guaranteed to us. Development of software system is a difficult and complex process. Therefore, the main focus of software development is on improving the reliability and stability of a software system. We have become aware of the importance of developing software reliability models and have begun to develop software reliability models. NHPP software reliability models have been developed through the fault intensity rate function and the mean value functions within a controlled testing environment to estimate reliability metrics such as the number of residual faults, failure rate, and reliability of the software. In this paper, we present a new NHPP software reliability model with Burr Type III fault detection rate, and present the goodness-of-fit of the fault detection rate software reliability model and other NHPP models based on two datasets of software testing data. The results show that the proposed model fits significantly better than other NHPP software reliability models.

• International Journal of Reliability and Applications
• /
• 제7권2호
• /
• pp.155-166
• /
• 2006

Many software reliability growth models (SRGMs) based on nonhomogeneous Poisson process (NHPP) have been developed and applied in practice. NHPP SRGMs are characterized by their mean value functions. Mean value functions are usually derived from differential equations representing the fault detection/removal process during testing. In this paper such differential equations are regarded as frameworks for generating mean value functions. Currently available frameworks are theoretically discussed with respect to capability of representing the fault detection/removal process. Then two general frameworks are proposed.

• 한국정보통신학회논문지
• /
• 제12권4호
• /
• pp.737-743
• /
• 2008

소프트웨어의 신뢰도 모델링에서 테스트노력과 결함검출비를 동시에 고려하여 효과적인 파라미터 분석 기법을 이용하여 기존의 방법과 비교하고자 한다. 일반적으로, 소프트웨어 결함검출/제거 메카니즘은 이전의 검출/제거 결함과 테스트노력을 어떻게 활용하느냐에 달려 있다. 결함 제거 효율은 개발중인 소프트웨어의 신뢰도 성장이나 테스트 및 수정비용에 영향을 크게 미친다. 이는 소프트웨어 개발의 모든 과정에서 매우 유용한 척도로서 개발자가 디버깅 효율을 평가하는데 크게 도움이 될 뿐더러, 추가로 소요되는 작업량을 예측할 수 있게 해준다. 그러므로 개발 소프트웨어의 신뢰도와 비용면에서 불완전 디버깅의 영향을 연구하는 것은 매우 중요하다고 할 수 있으며, 이는 최적 인도 시각이나 운영 예산에도 영향을 줄 수 있다. 본 논문에서는 개발중인 소프트웨어를 대상으로 하여 디버깅이 완전하지 않으며, 따라서 결함검출비가 완벽하지 않다는 가정 하에 보편적으로 사용되는 신뢰도 모델을 대상으로 불완전 디버깅 범위로까지 소프트웨어의 신뢰도와 비용 문제를 확장하여 연구한다.

• International Journal of Reliability and Applications
• /
• 제8권1호
• /
• pp.53-66
• /
• 2007

This paper proposes a new non-homogeneous Poisson process software reliability growth model based on the coverage information. The new model incorporates the coverage information in the fault detection process by assuming that only the faults in the covered constructs are detectable. Since the coverage growth behavior depends on the testing strategy, the fault detection process is first modeled for the general testing strategy and then realized for the uniform testing. Finally the model for the uniform testing is empirically evaluated by applying it to real data sets.

• 한국항행학회논문지
• /
• 제24권4호
• /
• pp.314-321
• /
• 2020

LASAR (logic automated stimulus and response) 소프트웨어는 디지털 전자 회로 카드에 대한 로직 기능시험 및 고장검출을 위한 자동점검프로그램 개발도구이다. LASAR 소프트웨어는 소자의 논리회로 기능 및 입·출력 정의된 정보가 필요하다. 소자 정보가 없으면 정상적인 부품 모델링이 불가능하다. 따라서 본 논문에서는 소자 정보가 없는 PLD (programmable logic device) 소자를 역설계 방법을 통하여 부품 모델링을 수행한다. 개발된 LASAR 프로그램은 고장 시뮬레이션 결과와 단일 고착 고장삽입 방법을 통해 고장 검출율을 확인하였다. 고장 검출율은 기존의 제한적인 모델링은 91%, 역설계를 통한 모델링은 94%로 3% 상승하였다. 또한, EP 310 PLD 소자에 대한 입·출력핀에 대한 22가지 고착결함의 경우 100% 검출하여 양호한 성능을 확인하였다.

• Journal of Electrical Engineering and Technology
• /
• 제12권6호
• /
• pp.2118-2126
• /
• 2017

The large-scale power system blackouts have indicated that conventional protection relays that based on local signals cannot fit for modern power grids with complicated setting or heavily loaded-flow transfer. In order to accurately detect various faulted lines and improve the fault-tolerance of wide-area protection, a novel multi-section weighed fault matching and detecting algorithm is proposed. The real protection vector (RPV) and expected section protection vectors (ESPVs) for five fault sections are constructed respectively. The function of multi-section weighed fault matching is established to calculate the section fault matching degrees between RPV and five ESPVs. Then the fault degree of protected line based on five section fault degrees can be obtained. Two fault detecting criterions are given to support the higher accuracy rate of detecting fault. With the enumerating method, the simulation tests illustrate the correctness and fault-tolerance of proposed algorithm. It can reach the target of 100% accuracy rate under 5 bits error of wide-area protections. The influence factors of fault-tolerance are analyzed, which include the choosing of wide-area protections, as well as the topological structures of power grid and fault threshold.

• 응용통계연구
• /
• 제21권5호
• /
• pp.813-823
• /
• 2008

비동질적 포아송과정(NHPP) 모형은 신뢰성 공학에서 소프트웨어 내에 남아있는 결함발견현상을 설명하는데 자주 사용된다. 이때 결함발견율은 연속적이며 단조함수를 가정하였으나 현실적으로 소프트웨어 시험환경, 전략 및 자원할당 등으로 인해 결함발견율이 변하는 경우가 있다. 본 논문은 결함발견율이 변화하는 변화점 문제를 고려한 소프트웨어 신뢰도 성장모형(SRGM)을 고려하여 모수를 추정하는데 목적이 있다. 이를 위해 자료를 모의 생성한 후 평균값 함수의 각 모수를 최우추정법과 최소제곱법을 이용하여 추정하며, 결함발견구간이 일정하게 증가하는 경우와 일정하게 증가하지 않는 경우를 각각 고려한다. 이때 각 모수의 적합도 비교 평가를 통하여 변화점을 고려한 SRGM에서의 최적 추정법을 수치적 방법으로 판단한다.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제1권2호
• /
• pp.183-192
• /
• 2001

Jelinski-Moranda model and modified Jelinski-Moranda model in software reliability are studied and we consider maximum likelihood estimator and Bayes estimates of the number of faults and the fault-detection rate per fault. A gibbs sampling approach is employed to compute the Bayes estimates, future survival function is examined. Model selection based on prequential likelihood of the conditional predictive ordinates. A numerical example with simulated data set is given.

• 한국정보기술응용학회:학술대회논문집
• /
• 한국정보기술응용학회 2005년도 6th 2005 International Conference on Computers, Communications and System
• /
• pp.143-146
• /
• 2005

The software reliability growth depends on the testing time because the failure rate varies whether it is long or not. On the other hand, it might be difficult to reduce failure rate for most of the cases are not available for debugging during operational phase, hence, there are some literatures to study that the failure rate is uniform throughout the operational time. The failure rate reduces and the reliability grows with time regardless of debugging. As a result, the products reliability varies with the time duration of these products in point of customer view. The reason of this is that it accumulates the products experience, studies the exact operational method, and then finds and takes action against the fault circumstances. I propose the simple model to represent this status in this paper.

• 한국컴퓨터정보학회논문지
• /
• 제17권6호
• /
• pp.101-109
• /
• 2012

고 품질의 소프트웨어를 개발하기 위해서는 소프트웨어 내에 잠재된 결점을 제거하기 위한 품질관리계획이 요구된다. 이를 위해 결점 제거 프로필을 적절히 기술해야만 한다. 기존의 유조와 도관 모델은 결점이 제거되고 도피하는 결점을 계산하는데 복잡한 과정을 수행한다. 또한 어느 단계에서 삽입된 결점이 제거되고 도피하였으며, 단계별 결점 발견율이 얼마인지를 상세히 알고 있어야만 한다. 이러한 복잡한 과정을 단순화하기위해 본 논문은 결점필터링 개념에 기반하여 모델을 제시하였다. 제시된 모델은 임의의 단계에서 제거와 도피한 결점이 어느 단계에서 삽입된 결점에 관련되어 있는지 고려할 필요가 없어 결점을 보다 간략히 기술할 수 있는 장점이 있다. 또한, 결점 제거 품질척도와 생산성 척도의 함수에 기반하여 결점제거에 요구되는 노력 추정 모델을 제시하였다.