3 ms·
Some (balanced) automated testing gets you away from "hoping nothing bad will happen" while not having to spend a year coming up with a formal proof for your pr
by diggan 2y ago
Some (balanced) automated testing gets you away from "hoping nothing bad will happen" while not having to spend a year coming up with a formal proof for your program. Worth testing if you haven't ;)
- bsaul 2y agoof course, i do test. But let's be honest, if the person writing the tests is the same as the one writing the code, chances are the tests won't discover flaws in the model of the original design.
- sanxiyn 2y agoTry property testing. Property tests written by myself routinely discover bugs in my codes.
- dllthomas 2y agoI think there's definitely something to the notion that there will be correlation between things you forget to (try to) guarantee in your code and things you think to test for. It's not clear to me that it's meaningfully stronger than the correlation with things you forget to prove. Any which way, more prodding of the model (mental or more formal) is probably going to help correctness but may or may not be worth the cost, depending.
- Aerbil313 2y agoContrary opinion: Writing your program is much easier once you write the proof, because you basically formulate your entire program.