[Haskell-cafe] QuickCheck Questions

[Emil Axelsson]

Not sure this is what you want, but I thought I'd mention "Formal 
Specifications for Free":

   http://www.erlang.org/euc/08/1005Hughes2.pdf

(I wasn't able to find a better link. That talk is for Erlang, but 
people are working on this for Haskell QuickCheck.)

/ Emil



Yusaku Hashimoto skrev:
> After a few more investigations, I can say
> 
> QuickCheck does:
> - make easy to finding couter-cases and refactoring codes
> - make easy to test some functions if they have good mathematical properties
> - generate random test cases
> 
> But QuickCheck does *not*:
> - help us to find good properties
> 
> So what I want to know is "how to find good properties." Please let me
> know how do you find QuickCheck properties. There are so many
> tutorials or papers for using QuickCheck, but when I try to apply them
> to my programming, I often miss properties in my codes.
> 
> Cheers
> -nwn
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe