Contract Testing

Kind: technique

Record: reasoning:technique-contract-testing

Canonical: Reasoning

Compares an observed interface with an agreed contract

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

Mode

• comparison

Surfaces

• interface-correctness
• interaction-correctness
• protocol-correctness

Linked from

• The modes
• The test surfaces