Prediction of software reliability