undefined | Better HN

0 pointscatgary1mo ago0 comments

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.

0 comments

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

catgaryOP1mo ago

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

Then that sounds like you aren’t writing good tests…

j / k navigate · click thread line to collapse

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

catgaryOP1mo ago

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

Then that sounds like you aren’t writing good tests…

j / k navigate · click thread line to collapse