ENV-004m — Prevent Execution Under Uncontrolled Conditions

Go to ENV-004 — Provide Deterministic Test Environment

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

• ENV-004 — Provide Deterministic Test Environment
• ENV-004l — Validate Environmental Determinism
• [DTE5] DIDO-TE Requirements Register, 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)

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.

• Test Environment
• Test Definition
• Test Execution
• Test Object
• Node
• Test Resource
• Baseline
• Configuration
• Constraint
• Evidence

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

• Add links to the architecture sections governing execution admission, environmental validation, deterministic execution, Evidence, security controls, and Traceability.

Assign the applicable delivery phase.

Draft

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