Re: Testing As Proof

Tom Anderson wrote:

This all sounds a bit mental to me. If this alleged designer is going to design to this level of detail, why don't they just write the code?

I can specify a sorting routine, and write tests for
it, a lot easier than I can implement it.