dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:env-004l-validate-environmental-determinism

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:env-004l-validate-environmental-determinism [2026/08/18 12:34] – removed - external edit (Unknown date) 127.0.0.1dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:env-004l-validate-environmental-determinism [2026/08/18 12:34] (current) – ↷ Links adapted because of a move operation nick_dido
Line 1: Line 1:
 +====== ENV-004l — Validate Environmental Determinism ======
  
 +[[dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:start|Go to ENV-004 — Provide Deterministic Test Environment]]
 +
 +===== Statement =====
 +
 +The [[dido:99_annexes:annex-b-terms-and-definitions:d:dido-te|DIDO-TE]] SHALL validate environmental determinism before each [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]].
 +
 +===== Derived From =====
 +
 +  * [[dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:start|ENV-004 — Provide Deterministic Test Environment]]
 +  * [[dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:env-004j-detect-environmental-variation|ENV-004j — Detect Environmental Variation]]
 +  * [[dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:env-004k-record-environmental-variation|ENV-004k — Record Environmental Variation]]
 +  * [[dido:03-dido-te:99-annexes:annex-b-references:dte-005|[DTE5] DIDO-TE Requirements Register]], source requirement identifier and obligation to be assigned
 +  * [[dido:03-dido-te:99-annexes:annex-b-references:dte-006|[DTE6] Structured Information Processing Reference Architecture (SIP-RA)]]
 +  * [[dido:03-dido-te:99-annexes:annex-b-references:dte-007|[DTE7] Federated Data Interpretation Systems Reference Architecture (FDIS-RA)]]
 +
 +===== Rationale =====
 +
 +Environmental determinism exists when the [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]] satisfies the controlled conditions specified by the applicable [[dido:99_annexes:annex-b-terms-and-definitions:t:test_definition|Test Definition]].
 +
 +Validation determines whether the applicable Baselines, Configurations, Test Inputs, time sources, random value sources, execution-ordering controls, resource allocations, external dependencies, and communication conditions satisfy their specified criteria.
 +
 +Pre-execution validation prevents an invalid environmental condition from undermining the interpretation, [[dido:99_annexes:annex-b-terms-and-definitions:r:reproducibility|Reproducibility]], or [[dido:99_annexes:annex-b-terms-and-definitions:c:comparability|Comparability]] of the resulting [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]].
 +
 +===== Applies To =====
 +
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_definition|Test Definition]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_object|Test Object]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:n:node|Node]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_input|Test Input]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_resource|Test Resource]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:b:baseline|Baseline]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:c:configuration|Configuration]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:c:constraint|Constraint]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]]
 +
 +===== Verification =====
 +
 +Verification confirms that:
 +
 +  * The applicable Test Definition identifies each environmental condition subject to validation.
 +  * Each validation criterion has a specified value, state, range, sequence, or tolerance.
 +  * The DIDO-TE evaluates each validation criterion before Test Execution.
 +  * The DIDO-TE identifies each criterion as satisfied or unsatisfied.
 +  * The DIDO-TE produces an environmental-determinism validation outcome.
 +  * A valid outcome requires satisfaction of every mandatory environmental criterion.
 +  * The validation outcome identifies each unsatisfied criterion.
 +  * The validation outcome identifies each detected environmental variation.
 +  * The DIDO-TE records the validation outcome as [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]].
 +  * The DIDO-TE maintains [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]] among the validation outcome, the Test Definition, the environmental conditions, and the proposed Test Execution.
 +  * An omitted, incomplete, incorrect, unsupported, or untraceable validation constitutes nonconformance with this requirement.
 +
 +Verification includes:
 +
 +  * Inspection of the environmental criteria specified by the Test Definition
 +  * Inspection of environmental-determinism validation procedures
 +  * Observation of validation before Test Execution
 +  * Comparison of specified and observed environmental conditions
 +  * Testing with an environment that satisfies every mandatory criterion
 +  * Testing with an unsatisfied Baseline or Configuration criterion
 +  * Testing with an unsatisfied Test Input, time-source, or random-value criterion
 +  * Testing with an unsatisfied ordering, resource, dependency, or communication criterion
 +  * Inspection of validation outcomes, Evidence, and Traceability records
 +  * Confirmation that each unsatisfied mandatory criterion produces an invalid outcome
 +
 +===== Referenced By =====
 +
 +{{backlinks>.}}
 +
 +===== Related Architecture Sections =====
 +
 +  * Add links to the architecture sections governing environmental validation, deterministic execution, Test Definition, Test Execution, Evidence, and Traceability.
 +
 +===== Delivery Phase =====
 +
 +Assign the applicable delivery phase.
 +
 +===== Requirement Status =====
 +
 +Draft
 +
 +===== Statement Reference =====
 +
 +Use the following syntax to reference this requirement’s Statement section from another DokuWiki page:
 +
 +<code dokuwiki>
 +{{section>dido:03-dido-te:99-annexes:annex-c-requirements:02-test-environment-requirements:env-004-provide-deterministic-test-environment:env-004l-validate-environmental-determinism#Statement&noheader&nofooter&noeditbtn}}
 +</code>
 +
 +----
 +
 +<WRAP centeralign>
 +© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.
 +</WRAP>