Lexicon

Untested Implementation

Kind: anti-pattern

Layer: Computation Core

Record: lexicon:untested-implementation

Canonical: Lexicon

Shipping code with no tests, so its conformance to the specification is unverified.

Listed in Lexicon terms, after Undefined Behavior and before Behavior Validation.

Category

  • Correctness / Determinism / Verification

Negated by

  • Verification

Violates

  • Verification

Linked from

  • Correctness / Determinism / Verification
  • Failure shapes