5 ms·
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.
by catgary 6mo 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_1111 6mo agoIf you are writing the correct tests that mirror the requirements, why wouldn’t passing tests mean the code is correct?
- cindyllm 6mo ago[dead]
- viktorianer 6mo ago[flagged]
- catgary 6mo agoBecause it doesn’t? Thats why the field of formal methods exists.
- raw_anon_1111 6mo agoThen that sounds like you aren’t writing good tests…