Hi Andy, All, I wrote a tool like this: https://github.com/tcrayford/laundromat
it's super hacky, and the api is definitely in beta. I asked some folk about reviewing this api, got little feedback, and figured it wasn't that much of a wanted thing after all. I still use it internally, but it's pretty bad at what it does right now. I'd love to hear if more folk are interested or if anybody's interested in contributing. Tom On Thursday, 23 October 2014 01:04:24 UTC-5, Andy Chambers wrote: > > Hi All, > > Lately I've been exploring the world introduced to me by watching the John > Hughes' quickcheck video from > clojure west. Awesome stuff! > > Eventually I found the "testing for fun and profit"[1] paper which left me > wanting to test my apps using > a model based system like the paper describes. It looks like > test-check-knossos[2] takes a stab at applying > knossos[3] to this problem. > > However the examples in that repo don't capture the the aspect of using > state to generate test commands to be > executed against the system. It's just a random stream of :take/:reset > operations whereas the registry example > in the paper seems to require that the function which generates the > sequence of test commands has access to > the state of the system under test at the start of each command. > > So is there a missing clojure library here? Is anybody working on > something that allows this style of model > testing? If not, would it make sense for someone writing one to leverage > knossos in any way? > > Cheers, > Andy > > [1]: http://people.inf.elte.hu/center/fulltext.pdf > [2]: https://github.com/philandstuff/test-check-knossos > [3]: https://github.com/aphyr/knossos > -- 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.
