dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:env-004e-control-random-values

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-004e-control-random-values [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-004e-control-random-values [2026/08/18 12:34] (current) – ↷ Links adapted because of a move operation nick_dido
Line 1: Line 1:
 +====== ENV-004e — Control Random Values ======
  
 +[[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 control each random value source in accordance with the applicable [[dido:99_annexes:annex-b-terms-and-definitions:t:test_definition|Test Definition]].
 +
 +===== 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-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 =====
 +
 +Random and pseudorandom values influence data generation, sampling, scheduling, security behaviour, simulated events, fault injection, and other aspects of [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]].
 +
 +A pseudorandom value source produces a repeatable sequence when it uses the same algorithm, seed, parameters, and invocation sequence. A nondeterministic source does not necessarily provide this repeatability.
 +
 +The applicable Test Definition identifies the random value sources requiring control. It also specifies the required algorithms, seeds, parameters, invocation conditions, or recording criteria.
 +
 +Control of random value sources supports the 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: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 applicable Test Definition identifies each random value source that influences the Test Execution.
 +  * The Test Definition classifies each identified source as deterministic or nondeterministic.
 +  * Each controlled pseudorandom value source uses the specified algorithm, seed, and parameters.
 +  * Each controlled pseudorandom value source produces the specified sequence under equivalent invocation conditions.
 +  * The DIDO-TE records the output of each applicable nondeterministic source.
 +  * The DIDO-TE detects an unidentified or incorrectly configured random value source.
 +  * The DIDO-TE records random value source identities, configurations, seeds, parameters, outputs, and detected deviations 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 random value source, the Test Definition, the Test Execution, the Evidence, and the Test Results.
 +  * An unidentified, incorrectly configured, unrecorded, or untraceable random value source constitutes nonconformance with this requirement.
 +
 +Verification includes:
 +
 +  * Inspection of the random value sources identified by the Test Definition
 +  * Inspection of algorithms, seeds, parameters, and invocation conditions
 +  * Repetition of a Test Execution using equivalent pseudorandom source settings
 +  * Comparison of the resulting pseudorandom value sequences
 +  * Inspection of values obtained from applicable nondeterministic sources
 +  * A negative assessment using an incorrect seed, algorithm, or parameter
 +  * A negative assessment using an unidentified random value source
 +  * Confirmation that the DIDO-TE detects and records each deviation
 +  * Inspection of Evidence and Traceability records
 +  * Confirmation that each negative assessment produces a nonconformance result
 +
 +===== Referenced By =====
 +
 +{{backlinks>.}}
 +
 +===== Related Architecture Sections =====
 +
 +  * Add links to the architecture sections governing random value generation, Test Configuration, Test Execution, Evidence, Reproducibility, 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-004e-control-random-values#Statement&noheader&nofooter&noeditbtn}}
 +</code>
 +
 +----
 +
 +<WRAP centeralign>
 +© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.
 +</WRAP>