Coverage Workspace

Kind: algorithm

Record: algorithms:coverage-workspace

Canonical: Algorithms

Closure: Dependencies in load order

Establish the unit under test, load the test-surface catalog as the space of what can be wrong, and enumerate every surface the unit can carry, so coverage is measured against the full derivable space rather than an ad-hoc list.

Listed in Algorithm contracts, after Lifetime Resolution and before Surface Grid Walk.

Domain

• Test coverage

Stage

• orient

Axis

• ontology

Tier

• process

Composed by

• Test Coverage Kernel

Named in the derivation of

• Test Coverage Kernel

Math type

• Set Theory

Force

• Correctness verification

Linked from

• Test coverage
• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces