ENV-004m — Prevent Execution Under Uncontrolled Conditions

Go to ENV-004 — Provide Deterministic Test Environment

Statement

The DIDO-TE SHALL prevent Test Execution under an uncontrolled environmental condition.

Derived From

, source requirement identifier and obligation to be assigned[DTE6] Structured Information Processing Reference Architecture (SIP-RA)[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 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 Test Object.

Preventing execution protects the validity, interpretation, Reproducibility, and Comparability of Test Results.

Applies To

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 Evidence.The DIDO-TE maintains 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 controlsInspection of environmental-determinism validation outcomesObservation of Test Execution following a valid outcomeAn attempted Test Execution without environmental validationAn attempted Test Execution following an invalid outcomeAn attempted Test Execution with an unsatisfied mandatory environmental criterionAn attempted unauthorised bypass of the prevention controlConfirmation that the DIDO-TE prevents each invalid execution attemptInspection of prevention-event Evidence and Traceability recordsConfirmation that an execution admitted under an uncontrolled condition produces a nonconformance result

Referenced By

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:

{{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}}

© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.