An Introduction to Software Reliability Models