Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

how do i prove programs correct

Name: Anonymous 2012-10-28 17:50

does it really help to make bug-free programs? or was dijkstra full of crap?

Name: Anonymous 2012-10-28 22:20

>>14
I hate to contaminate my code with tests. I usually put tests on separate files and have them running at night everyday, and read the results first time in the morning.

This means that you write your tests first, create simple test-data at first and later populate this test-data with problematic cases, and run your full test suite everyday if possible. It makes programming complex system less annoying.

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List