소프트웨어 시스템을 언제까지 테스팅해서 사용자에게 양도할 것인가를 결정하는 소프트웨어 양도 정책은 개발자가 해결해야 하는 중요한 문제의 하나이다. 이 양도 정책 문제에 대한 일반적인 접근법은 주어진 신뢰성 요구사항을 만족하기 위해 필요한 고장 발견수나 테스팅 시간을 결정하는 것이다. 소프트웨어 신뢰성은 잔존 고장수 또는 수정된 고장수에 의존하며, 불완전 디버깅 환경에서는 발견된 고장이 모두 수정되는 것이 아니므로 불완전 디버깅 환경에서의 양도 정책을 구하는 새로운 방법이 필요하다. 본 논문에서는 불완전 디버깅 환경에서의 신뢰성 요구사항을 만족하였음을 원하는 신뢰수준으로 보증하는 양도 정책을 제안하고, 이를 구현하였다.
An important issue for software developers is to determine when to stop testing the software system and release it to users. Generally the release time is specified by the number of detected faults or the testing time needed to meet the reliability requirement. Software reliability directly depends on the number of remaining or corrected faults. All the detected faults are not always corrected under imperfect debugging environment. We therefore need a new approach to software release policy for imperfect debugging. This paper suggests a software release policy, which guarantees that the reliability requirement has been achieved. The suggested policy is then implemented and illustrated for specific SRGMs.
