test-oracle-generator
Installation
SKILL.md
Test Oracle Generator
An oracle answers: "is this output correct?" For add(2, 3), the oracle is trivial: == 5. For optimize_route(cities), what's the right answer? The oracle is the hard part.
Oracle types — pick the cheapest that works
| Oracle type | How it works | When available |
|---|---|---|
| Known value | Hardcoded expected output | Small inputs you can compute by hand |
| Reference implementation | Compare against a trusted other implementation | A slow/simple version exists |
| Inverse function | decode(encode(x)) == x |
There's a round-trip |
| Invariant / property | Output satisfies a predicate | You know properties, not values |
| Metamorphic relation | Multiple runs relate in a known way | → metamorphic-test-generator |
| Differential | N implementations should agree | Multiple implementations exist |
| Regression (golden) | Output matches a saved previous output | You trust the current behavior |