Random testing: Difference between revisions

Revision as of 09:24, 19 August 2014

Revision as of 09:26, 19 August 2014

Line 73:

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> StudiesIn haveparticular, beenrandom conductedtesting tofinds findmore whetherbugs than manual inspections findor bugsuser better and random testing usually find more bugsreports (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://onlinelibrary.wiley.com/doi/10.1002/stvr.415/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 ==