Michael Nygard, consultant at Cognitect and writer of Release it!
The idea of generating tests is very cool. I will try to write something like that for one platform that I have online at the company.
This will be interesting.
weaknesses of example-based testing: severely limited coverage, fragility, poor scalability, non-composability
property-based testing: programmer models the domain and invariants. A program generates many individual tests
simulation testing: extend property-based testing to whole systems. Programmer models the domain, Program generates a repeatable script of inputs, system tested in-situ.
Have each property test being about only one concept under testing
What is testing? attempts to prove the system is wrong!
Code coverage is misleading!
making actions repeatable
target system setup
test duration and intensity (and the problem of lag)
simulation testing involves more upfront investment
lifecycle cost is lower
remember: searching the space to find errors