초록
본 논문에서는 소프트웨어의 고장수리 과정 중 완전 수리와 불완전 수리를 모두 고려하는 혼합수리 모형을 제안하려고 한다. 이를 위해 소프트웨어가 가지고 있는 전체 결함의 유형을 고치기 쉬운 결함 유형과 고치기 어려운 결함 유형으로 나누고, 고치기 쉬운 결함의 경우에서는 수리 과정 중 결함을 완전하게 고친다고 가정한다. 또한 고치기 어려운 결함 유형은 완전 또는 불완전 수리가 가능하도록 가정하며, 이러한 가정과 마코프 과정(Markov process)하에서 소프트웨어 성능 평가를 위한 측도 중에 하나인 소프트웨어 가용성(software availability)을 제시하고자 한다.
In this paper, we derive an software mixed debugging model based on a Markov process, assuming that the length of time to perform the debugging is random and its distribution may depend on the fault type causing the failure. We assume that the debugging process starts as soon as a software failure occurs, and either a perfect debugging or an imperfect debugging is performed upon each fault type. One type is caused by a fault that is easily corrected and in this case, the perfect debugging process is performed. An Imperfect debugging process is performed to fix the failure caused by a fault that is difficult to correct. Distribution of the first passage time and working probability of the software system are obtained; in addition, an availability function of a software system which is the probability that the software is in working at a given time, is derived. Numerical examples are provided for illustrative purposes.
