3 ms·

I like this parallelism between coverage and tests: Coverage can prove that code is not tested but cannot prove that code is tested. Tests can prove that bugs

I like this parallelism between coverage and tests: Coverage can prove that code is not tested but cannot prove that code is tested. Tests can prove that bugs exist but cannot prove that bugs do not exist.

boxed 6y ago
Mutation testing can prove that the tests check all the behavior of the code, but it can't prove that the code shouldn't have more behavior, or that this behavior is correct.