10 May
2007
10 May
'07
9:35 a.m.
Joel Reymont wrote:
On May 10, 2007, at 10:19 AM, Jules Bean wrote:
The 'next step' is to move from testing by hand in ghci to writing quickcheck properties / smallcheck / unit tests for the functions.
I still don't understand the difference between QC and SC. Would someone kindly explain and provide an example or two of when SC should be used?
The most important difference is that: QC checks 'a random selection' of possible parameter values. SC checks 'every possible' in some methodical way, stopping at a certain depth for recursive structures.