Lexicon

Regression Safety

Kind: capability

Layer: Computation Core

Record: lexicon:regression-safety

Canonical: Lexicon

The ability to catch regressions when code changes by re-running tests.

Listed in Lexicon terms, after Mathematical Assurance and before Reliable Automation.

Category

  • Correctness / Determinism / Verification

Enabled by

  • Testability

Linked from

  • Correctness / Determinism / Verification