Content deleted Content added
No edit summary |
No edit summary |
||
Line 64:
* [https://code.google.com/p/randoop/ Randoop] - generates sequences of methods and constructor invocations for the classes under test and creates [[JUnit]] tests from these
* [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
== Critique ==
<blockquote>Random testing has only a specialized niche in practice, mostly because an effective oracle is seldom available, but also because of difficulties with the operational profile and with generation of pseudorandom input values.<ref name="Hamlet94"/><blockquote>
(Oracle = instrument for verifying whether the outcomes match the program specification or not. Operation profile = knowledge about usage patterns of the program and thus which parts are more important.)
== See also ==
| |||