Lexicon

Behavior Validation

Kind: capability

Layer: Computation Core

Record: lexicon:behavior-validation

Canonical: Lexicon

The ability to confirm a system behaves as its specification requires.

Listed in Lexicon terms, after Untested Implementation and before Broad Input Exploration.

Category

  • Correctness / Determinism / Verification

Enabled by

  • Specification-Based Testing

Linked from

  • Correctness / Determinism / Verification