Scientist: Measure Twice, Cut Over Once

Re:Scientist: Measure Twice, Cut Over Once by platz on Thursday February 04, 2016 @01:25AM (#11032373)

Is is also called a "Test Oracle" in property-based testing. The "Oracle" is your known good impl, and you test your subject function using inputs comparing against the oracle. Works great with property tests because you don't need to manually specify the input, just generate them and check the equality holds

[ Parent | on HN ]

Re:Scientist: Measure Twice, Cut Over Once by eru on Thursday February 04, 2016 @01:59AM (#11032461)

Of course, property-based testing is richer, and also works without a reference implementation. Eg you can test properties like commutativity

   f(x, y) = f(y, x)

without a reference implementation.

[ Parent | on HN ]