In this thesis we discuss existing software reliability models and then derive the relationships between them in particular, between Jelinski-Moranda model (J-M model) and Goel-Okumoto model (G-O model), typicals of TBF (time between failures) models and FC (fault count) models, respectively, from Shanthikumar model and conditional Shanthikumar model. Also we will see that Littlewood model is obtained as a special case of conditional Shanthikumar model in terms of Miller's EOS method, and hence we will derive a relationship between Littlewood model and Shanthikumar model.
1970년까지만 하더라도 하드웨어에 관한 신뢰도 모형들이 많이 제시되어 왔으나 최근에는 소프트웨어의 관리의 중요성 인식으로 인하여 소프트웨어의 검정, 수명 예측, 성능 평가 등을 위한 수많은 고등적 통계 이론과 확률론에 근거한 신뢰도 모형들 이 제시되어 오고 있다. 이 논문에서 대표적 신뢰 모형 몇개를 간략히 기술하고 그들 사이의 관계들, 특히 Jelinski - Moranda 모형과 Goel - Okumoto 모형사이의 관계를 Shanthikumar 모형으로 부터 유도하고 또한 Littlewood 모형과 Pareto NHPP 모형및 여러 SRGM (Software Reliability Growth Model)들 사이의 관계들을 Shanthikumar 모형 특성및 Miller 의 EOS (Exponential Order Statistics) 구조의 성질에 의하여 밝혔다. 부가적으로 언급하면, Miller 의 EOS model 은 수많은 모형들을 밀접히 관계시키며 그들의 통계적 추론 및 기법 사용을 일양화시킨 새로운 접근 방식이며 앞으로 이와 유사한 신뢰도 모형 이론 제시는 주목을 받으리라 예상된다.