기존에 제안된 소프트웨어 신뢰도 성장모델(SRGM)들은 결함이 발견됨과 동시에 해결되는 것을 전제로 한 완전디버깅(PD: perfect debugging)을 추구한다. 그러나 실제 프로젝트 수행시 검출된 결함(에러)들은 일정한 시간이 지난 후 해결(제거)되거나 새로운 결함이 소프트웨어 내에 삽입되는 불완전디버정(ID: imperfect debugging) 상태에 놓이게 된다. 이러한 문제점들을 보완하기 위한 방안으로 본 논문에서는 소프트웨어의 고장을 발견 해결하는데 투입된 시험능력(test-effort)을 고려하여 이를 정형화된 모델로 발전시켜 실제 상황에 가까운 소프트웨어의 신뢰도를 평가하였다.
Most of the proposed SRGMs are required to perfect debugging based on removal of defect as soon as the detection of defects in system tests. But the detected defects are corrected after few days as a fixed time or induced new fault in software under the imperfect debugging environments. Solving these problems, we discussed that the formal software reliability model considered testing-effort for the fault detection and correction of software defects, and then using this model we have estimated of the software reliability closed to practical conditions.
