Uncovered Gap Derivation

Kind: algorithm

Record: algorithms:uncovered-gap-derivation

Canonical: Algorithms

Closure: Dependencies in load order

Reduce the candidate-gap set to the cells this unit can fail in, yielding the required-but-uncovered surfaces that still owe a test, so effort is spent on gaps that can fail rather than the full cartesian complement.

Listed in Algorithm contracts, after Surface Grid Walk and before Coverage Risk Prioritization.

Domain

• Test coverage

Stage

• derive

Axis

• reasoning

Tier

• process

Composed by

• Test Coverage Kernel

Named in the derivation of

• Test Coverage Kernel

Math type

• Logic

Force

• Correctness verification

Linked from

• A cell that resists an invariant
• Test coverage
• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces