Taxonomy for test oracles

Mere som dette

Estimation and Computation

af Allison Biagi

MTE 280 - Roxanne Cavalera

af Roxanne Cavalera

Ch2_Sampling

af Matthew Pickard

Gym

af Kadence Monte

Uses previous runs for the next test

Can generate and verify large amount of data

Used in regression test

Consistent

Very fast verification

Used in boundary testing

Verify a selected set of samples

Sampling

Useful to validate algorithms

Easier than True Oracle

Reproduce values based on algorithms

Heuristic oracle

May miss errors

Stochastic

Useful for limitated inputs

Verify randomly a sample

True oracle

Expensive implementation

Long execution times

Useful for exhaustive testing

Validate algorithms

Independent generation of expected results

Taxonomy for test oracles