Random testing: Difference between revisions

Content deleted Content added
Types of random testing (draft): everything is a draft on Wikipedia
Dekart (talk | contribs)
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 ==