| Author |
Message |
|
| Guest |
Posted: Sat Oct 01, 2011 8:49 am |
|
|
|
Guest
|
|
| Back to top |
|
| Guest |
Posted: Sat Oct 01, 2011 2:58 pm |
|
|
|
Guest
|
|
| Back to top |
|
| Guest |
Posted: Sat Oct 01, 2011 7:45 pm |
|
|
|
Guest
|
I had pretty awesome experience with PropEr on testing NIFs, so I can recommend it to you.
Post received from mailinglist |
|
|
| Back to top |
|
| Guest |
Posted: Sun Oct 02, 2011 10:18 am |
|
|
|
Guest
|
On 1 October 2011 20:45, Dmitry Groshev <lambdadmitry@gmail.com (lambdadmitry@gmail.com)> wrote:
Quote: I had pretty awesome experience with PropEr on testing NIFs, so I can recommend it to you.
Would you be willing to share some of your experiences, as I'm certain there are a great many of us that would like to know more about good ways of testing NIFs and drivers! What in particular was good about PropEr for example? I've been thinking that PropEr's state machine testing support should be good for testing linked-in drivers, especially when the various calls to it are tucked away in a gen_server.
Cheers,
Tim
Post received from mailinglist |
|
|
| Back to top |
|
| Guest |
Posted: Sun Oct 02, 2011 9:27 pm |
|
|
|
Guest
|
| Well, it's about hidden details. Erlang is pretty straightforward language; C is a lot more tricky to make right. So there is a lot of non obvious bugs that I can't foresee when I write unit tests; PropEr's *random* tests are way better in this sense, because you just describe the domain of your task, not particular cases. You can also test your NIF incrementally, writing property after property (or command after command if there is some state involved).Speaking about my experience — I'm using PropEr to test this library |
|
|
| Back to top |
|
| Guest |
Posted: Mon Oct 03, 2011 7:52 am |
|
|
|
Guest
|
On 2 October 2011 22:27, Dmitry Groshev <lambdadmitry@gmail.com (lambdadmitry@gmail.com)> wrote:
Quote: Well, it's about hidden details. Erlang is pretty straightforward language; C is a lot more tricky to make right. So there is a lot of non obvious bugs that I can't foresee when I write unit tests; PropEr's *random* tests are way better in this sense, because you just describe the domain of your task, not particular cases. You can also test your NIF incrementally, writing property after property (or command after command if there is some state involved). Speaking about my experience |
|
|
| Back to top |
|
| Guest |
Posted: Mon Oct 03, 2011 12:47 pm |
|
|
|
Guest
|
|
| Back to top |
|
| Guest |
Posted: Wed Oct 05, 2011 9:08 am |
|
|
|
Guest
|
On 10/03/11 10:51, Tim Watson wrote:
> On 2 October 2011 22:27, Dmitry Groshev <lambdadmitry@gmail.com
> <mailto:lambdadmitry@gmail.com>> wrote:
>
> Well, it's about hidden details. Erlang is pretty straightforward
> language; C is a lot more tricky to make right. So there is a lot of
> non obvious bugs that I can't foresee when I write unit tests;
> PropEr's *random* tests are way better in this sense, because you
> just describe the domain of your task, not particular cases. You can
> also test your NIF incrementally, writing property after property
> (or command after command if there is some state involved).
> Speaking about my experience |
|
|
| Back to top |
|
|
|