[erlang-questions] QuickCheck/PropEr

Edmond Begumisa <>
Wed May 25 05:31:06 CEST 2011

On Tue, 24 May 2011 08:53:53 +1000, Kostis Sagonas <>  

> Edmond Begumisa wrote:
>> Thanks John,
>>  This was most helpful and got me over that initial hurdle. I see now  
>> that property-based testing is more about defining how the system  
>> should behave and is best used as a design-time aid -- almost like  
>> programming by contract. Write properties first, code from there.  
>> Thinking of it the other way had caused me great confusion.
>>  ...  , I'll direct the following silly questions to PropEr users  
>> instead:
>>  * proper_fsm now makes more sense (reminds me a little of UBF(C)). But  
>> I'm having trouble with defining properties for my gen_servers. ...
>>  Thanks in advance for any help.
> Edmond,
> Sorry, but given the upcoming OTP release I have been swamped by other  
> more urgent duties...  I do not have any answers to your questions at  
> this point in time (sorry about that)

Understandable. No problem. Thanks for responding.

> but I would like to mention that:
>   1. We are in the process of creating a PropEr web site where among
>      other things there will be PropEr tutorials, examples and FAQ.
>      Our intention is to have it ready by the Erlang Factory in London,
>      so please be a bit patient.

Good news.

>   2. My talk in London will be about PropEr and what it can do for you:
> http://www.erlang-factory.com/conference/London2011/speakers/KostisSagonas

Hope there will the usual video for those of us who can't make it.

>   3. The address you are using does not reach the PropEr users but its
>      developers.  We'll set up such a user mailing list once we properly
>      announce the first version of our tool -- note that it is currently
>      unannounced even though I am aware that it's already being used by
>      quite a few companies and many Erlang developers out there.
> Best,
> Kostis


- Edmond -

Using Opera's revolutionary e-mail client: http://www.opera.com/mail/

More information about the erlang-questions mailing list