====== 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>