Test coverage

Kind: domain

Record: algorithms-domain:test-coverage

Canonical: Algorithms

The Test coverage domain holds 11 algorithm contracts.

Listed in Algorithm domains, after Coordination and before Pattern Abstract Grammar.

Contracts

Linked from

Test coverage

Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain.

Relations diagram
What composes what inside this domain.
flowchart LR
    n_coverage_workspace["Coverage Workspace"]
    n_surface_grid_walk["Surface Grid Walk"]
    n_uncovered_gap_derivation["Uncovered Gap Derivation"]
    n_coverage_risk_prioritization["Coverage Risk Prioritization"]
    n_technique_invariant_selection["Technique and Invariant Selection"]
    n_test_authoring["Test Authoring"]
    n_evidence_verdict["Evidence Verdict"]
    n_coverage_ledger["Coverage Ledger"]
    n_coverage_completion["Coverage Completion"]
    n_test_coverage_kernel["Test Coverage Kernel"]
    n_test_coverage_concern["<Test Coverage Concern>"]
    n_test_coverage_kernel --> n_coverage_workspace
    n_test_coverage_kernel --> n_surface_grid_walk
    n_test_coverage_kernel --> n_uncovered_gap_derivation
    n_test_coverage_kernel --> n_coverage_risk_prioritization
    n_test_coverage_kernel --> n_technique_invariant_selection
    n_test_coverage_kernel --> n_test_authoring
    n_test_coverage_kernel --> n_evidence_verdict
    n_test_coverage_kernel --> n_coverage_ledger
    n_test_coverage_kernel --> n_coverage_completion