On Thursday 14 Oct 2010 11:30:44 am Julian Leviston wrote: > Executable documentation coupled with behavioural testing baked in is what > I'm after. ie the code won't actually execute without a checksum existing > first that indicates that the test suite has been run across this code. Your requirement is recursive. You seek a verifier machine to gate execution of code in a lower level machine. The distinction you make between 'testing' and 'execution' involves intention - something which cannot be coded in general. Writing executable spec is just another form of coding. How would you test if the written spec captured the intention of the tester?
A computing machine that executes documentation is just another machine; possibly virtual but still a machine and subject to the same frailties. Alan Kay called an object a "recursion on the entire possibilities of the computer" - warts and all :-). Subbu _______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
