모듈 기반 소프트웨어 시스템 신뢰도 모델링과 평가

본 논문은 모듈 기반 소프트웨어 시스템의 신뢰도를 정량적으로 평가하기 위한 수학적 모델을 제시한다. 서론에서는 현대 대규모 소프트웨어가 재사용성과 신뢰성을 동시에 요구받는 배경을 설명하고, 기존의 신뢰도 성장 모델(SRGM)들이 모듈 간 의존성을 충분히 반영하지 못한다는 문제점을 지적한다. 이어서, 소프트웨어 품질을 ‘신뢰도, 효율성, 정확성, 사용성, 테스트 가능성 등’으로 정의하고, 신뢰도를 “무작위 입력에 대해 결함이 없는 실행 확률”로 공식화한다. 2절에서는 모듈 i의 테스트 가능성 p_i 를 정의하고, n_i 번 성공 테스트 후 결함 확률 α_i(t) 를 α_i(0)(1−p_i)^{n_i} /