In this paper we address the development, testing, and evaluation schemes for software reliability, and the integration of these schemes into a unified and consistent paradigm. Specifically, techniques and tools for the three phases of software reliability engineering will be described. The three phases are (1) modeling and analysis, (2) design and implementation, and (3) testing and measurement. In the modeling and analysis phase we describe Markov modeling and fault-tree analysis techniques. We present system-level reliability models based on these techniques, and provide modeling examples for the reliability analysis and study with known system architectures. We describe how reliability block diagrams can be constructed for a realworld system for reliability prediction, and how critical components can be identified from the existing architecture. We als
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.