Lexicon

Broad Input Exploration

Kind: capability

Layer: Computation Core

Record: lexicon:broad-input-exploration

Canonical: Lexicon

The ability to exercise a function across a wide, generated range of inputs.

Listed in Lexicon terms, after Behavior Validation and before Mathematical Assurance.

Category

  • Correctness / Determinism / Verification

Enabled by

  • Property-Based Testing

Linked from

  • Correctness / Determinism / Verification