HNGlance

Top Best New Show

Engineering zero-defect software

http://esr.ibiblio.org/?p=4340

by philh • 14 years ago

8 2 14 years ago

ES

esr.ibiblio.org

Related Stories

Loading related stories...

Comments

2

lucian1900• 14 years ago

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.

bitcracker• 14 years ago

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.

Source preview

esr.ibiblio.org

HNGlance

© 2024-2026 HN Glance. Story content belongs to its original sources.

Privacy
Terms