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.
