2011/1/12 Serge Le Huitouze
<serge.lehuitouze@gmail.com>
.....
So, in addition to defining the approximation (not always easy as I tried
to "demonstrate" above) to be used in comparisons, one probably needs
ad'hoc generators whose complexity might very well exceed that of
the code one wants to test...
So, do you have any "methodology" for such use cases?
The idea is to check the relevant subset of the test space that is precisely the one that the real application generates, so no extra generator coding are needed while at the same time making sure that the property holds for all the real data.
It is in essence, a library that permits assertions of properties defined somewhere else . (something that assert does not permit). and a mechanism to create informative messages.
I didŽnt use it very mucho owever. Theoreticaly I found it a good idea.
Alberto
--Serge