dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:env-004f-control-execution-ordering

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-004f-control-execution-ordering [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-004f-control-execution-ordering [2026/08/18 12:34] (current) – ↷ Links adapted because of a move operation nick_dido
Line 1: Line 1:
 +====== ENV-004f — Control Execution Ordering ======
  
 +[[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 execution ordering 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 =====
 +
 +Execution ordering determines the sequence in which test activities, events, operations, messages, state transitions, and interactions occur.
 +
 +An unintended difference in ordering can change system behaviour and the resulting [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]]. Concurrent and distributed systems also contain ordering that the Test Environment cannot control without altering the behaviour under test.
 +
 +The applicable Test Definition distinguishes required ordering from permitted concurrency and variation. The DIDO-TE enforces required ordering and observes actual ordering where variation remains permissible.
 +
 +Control and observation of execution ordering permit investigators to identify ordering differences and assess their effect on 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_procedure|Test Procedure]]
 +  * [[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:constraint|Constraint]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]]
 +
 +===== Verification =====
 +
 +Verification confirms that:
 +
 +  * The applicable Test Definition identifies each required execution-ordering constraint.
 +  * Each ordering constraint identifies the affected activities, events, operations, messages, state transitions, or interactions.
 +  * Each ordering constraint specifies the required predecessor, successor, dependency, synchronisation point, or permitted concurrency.
 +  * The DIDO-TE enforces each required ordering constraint.
 +  * The DIDO-TE observes actual execution ordering where the Test Definition permits variation.
 +  * The DIDO-TE detects an execution-ordering violation.
 +  * The DIDO-TE records actual ordering, synchronisation events, permitted variations, and detected violations as [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]].
 +  * The recorded information provides sufficient precision to reconstruct the relevant execution order.
 +  * The DIDO-TE maintains [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]] among each ordering constraint, the Test Procedure, the Test Execution, the Evidence, and the Test Results.
 +  * An uncontrolled, unobserved, incorrectly ordered, or untraceable execution sequence constitutes nonconformance with this requirement.
 +
 +Verification includes:
 +
 +  * Inspection of the execution-ordering constraints in the Test Definition
 +  * Inspection of predecessor, successor, dependency, synchronisation, and concurrency criteria
 +  * Observation of a Test Execution that follows the required ordering
 +  * Observation of permitted concurrent or variable ordering
 +  * A negative assessment that violates a required ordering constraint
 +  * Confirmation that the DIDO-TE detects and records the violation
 +  * Reconstruction of the relevant execution order from recorded Evidence
 +  * Inspection of Traceability records
 +  * Confirmation that the negative assessment produces a nonconformance result
 +
 +===== Referenced By =====
 +
 +{{backlinks>.}}
 +
 +===== Related Architecture Sections =====
 +
 +  * Add links to the architecture sections governing Test Procedure sequencing, concurrency, synchronisation, event observation, Evidence, 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-004f-control-execution-ordering#Statement&noheader&nofooter&noeditbtn}}
 +</code>
 +
 +----
 +
 +<WRAP centeralign>
 +© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.
 +</WRAP>