News for hackers. Stuff that matters.

A comment on How the Boeing 737 Max disaster looks to a software Developer. Parent comment

Re:How the Boeing 737 Max disaster looks to a software Devel... by WalterBright on Thursday April 18, 2019 @05:10PM (#19694801)
Proving that software matches the spec is one thing, proving that the spec is free of bugs is quite another.
[ Parent | on HN ]
Re:How the Boeing 737 Max disaster looks to a software Devel... by bdamm on Thursday April 18, 2019 @05:39PM (#19695038)
Indeed. It is normal that implementation will find a bug in the spec. Anecdotally, have never found a flawless RFC. Every real-world implementation of an RFC I've ever done has found some discrepancy when it came to compatibility testing.
[ Parent | on HN ]
Re:How the Boeing 737 Max disaster looks to a software Devel... by crimsonalucard on Friday April 19, 2019 @09:41AM (#19699497)
Yes. But for critical software systems, what excuse does one have not to prove that the software does not match the spec. There is no excuse not to test the spec, but what excuse is there not to prove the software?
[ Parent | on HN ]