3 ms·
Is anyone willing to pay for it? Is there any non-trivial code that's been deployed that has been bug free? I mean, supposedly NASA paid $1,000 per line of co
by sbov 12y ago
Is anyone willing to pay for it? Is there any non-trivial code that's been deployed that has been bug free?
I mean, supposedly NASA paid $1,000 per line of code and still got 0.11 defects per 1,000 lines. By that metric, windows would cost $40 billion to develop, but it would still have 4,400 defects in it.
- DanWaterworth 12y agocompcert, sel4, etc.
- panic 12y agoYes, as DanWaterworth has pointed out, people have written large projects with entirely bug-free code (in the sense that it verifiably implements a formal specification). The way these projects are developed is very different from the process described by this article -- a lot of time is spent writing formally-verifiable proofs of correctness.
- blrice 12y agoI'm definitely not advocating throwing out agile and embracing waterfall. I like the ability to iterate quickly. I just think we seem to be taking "move fast and break things" a little too seriously in terms of breaking all the things. Everything in moderation.
- DanWaterworth 12y agoFormal verification doesn't imply waterfall.