Types, distribution, and test and correction times for programming errors