Re: [ANN] stateful-check 0.1.0 - test stateful systems with test.check
On Sat, Nov 29, 2014 at 11:34:37AM -0800, tcrayford wrote: Nice! I wrote a sketch of this idea the day after I watched the talk: https://github.com/tcrayford/laundromat, but never pursued it much further (though I do use it in my test suite). Thanks for laundromat. I shamelessly stole the idea to use namespaced keywords to differentiate between the model and reality. -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. signature.asc Description: Digital signature
Re: [ANN] stateful-check 0.1.0 - test stateful systems with test.check
I'm glad my talk got someone working on things! I'm going to see if that library would be a better match for our integration tests than test.check alone. --Ashton Sent from my iPhone On Nov 28, 2014, at 9:50 AM, Carlo Zancanaro carlozancan...@gmail.com wrote: Hey Jan! On Fri, Nov 28, 2014 at 06:37:06AM -0800, Jan Stępień wrote: Thanks for sharing! I see that generative testing of statful computations is a popular topic in the Clojure world these days; Yeah, it certainly seems to be that way. I was re-invigorated to work on stateful-check after watching a talk from the conj about generative integration tests. I think we've started working on our libraries nearly the same day :) https://github.com/jstepien/states I've actually seen your library since writing stateful-check. When I experimented with it, though, I found its shrinking to be a bit lacking. With stateful-check I've actually implemented my own shrinking of commands to try to improve the shrinking results (it essentially tries to prune irrelevant commands before trying to shrink individual commands). I was quite interested in your approach of using a single function per specification property (precondition/postcondition/next-state). I thought that would be a bit constricting when it comes to actually writing test cases, though, so I've opted instead to have each of those defined per-command. How have you found that to be in practice? Thanks! Carlo -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [ANN] stateful-check 0.1.0 - test stateful systems with test.check
Carlo, Nice! I wrote a sketch of this idea the day after I watched the talk: https://github.com/tcrayford/laundromat, but never pursued it much further (though I do use it in my test suite). Awesome to see some real work put into this idea. On Friday, 28 November 2014 00:44:16 UTC, Carlo wrote: I've been working on a library for a little bit which I'm calling stateful-check (at least for now). It's mainly my attempt to work towards the sort of stateful testing that I first saw in John Hughes' talk Testing the Hard Stuff and Staying Sane[1]. https://github.com/czan/stateful-check https://clojars.org/org.clojars.czan/stateful-check Thus far I've only got it to perform single threaded operations, but I'm hoping to enhance it in future to do the sort of concurrent tests that are shown in the talk (although I'm not exactly sure how I'm going to do that yet). Anyway, I'm releasing this now in the hopes that somebody finds it useful! Carlo [1]: https://www.youtube.com/watch?v=zi0rHwfiX1Q -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [ANN] stateful-check 0.1.0 - test stateful systems with test.check
Hi Carlo, Thanks for sharing! I see that generative testing of statful computations is a popular topic in the Clojure world these days; I think we've started working on our libraries nearly the same day :) https://github.com/jstepien/states All the best, Jan -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [ANN] stateful-check 0.1.0 - test stateful systems with test.check
Hey Jan! On Fri, Nov 28, 2014 at 06:37:06AM -0800, Jan Stępień wrote: Thanks for sharing! I see that generative testing of statful computations is a popular topic in the Clojure world these days; Yeah, it certainly seems to be that way. I was re-invigorated to work on stateful-check after watching a talk from the conj about generative integration tests. I think we've started working on our libraries nearly the same day :) https://github.com/jstepien/states I've actually seen your library since writing stateful-check. When I experimented with it, though, I found its shrinking to be a bit lacking. With stateful-check I've actually implemented my own shrinking of commands to try to improve the shrinking results (it essentially tries to prune irrelevant commands before trying to shrink individual commands). I was quite interested in your approach of using a single function per specification property (precondition/postcondition/next-state). I thought that would be a bit constricting when it comes to actually writing test cases, though, so I've opted instead to have each of those defined per-command. How have you found that to be in practice? Thanks! Carlo -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. signature.asc Description: Digital signature
[ANN] stateful-check 0.1.0 - test stateful systems with test.check
I've been working on a library for a little bit which I'm calling stateful-check (at least for now). It's mainly my attempt to work towards the sort of stateful testing that I first saw in John Hughes' talk Testing the Hard Stuff and Staying Sane[1]. https://github.com/czan/stateful-check https://clojars.org/org.clojars.czan/stateful-check Thus far I've only got it to perform single threaded operations, but I'm hoping to enhance it in future to do the sort of concurrent tests that are shown in the talk (although I'm not exactly sure how I'm going to do that yet). Anyway, I'm releasing this now in the hopes that somebody finds it useful! Carlo [1]: https://www.youtube.com/watch?v=zi0rHwfiX1Q -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. signature.asc Description: Digital signature