test driven development

watch this video starting at the 10 minute mark and try to tell me that TDD should not be used for all software development
http://www.youtube.com/watch?v=ra8Q0M3DJYk&feature=g-vrec

things like assertions and design-by-contract are just a weak form of TDD and litter up the code instead of run beside the code

>2012
>not proving your programs correct