A counter example is in the aerospace industry. Most software has to be d-178b certified, which requires not only testing with complete code coverage, but also complete branch coverage. Every possible outcome in every “if” statement must be tested.
Needless to say, this is expensive. I’ve heard estimates that it costs roughly $1000/line of code.
The point is that there are methods to increase reliability, but there isn’t the financial incentive to do so.
Needless to say, this is expensive. I’ve heard estimates that it costs roughly $1000/line of code.
The point is that there are methods to increase reliability, but there isn’t the financial incentive to do so.