Revision as of 10:25, 16 June 2013 edit Malyvelky (talk \| contribs) 26 edits added links to some tools ← Previous edit		Revision as of 10:27, 16 June 2013 edit undo Malyvelky (talk \| contribs) 26 edits mNo edit summary Next edit →
Line 45: == Implementations == * [[~~Quick Check~~QuickCheck]] - a famous test tool, originally developed for [[Haskell]] but ported to many other languages, that generates random sequences of API calls based on a model and verifies system properties that should hold true after each run. Check this [http://www.quviq.com/documents/QuviqFlyer.pdf QuviQ QuickCheck flyer] for a quick overview. * [https://github.com/Datomic/simulant/wiki/Overview Simulant] - a [[Clojure]] tool that runs simulations of various agents (f.ex. users with different behavioral profiles) based on a statistical model of their behavior, recording all the actions and results into a database for later exploration and verification

Random testing: Difference between revisions