Is is also called a "Test Oracle" in property-based testing. The "Oracle" is you... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

platz on Feb 4, 2016 | parent | context | favorite | on: Scientist: Measure Twice, Cut Over Once

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

eru on Feb 4, 2016 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact