[Ur] Property-based testing + Contract driven development

[Simon Van Casteren]

Hey,

My current urweb project is getting quite big and there's a few places
where property-based testing would be very handy. I've not found anything
online though that can do this for urweb. Is anybody working on this?
Porting Quickcheck or one of its derivatives from Haskell or PureScript
would probably be the fast way to go.

Secondly, I've found contract driven development to work extremely well
with property-based testing. Again the same question: Has anyone used it in
urweb? I'm just looking for a handy way to specify pre/post conditions and
somehow have the compiler strip them out of production code.

Thanks for any help

Simon

[Artyom Shalkhakov]

Hi Simon,

What has been done about this? I'm very interested in making testing easy
to do in Ur/Web.

On Mon, Jul 9, 2018, 2:52 PM Simon Van Casteren <

Post by Simon Van Casteren
Hey,
My current urweb project is getting quite big and there's a few places
where property-based testing would be very handy. I've not found anything
online though that can do this for urweb. Is anybody working on this?
Porting Quickcheck or one of its derivatives from Haskell or PureScript
would probably be the fast way to go.
Secondly, I've found contract driven development to work extremely well
with property-based testing. Again the same question: Has anyone used it in
urweb? I'm just looking for a handy way to specify pre/post conditions and
somehow have the compiler strip them out of production code.
Thanks for any help
Simon
_______________________________________________
Ur mailing list
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

[Simon Van Casteren]

Hey,

Unfortunately, nothing so far. All I have in my current project is unit
tests, which are just an assert coupled with a page that runs it and
generates output on a page.

Simon

Post by Artyom Shalkhakov
Hi Simon,
What has been done about this? I'm very interested in making testing easy
to do in Ur/Web.
On Mon, Jul 9, 2018, 2:52 PM Simon Van Casteren <

Post by Simon Van Casteren
Hey,
My current urweb project is getting quite big and there's a few places
where property-based testing would be very handy. I've not found anything
online though that can do this for urweb. Is anybody working on this?
Porting Quickcheck or one of its derivatives from Haskell or PureScript
would probably be the fast way to go.
Secondly, I've found contract driven development to work extremely well
with property-based testing. Again the same question: Has anyone used it in
urweb? I'm just looking for a handy way to specify pre/post conditions and
somehow have the compiler strip them out of production code.
Thanks for any help
Simon
_______________________________________________
Ur mailing list
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

_______________________________________________
Ur mailing list
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur