On Mon, 2012-07-30 at 10:41 +0100, Kevin Wright wrote: > Unit testing *cannot* prove correctness by itself, try this for a thought > experiment:
This argument is only really useful in this debate if statically typed codes need no unit tests at all in order to provably correct. Reality is that all codes need to have unit, integration and system tests, so the above becomes just a truth for all software development. -- Russel. ============================================================================= Dr Russel Winder t: +44 20 7585 2200 voip: sip:[email protected] 41 Buckmaster Road m: +44 7770 465 077 xmpp: [email protected] London SW11 1EN, UK w: www.russel.org.uk skype: russel_winder
signature.asc
Description: This is a digitally signed message part
