Correctness / Determinism / Verification

Kind: category

Record: architecture-category:correctness-determinism-verification

Canonical: Ontology

The Correctness / Determinism / Verification category holds 15 architecture principles.

Listed in Principle categories, after Control / Coordination / Centralization and before Portability / Infrastructure / Deployment.

Principle

Layer

Linked from

Correctness / Determinism / Verification

Every principle in this category is listed as a record. Each record carries its kind, its severity, the scopes it applies at and the layer it lives in, then the edge relations that join it to other records, the records that point back at it, the contracts that answer to it and the tensions it takes part in. The descriptors say how it is violated, detected, measured, repaired and enforced. Where the record carries one, an exemplar shows the shape before and after the principle is applied.

Relations diagram
The relations inside this category.
flowchart LR
    n_determinism["Determinism"]
    n_predictability["Predictability"]
    n_referential_transparency["Referential Transparency"]
    n_pure_functions["Pure Functions"]
    n_immutability["Immutability"]
    n_reproducibility["Reproducibility"]
    n_repeatability["Repeatability"]
    n_correctness["Correctness"]
    n_formal_verification["Formal Verification"]
    n_specification_based_testing["Specification-Based Testing"]
    n_property_based_testing["Property-Based Testing"]
    n_static_analysis["Static Analysis"]
    n_testability["Testability"]
    n_validation["Validation"]
    n_verification["Verification"]
    n_determinism --> n_predictability
    n_determinism --> n_reproducibility
    n_predictability --> n_determinism
    n_referential_transparency --> n_pure_functions
    n_referential_transparency --> n_immutability
    n_referential_transparency --> n_determinism
    n_referential_transparency --> n_testability
    n_pure_functions --> n_testability
    n_pure_functions --> n_determinism
    n_pure_functions --> n_referential_transparency
    n_immutability --> n_predictability
    n_reproducibility --> n_determinism
    n_repeatability --> n_verification
    n_repeatability --> n_predictability
    n_correctness --> n_validation
    n_formal_verification --> n_correctness
    n_specification_based_testing --> n_correctness
    n_property_based_testing --> n_correctness
    n_testability --> n_pure_functions
    n_validation --> n_correctness
    n_verification --> n_correctness