Random testing: Difference between revisions

Revision as of 09:05, 19 August 2014

Revision as of 09:17, 19 August 2014

Line 71:

An Oracle is an instrument for verifying whether the outcomes match the program specification or not. An operation profile is knowledge about usage patterns of the program and thus which parts are more important.

For programming languages and platforms which have contracts (for example Eiffel. .NET or various extensions of Java like JML, CoFoJa...) contracts act as natural oracles and the approach has been applied successfully.<ref name="AutoTest">http://se.inf.ethz.ch/research/autotest/</ref> Studies have been conducted to find whether manual inspections find bugs better and random testing usually find more bugs (albeit different ones).<ref name="ManualvsRandom">{{cite journal|title=On the number and nature of faults found by random testing|year=2009|publisher=John Wiley and Sons|url=http://seonlinelibrary.ethzwiley.chcom/~meyerdoi/publications10.1002/testing/test_comparisonstvr.pdf415/abstract|author=Ilinca Ciupa|author2=Alexander Pretschner|author3=Manuel Oriol|author4=Andreas Leitner|author5=Bertrand Meyer|journal=Software Testing, Verification and Reliability}}</ref>

== See also ==