A method for the prediction of software reliability