2 ms·

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 ag

by platz 11y ago

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 11y ago
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.