Semantic Correctness

Kind: test-surface

Record: reasoning:test-surface-semantic-correctness

Canonical: Reasoning

output(input) = expected(input)

Listed in Reasoning records, after Read After Write Verification and before Functional Correctness.

Dimension

• meaning

Evidence grounds

• ver-evidence

Evidence source

• test-result

Invariant

• correct-outputs

Lens

• semantic

Predicate grounds

• ver-ground-truth

Predicate type

• equivalence

Techniques

• unit-testing
• property-based-testing
• differential-testing
• assertion-checking

Verdict domain

• pass
• fail
• unknown

Grounded by

• Surface Grid Walk
• Concern Classification

Linked from

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