This document discusses software reliability. It defines software reliability as the probability of failure-free software operation for a specified period of time in a specified environment. Traditional methods to improve reliability include manual testing, code reviews, and coding standards. Reliability can be measured using metrics like MTBF. Software reliability models discussed include error seeding, reliability growth, and non-homogeneous Poisson processes. Choice of model depends on factors like the application area and operational characteristics.