Practical software reliability modeling

NASA is increasingly dependent upon software in systems critical to the success of NASA's mission. The capability to accurately measure the reliability of the software in these systems is essential to ensuring that NASA systems will meet mission requirements. The Software Assurance Technology Center at the NASA Goddard Space Flight Center explored software reliability modeling as a practical measurement technique. This paper describes software reliability modeling, the effort required to use it, and potential improvements to the models to allow for fault correction.