Life distribution, Reliability theory and applications for hardware system evaluation and maintenance policy, Software reliability growth model