Coverage Risk Prioritization

Kind: algorithm

Record: algorithms:coverage-risk-prioritization

Canonical: Algorithms

Closure: Dependencies in load order

Score each required-uncovered surface by failure impact and reachability, rank the surfaces, and address the highest-risk gaps first, so limited testing effort removes the most risk.

Listed in Algorithm contracts, after Uncovered Gap Derivation and before Technique and Invariant Selection.

Domain

• Test coverage

Stage

• intent

Axis

• teleology

Tier

• process

Composed by

• Test Coverage Kernel

Grounds

• tel-priority

Named in the derivation of

• Test Coverage Kernel

Math type

• Optimization

Force

• Correctness verification

Linked from

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