• 한국통계학회:학술대회논문집
• /
• 한국통계학회 2000년도 추계학술발표회 논문집
• /
• pp.57-64
• /
• 2000

In this paper we consider a Markovian perfect debugging model for which the software failure is caused by two types of faults, one which is easily detected and the other which is difficult to detect. When a failure occurs, a perfect debugging is immediately performed and consequently one fault is reduced from fault contents. We also treat the debugging time as a variable to develop a new debugging model. Several measures, including the distribution of first passage time to the specified number of removed faults, are also obtained using the proposed debugging model, Numerical examples are provided for illustrative purposes.

• Communications for Statistical Applications and Methods
• /
• 제18권6호
• /
• pp.741-750
• /
• 2011

본 논문에서는 소프트웨어의 고장수리 과정 중 완전 수리와 불완전 수리를 모두 고려하는 혼합수리 모형을 제안하려고 한다. 이를 위해 소프트웨어가 가지고 있는 전체 결함의 유형을 고치기 쉬운 결함 유형과 고치기 어려운 결함 유형으로 나누고, 고치기 쉬운 결함의 경우에서는 수리 과정 중 결함을 완전하게 고친다고 가정한다. 또한 고치기 어려운 결함 유형은 완전 또는 불완전 수리가 가능하도록 가정하며, 이러한 가정과 마코프 과정(Markov process)하에서 소프트웨어 성능 평가를 위한 측도 중에 하나인 소프트웨어 가용성(software availability)을 제시하고자 한다.

• 응용통계연구
• /
• 제21권6호
• /
• pp.997-1006
• /
• 2008

This paper proposes a new model by combining an infinite-server queueing model for multi-task processing software system with a perfect debugging model based on Markov process with two types of faults suggested by Lee et al. (2001). We apply this model for module and integration testing in the testing process. Also, we compute several measure, such as the expected number of tasks whose processes can be completed and the task completion probability are investigated under the proposed model.

• 한국통신학회논문지
• /
• 제30권11A호
• /
• pp.987-994
• /
• 2005

기존에 제안된 소프트웨어 신뢰도 성장모델(SRGM)들은 결함이 발견됨과 동시에 해결되는 것을 전제로 한 완전디버깅(PD: perfect debugging)을 추구한다. 그러나 실제 프로젝트 수행시 검출된 결함(에러)들은 일정한 시간이 지난 후 해결(제거)되거나 새로운 결함이 소프트웨어 내에 삽입되는 불완전디버정(ID: imperfect debugging) 상태에 놓이게 된다. 이러한 문제점들을 보완하기 위한 방안으로 본 논문에서는 소프트웨어의 고장을 발견 해결하는데 투입된 시험능력(test-effort)을 고려하여 이를 정형화된 모델로 발전시켜 실제 상황에 가까운 소프트웨어의 신뢰도를 평가하였다.

• 정보처리학회논문지D
• /
• 제9D권4호
• /
• pp.659-666
• /
• 2002

Park, Seo and Kim은 소프트웨어의 시험단계와 유지보수단계에 모두 적용할 수 있는 입력 영역 기반 소프트웨어 신뢰성 성장 모델을 개발하였다. 이들의 모형은 완전디버깅의 가정 하에서 개발되어졌다. 입력 영역 기반 소프트웨어 신뢰성 성장 모델이 현실적이기 위해서는 이러한 가정은 개선되어야 한다. 본 논문에서는 불완전 디버깅 하에서 사용할 수 있는 입력 영역 기반 소프트웨어 신뢰성 성장 모델을 제안하고 그 통계적 특성을 조사한다.

• 한국정보처리학회논문지
• /
• 제7권4호
• /
• pp.1103-1111
• /
• 2000

The hyper-geometric distribution software reliability growth model (HGDM) usually assumes that all the software faults detected are perfectly removed without introducing new faults. However, since new faults can be introduced during the test-and-debug phase, the perfect debugging assumption should be relaxed. In this context, Hou, Kuo and Chang [7] developed a modified HGDM for imperfect debugging environment, assuming tat the learning factor is constant. In this paper we extend the existing imperfect debugging HGDM for tow respects: introduction of random sensitivity factor and allowance of variable learning factor. Then the statistical characteristics of he suggested model are studied and its applications to two real data sets are demonstrated.

• 대한산업공학회지
• /
• 제18권1호
• /
• pp.37-45
• /
• 1992

Common assumption we frequently encounter in early models of software reliability is that no new faults are introduced during the fault removal process. In real life, however, there are situations in which new faults are introducted as a result of imperfect debugging. This study alleviating this assumption by introducting the probability of perfect error-correction is an extension of Littlewood's work. In this model, the system reliability, failure rates, mean time to failure and average failure frequency are obtained. Here, when the probability of perfect error-correction is one, the results appear identical with those of the previous studies. In the respect that the results of previous studies are special cases of this model, the model developed can be considered as a generalized one.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제54권6호
• /
• pp.396-402
• /
• 2005

The software reliability growth model(SRGM) has been developed in order to evaluate such measures as remaining fault number, fault rate, and reliability for the developing stage software. Most of the study literatures assumed that this detecting efficiency was perfect. However the actual fault detecting is generally imperfect, and widely known to many persons. It is not easy to develop and remove the fault existing in the software because the fault finding is difficult, and the exact solving method also not easy, and new fault may be introduced depending on the tester's capability. There, the fault removing efficiency influences the software reliability growth or developing cost of software. It is a very useful measure throughout the developing stage, much helpful for the developer to evaluate the debugging efficiency, and evaluate additional workload. Hence, the study for the imperfect debugging is important in point of software reliability and cost. This paper proposes that the fault debugging is imperfect and new fault may be introduced for the developing software during the developing stage.

• Communications for Statistical Applications and Methods
• /
• 제17권6호
• /
• pp.891-898
• /
• 2010

소프트웨어는 독립적으로 개발된 모듈들을 통합하는 개발과정을 거치며, 통합된 소프트웨어는 가용도, 소프트웨어에 내재된 결함의 제거 수 및 주어진 업무(task)들의 처리능력에 의하여 성능이 평가된다. 본 연구에서는 Lee와 Park (2003)의 마코프 불완전 수리모형을 기반으로 모듈들로 구성된 소프트웨어의 업무처리 능력을 평가할 수 있는 업무의 완전처리확률(completion probability)을 유도하며, 이와함께 개발된 소프트웨어가 출하되는 최적의 시점을 결정하는 방안을 제시하고자 한다.