Engineering zero-defect software

esr.ibiblio.org

8 pointsphilh2 comments

That's not how you do it. It helps, but it's far from comprehensive, hence not "zero-defect".

The one thing that may possibly create zero-defect software is formal proof, but that is far from being practical.

Agree. Even when all static analyzers in the world would say "Error free" it doesn't mean that your code is really error free. It just says that their implementation wasn't able to detect the other possible errors in your code.

Btw. one of the first steps to zero-defect software is an appropriate programming language. I wouldn't choose C oder C++ but Ada or SPARK or so.

Reply on news.ycombinator.com