dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:env-004m-prevent-execution-under-uncontrolled-conditions

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-004m-prevent-execution-under-uncontrolled-conditions [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-004m-prevent-execution-under-uncontrolled-conditions [2026/08/18 12:34] (current) – ↷ Links adapted because of a move operation nick_dido
Line 1: Line 1:
 +====== ENV-004m — Prevent Execution Under Uncontrolled Conditions ======
  
 +[[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 prevent [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]] under an uncontrolled environmental condition.
 +
 +===== 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-004l-validate-environmental-determinism|ENV-004l — Validate Environmental Determinism]]
 +  * [[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 =====
 +
 +An uncontrolled environmental condition exists when a mandatory environmental criterion lacks an applicable control or falls outside the condition permitted by the [[dido:99_annexes:annex-b-terms-and-definitions:t:test_definition|Test Definition]].
 +
 +Execution under such a condition introduces unbounded environmental variation. The resulting behaviour may reflect the uncontrolled condition rather than the behaviour of the [[dido:99_annexes:annex-b-terms-and-definitions:t:test_object|Test Object]].
 +
 +Preventing execution protects the validity, interpretation, [[dido:99_annexes:annex-b-terms-and-definitions:r:reproducibility|Reproducibility]], and [[dido:99_annexes:annex-b-terms-and-definitions:c:comparability|Comparability]] of [[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_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 DIDO-TE requires a valid environmental-determinism outcome before Test Execution.
 +  * The DIDO-TE prevents Test Execution when environmental validation has not occurred.
 +  * The DIDO-TE prevents Test Execution when environmental validation produces an invalid outcome.
 +  * The DIDO-TE prevents Test Execution when a mandatory environmental criterion remains unsatisfied.
 +  * The DIDO-TE identifies each condition that prevents Test Execution.
 +  * The DIDO-TE records each prevented Test Execution attempt.
 +  * The record identifies the applicable Test Definition.
 +  * The record identifies each unsatisfied environmental criterion.
 +  * The record identifies the prevention time and affected Test Environment.
 +  * The DIDO-TE protects the prevention control against unauthorised bypass.
 +  * The DIDO-TE records prevention events 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 each prevention event, the environmental validation outcome, the unsatisfied criterion, and the proposed Test Execution.
 +  * Execution without a valid environmental-determinism outcome constitutes nonconformance with this requirement.
 +
 +Verification includes:
 +
 +  * Inspection of Test Execution admission controls
 +  * Inspection of environmental-determinism validation outcomes
 +  * Observation of Test Execution following a valid outcome
 +  * An attempted Test Execution without environmental validation
 +  * An attempted Test Execution following an invalid outcome
 +  * An attempted Test Execution with an unsatisfied mandatory environmental criterion
 +  * An attempted unauthorised bypass of the prevention control
 +  * Confirmation that the DIDO-TE prevents each invalid execution attempt
 +  * Inspection of prevention-event Evidence and Traceability records
 +  * Confirmation that an execution admitted under an uncontrolled condition produces a nonconformance result
 +
 +===== Referenced By =====
 +
 +{{backlinks>.}}
 +
 +===== Related Architecture Sections =====
 +
 +  * Add links to the architecture sections governing execution admission, environmental validation, deterministic execution, Evidence, security controls, 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-004m-prevent-execution-under-uncontrolled-conditions#Statement&noheader&nofooter&noeditbtn}}
 +</code>
 +
 +----
 +
 +<WRAP centeralign>
 +© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.
 +</WRAP>