Difficulty thinking of properties for FsCheck

Posted by Benjol on Stack Overflow See other posts from Stack Overflow or by Benjol
Published on 2010-03-15T09:59:19Z Indexed on 2010/03/15 9:59 UTC
Read the original article Hit count: 331

Filed under:
|
|

I've managed to get xUnit working on my little sample assembly. Now I want to see if I can grok FsCheck too. My problem is that I'm stumped when it comes to defining test properties for my functions.

Maybe I've just not got a good sample set of functions, but what would be good test properties for these functions, for example?

//transforms [1;2;3;4] into [(1,2);(3,4)]
pairs : 'a list -> ('a * 'a) list      //'

//splits list into list of lists when predicate returns 
//  true for adjacent elements
splitOn : ('a -> 'a -> bool) -> 'a list -> 'a list list

//returns true if snd is bigger
sndBigger : ('a * 'a) -> bool (requires comparison)

© Stack Overflow or respective owner

Related posts about F#

Related posts about unit-testing