Assertion Checking

Kind: technique

Record: reasoning:technique-assertion-checking

Canonical: Reasoning

Checks a runtime condition against an assumed invariant

Listed in Reasoning records, after Runtime Validation and before Fuzz Testing.

Mode

• comparison

Surfaces

• semantic-correctness
• state-correctness
• resource-correctness
• consistency-correctness
• data-correctness

Linked from

• The modes
• The test surfaces