Lexicon

Test Observable Behavior

Kind: technique

Layer: Computation Core

Record: lexicon:test-observable-behavior

Canonical: Lexicon

A technique for asserting on a unit's outputs and effects instead of on the internal calls it makes.

Listed in Lexicon terms, after Inject Clock and Randomness and before Fake at the Boundary.

Category

  • Correctness / Determinism / Verification

Refactors

  • Mock Mirage

Linked from

  • Anti-patterns