Bingo. This software should be held to the same government standards required for military applications. It's one thing if your spreadsheet app fails, but if a breathalyzer fails somebody gets screwed big time.
Thus spake the master programmer: "When a program is being tested, it is too late to make design changes." -- Geoffrey James, "The Tao of Programming"