As a suggestion, QuickCheck type testing frameworks are good for finding bugs relating to unexpected data. Summary of how they work: you say "this program take

As a suggestion, QuickCheck type testing frameworks are good for finding bugs relating to unexpected data. Summary of how they work: you say "this program takes a 32 bit signed int and a string" and the testing framework will throw it a heap of random ints and strings, some of which match the sorts of classic curve balls it might encounter (negative numbers, int max and min values, strings that are very long, empty strings, strings with \0 in them, strings that don't parse as valid unicode, "Robert');DROP TABLE Students; --", and so on.)