News for hackers. Stuff that matters.

A comment on Investigating Higher Quality Software.

Re:Investigating Higher Quality Software by DanWaterworth on Friday January 16, 2015 @04:21AM (#8897906)
The non-negotiable part is that there should be tests, regardless of when they were written. Those tests will be the record of truth for future development. They are proof that the proper specification was implemented, regardless of methodology.

I really disagree with this. Asides from the fact that tests can't prove the absence of bugs, it's very easy to write a test suite that avoids the unhandled edge-cases; most people do without thinking about it. Your test suite is the tool you have created to search for bugs and should be written in that adversarial mindset rather than as a certification that you actually did your job.

[ Parent | on HN ]
Re:Investigating Higher Quality Software by BmoreDaniel on Friday January 16, 2015 @04:23AM (#8897912)
Formal verification can prove the absence of bugs.
[ Parent | on HN ]
Re:Investigating Higher Quality Software by DanWaterworth on Friday January 16, 2015 @04:30AM (#8897932)
I didn't say it couldn't; I didn't say anything about formal verification.
[ Parent | on HN ]