undefined | Better HN

0 pointsraw_anon_11111mo ago0 comments

Sort of a devils advocate question. If you write and review your tests and the functional and non functional requirements and the human tests for usability pass, why does the code matter?

Non functional requirements: performance, security, reliability, logging etc?

0 comments

catgary1mo ago

Because the code is the actual thing, tests can only show that the code fails in certain cases, they don’t actually prove the code is correct.

raw_anon_1111OP1mo ago

If you are writing the correct tests that mirror the requirements, why wouldn’t passing tests mean the code is correct?

catgary1mo ago

Because it doesn’t? Thats why the field of formal methods exists.

1 more reply

j / k navigate · click thread line to collapse

0 comments

catgary1mo ago

Because the code is the actual thing, tests can only show that the code fails in certain cases, they don’t actually prove the code is correct.

raw_anon_1111OP1mo ago

If you are writing the correct tests that mirror the requirements, why wouldn’t passing tests mean the code is correct?

catgary1mo ago

Because it doesn’t? Thats why the field of formal methods exists.

1 more reply

j / k navigate · click thread line to collapse