• 한국통계학회:학술대회논문집
• /
• 한국통계학회 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.

• 대한산업공학회지
• /
• 제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.