Fault-free Software: a Software Engineering aspiration
Fault-Free Software: Is it possible?
It is common to believe that fault-free software is a contradiction in terms!
But no engineering professional (in any of the older engineering disciplines) would make such a statement about their designs.
So doesn't that mean that any software engineer who regards themself as a true engineer must aspire to fault-free software? Note: fault-free does not mean will never fail; it mean will never fail in any state consistent with the design assumptions.
There will be conditions in which any engineering design will fail.
| 
