Content deleted Content added
→Types of random testing (draft): everything is a draft on Wikipedia |
|||
Line 64:
* [[Fuzz testing]] - a kind of random testing when invalid input is provided to tested program.
* [[Lazy systematic unit testing#Systematic Testing]] - a systematic way of exploring "all" method calls, as implemented e.g. by NASA's [http://babelfish.arc.nasa.gov/trac/jpf/wiki/intro/what_is_jpf Java Path Finder] (which blands [http://babelfish.arc.nasa.gov/trac/jpf/wiki/intro/testing_vs_model_checking testing with model checking] by limiting the state space to a reasonable size by various means)
* [[SystemVerilog#Constrained_random_generation|Constrained random generation in SystemVerilog]]
== References ==
|