“People write programs without any expectation that they will be right the first time. They spend at least as much time testing and correcting errors as they spent writing the initial program. ... Software is released for use, not when it is known to be correct, but when the rate of discovering errors slows down to one that management considers acceptable.”