State Correctness

Kind: test-surface

Record: reasoning:test-surface-state-correctness

Canonical: Reasoning

state[t+1] in next(state[t])

Listed in Reasoning records, after Functional Correctness and before Interface Correctness.

Dimension

• state

Evidence grounds

• ver-evidence

Evidence source

• test-result

Invariant

• valid-state-transitions

Lens

• sequential

Predicate grounds

• ver-ground-truth

Predicate type

• temporal-order

Techniques

• assertion-checking
• property-based-testing

Verdict domain

• pass
• fail
• unknown

Linked from

• The nodes
• The dimensions
• The lenses
• The techniques
• The invariants
• Verdicts
• Predicate types
• Evidence sources