dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:start

Differences

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

Link to this comparison view

Both sides previous 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:start [2026/08/18 12:34] – ↷ Page moved from dido:03-dido-te:99-annexes:annex-c-requirements:02-test-environment-requirements:env-004-provide-deterministic-test-environment:start to dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-re nick_didodido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:start [2026/08/18 13:58] (current) – nick_dido
Line 1: Line 1:
 ====== ENV-004 — Provide Deterministic Test Environment ====== ====== ENV-004 — Provide Deterministic Test Environment ======
  
-[[dido:03-dido-te:99-annexes:annex-c-requirements:02-test-environment-requirements:start|Go to C.2 Test Environment Requirements]]+[[dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:start|Go to C.3.1 Test Environment Requirements]]
  
-===== Statement =====+ENV-004 is a non-leaf requirement group governing control, measurement, and recording of environmental variation within a [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]].
  
-The [[dido:99_annexes:annex-b-terms-and-definitions:d:dido-te|DIDO-TE]] SHALL provide a [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]] in which each source of environmental variation identified by the applicable [[dido:99_annexes:annex-b-terms-and-definitions:t:test_definition|Test Definition]] is controlled or measured and recorded.+Conformance is assessed against the individual leaf requirements listed below. ENV-004 does not establish a separate conformance obligation.
  
-===== Derived From =====+===== Contents ===== 
 + 
 +The following child requirements decompose ENV-004 into individually verifiable obligations: 
 + 
 +{{indexmenu>dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment#1|js navbar nocookie maxjs#1 id#dido_te_env_004_requirements_nav}} 
 + 
 +===== Source =====
  
   * [[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-005|[DTE5] DIDO-TE Requirements Register]], source requirement identifier and obligation to be assigned
Line 15: Line 21:
 ===== Rationale ===== ===== Rationale =====
  
-A deterministic Test Environment controls the environmental conditions capable of influencing a [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]] or its resulting [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]].+A deterministic [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]] controls environmental conditions capable of influencing a [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]] or its resulting [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]].
  
 Relevant conditions include applied [[dido:99_annexes:annex-b-terms-and-definitions:b:baseline|Baselines]], [[dido:99_annexes:annex-b-terms-and-definitions:c:configuration|Configuration]] values, [[dido:99_annexes:annex-b-terms-and-definitions:t:test_input|Test Inputs]], time sources, random values, execution ordering, resource allocation, communication conditions, and external dependencies. Relevant conditions include applied [[dido:99_annexes:annex-b-terms-and-definitions:b:baseline|Baselines]], [[dido:99_annexes:annex-b-terms-and-definitions:c:configuration|Configuration]] values, [[dido:99_annexes:annex-b-terms-and-definitions:t:test_input|Test Inputs]], time sources, random values, execution ordering, resource allocation, communication conditions, and external dependencies.
  
-Some distributed-system characteristics cannot be fixed without changing the behaviour under test. In those cases, the Test Environment must measure and record the applicable variation rather than conceal or eliminate it.+Some distributed-system characteristics cannot be fixed without changing the behaviour under test. In those cases, the Test Environment requires measurement and recording of the applicable variation rather than concealment or elimination of the variation.
  
-Environmental determinism does not require every Test Execution to produce an identical Test Result. It requires the DIDO-TE to control or account for environmental variation so investigators can distinguish behaviour produced by the [[dido:99_annexes:annex-b-terms-and-definitions:t:test_object|Test Object]] from behaviour produced by changes in the Test Environment.+Environmental determinism does not require every Test Execution to produce an identical Test Result. It requires environmental variation to be controlled or accounted for so that behaviour produced by the [[dido:99_annexes:annex-b-terms-and-definitions:t:test_object|Test Object]] can be distinguished from behaviour produced by changes in the Test Environment. 
 + 
 +The leaf requirements in this group define the individually verifiable obligations governing environmental control, measurement, variation detection, recording, and traceability.
  
 This control supports [[dido:99_annexes:annex-b-terms-and-definitions:r:reproducibility|Reproducibility]], [[dido:99_annexes:annex-b-terms-and-definitions:c:comparability|Comparability]], [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]], and interpretation of Test Results. This control supports [[dido:99_annexes:annex-b-terms-and-definitions:r:reproducibility|Reproducibility]], [[dido:99_annexes:annex-b-terms-and-definitions:c:comparability|Comparability]], [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]], and interpretation of Test Results.
- 
-===== Contents ===== 
- 
-The following child requirements decompose ENV-004 into individually verifiable obligations: 
- 
-{{indexmenu>dido:03-dido-te:99-annexes:annex-c-requirements:02-test-environment-requirements:env-004-provide-deterministic-test-environment#1|js navbar nocookie maxjs#1 id#dido_te_env_004_requirements_nav}} 
  
 ===== Applies To ===== ===== Applies To =====
Line 45: Line 47:
   * [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]]   * [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]]
  
-===== Verification ===== +===== Traceability =====
- +
-Verification confirms satisfaction of each applicable child requirement under ENV-004. +
- +
-Collectively, the child requirements verify that: +
- +
-  * The applicable Test Definition identifies the environmental conditions requiring control. +
-  * The DIDO-TE controls each identified condition when direct control is required and technically appropriate. +
-  * The DIDO-TE measures and records an identified condition when controlling the condition would prevent or distort the behaviour under test. +
-  * The DIDO-TE detects environmental conditions outside the permitted values, ranges, sequences, or tolerances. +
-  * The DIDO-TE records controlled conditions, measured variations, detected deviations, and validation results 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 Test Definition, controlled or measured conditions, Test Environment, Test Execution, Evidence, and Test Results. +
-  * The DIDO-TE prevents Test Execution when an applicable environmental condition remains uncontrolled, unmeasured, unrecorded, or outside its permitted tolerance. +
-  * Repeated Test Executions under equivalent controlled environmental conditions provide a basis for assessing Reproducibility and Comparability. +
- +
-Verification includes: +
- +
-  * Inspection of the applicable child-requirement verification results +
-  * Inspection of the environmental conditions identified by the Test Definition +
-  * Observation of environmental-condition control, measurement, and recording +
-  * Comparison of repeated Test Executions conducted under equivalent controlled conditions +
-  * Testing with an environmental condition outside its permitted value, range, sequence, or tolerance +
-  * Confirmation that the DIDO-TE detects and records the variation +
-  * Confirmation that the DIDO-TE prevents Test Execution when the applicable child requirements require prevention +
-  * Inspection of Evidence and Traceability records +
- +
-===== Referenced By =====+
  
 {{backlinks>.}} {{backlinks>.}}
  
-===== Related Architecture Sections =====+===== ConOps Relationship =====
  
-  * Add links to the architecture sections governing Test Environment determinism, Configuration control, Test Input control, time, randomness, execution ordering, resource allocation, external dependencies, communication conditions, environmental monitoring, Evidence, and Test Execution admission.+Add links to the ConOps activities and architecture sections governing Test Environment determinism, Configuration control, Test Input control, time, randomness, execution ordering, resource allocation, external dependencies, communication conditions, environmental monitoring, Evidence, and Test Execution admission.
  
 ===== Delivery Phase ===== ===== Delivery Phase =====
Line 87: Line 63:
 Draft Draft
  
-===== Statement Reference =====+===== Notes for Editors ===== 
 + 
 +The subordinate leaf requirements define the normative obligations and corresponding verification criteria for ENV-004.
  
-Use the following syntax to reference this requirement’s Statement section from another DokuWiki page:+The former ENV-004 Statement and Verification sections were removed because ENV-004 serves as a non-leaf requirement group and does not establish an independently verifiable conformance obligation.
  
-<code dokuwiki> +After you create and finalize all subordinate requirement pages, you may remove explicit child links because the ''indexmenu'' automatically discovers the leaf pages.
-{{section>dido:03-dido-te:99-annexes:annex-c-requirements:02-test-environment-requirements:env-004-provide-deterministic-test-environment:start#Statement&noheader&nofooter&noeditbtn}} +
-</code>+
  
 ---- ----
  • dido/03-dido-te/99-annexes/annex-c-requirements/03-functional-requirements/03-01-test-environment-requirements/env-004-provide-deterministic-test-environment/start.txt
  • Last modified: 2026/08/18 13:58
  • by nick_dido