Taxonomy for test oracles

Mais informações

Gym

por Kadence Monte

'True Love' by Isaac Asimov 1977

por Jane Ulbich

Validation and Verification

por Kezia Bailey

How to Solve It George Pólya

por Oscar liang

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