한국통계학회:학술대회논문집 (Proceedings of the Korean Statistical Society Conference)
- 한국통계학회 2000년도 추계학술발표회 논문집
- /
- Pages.57-64
- /
- 2000
Markovian Perfect Debugging Model and Its Related Measures
- Lee Chong Hyung (Department of Statistics, Hallym University) ;
- Nam Kyung Hyun (Division of Economics, Kyonggi University) ;
- Park Dong Ho (Department of Statistics, Hallym University)
- 발행 : 2000.11.01
초록
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.