Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-02-node-requirements:nod-002-provision-a-node:nod-002f-establish-the-node-initial-state [2026/08/17 14:20] – removed - external edit (Unknown date) 127.0.0.1 | dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-02-node-requirements:nod-002-provision-a-node:nod-002f-establish-the-node-initial-state [2026/08/17 14:20] (current) – ↷ Links adapted because of a move operation nick_dido | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== NOD-002f — Establish the Node Initial State ====== | ||
| + | [[dido: | ||
| + | |||
| + | ===== Statement ===== | ||
| + | |||
| + | The [[dido: | ||
| + | |||
| + | ===== Derived From ===== | ||
| + | |||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | |||
| + | ===== Rationale ===== | ||
| + | |||
| + | A successfully instantiated Node does not necessarily occupy the controlled lifecycle state required before configuration, | ||
| + | |||
| + | Establishing the initial state applies the prescribed startup conditions, resets transient effects, confirms required preconditions, | ||
| + | |||
| + | An undefined, residual, ambiguous, or incorrectly established state permits prior activity, stale data, incomplete startup, or environmental effects to influence Test Execution and Test Results. | ||
| + | |||
| + | Establishing the initial state does not constitute complete Node configuration, | ||
| + | |||
| + | ===== Applies To ===== | ||
| + | |||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * Node Definition | ||
| + | * Node Lifecycle | ||
| + | * Node State | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | |||
| + | ===== Verification ===== | ||
| + | |||
| + | Verification confirms that: | ||
| + | |||
| + | * The Node Definition identifies the required initial state. | ||
| + | * The initial state has a unique name or identifier. | ||
| + | * The initial state belongs to the defined Node lifecycle. | ||
| + | * The Node Definition identifies the preconditions for entering the initial state. | ||
| + | * The Node Definition identifies the operations required to establish the initial state. | ||
| + | * The Node Definition identifies the expected conditions, values, resources, interfaces, and observations associated with the initial state. | ||
| + | * The Node Definition identifies the completion criteria for establishing the initial state. | ||
| + | * The DIDO-TE verifies that the Node instance satisfies each applicable initial-state precondition. | ||
| + | * The DIDO-TE performs the required initialisation, | ||
| + | * The DIDO-TE applies the operations in the required sequence. | ||
| + | * The DIDO-TE places each interface in its specified initial condition. | ||
| + | * The DIDO-TE places each applicable Dependency and Test Resource relationship in its specified initial condition. | ||
| + | * The DIDO-TE establishes the specified initial values for state variables, data stores, queues, caches, clocks, counters, credentials, | ||
| + | * The DIDO-TE removes or identifies residual data, state, processes, connections, | ||
| + | * The DIDO-TE distinguishes retained state required by the Node Definition from unintended residual state. | ||
| + | * The DIDO-TE confirms the Node’s actual state using the observations defined for the Node. | ||
| + | * The DIDO-TE confirms that each mandatory initial-state criterion is satisfied. | ||
| + | * The DIDO-TE detects an undefined, incomplete, inconsistent, | ||
| + | * The DIDO-TE detects a failed, interrupted, | ||
| + | * The DIDO-TE detects unintended residual state material to subsequent Node behaviour. | ||
| + | * The DIDO-TE prevents configuration or Test Execution from proceeding when the Node has not reached its required initial state. | ||
| + | * Establishing the initial state does not begin Test Execution or produce a successful Test Outcome. | ||
| + | * The DIDO-TE records the required initial state, actual initial state, operations performed, observations collected, completion determination, | ||
| + | * The DIDO-TE maintains [[dido: | ||
| + | * An undefined, incomplete, inconsistent, | ||
| + | |||
| + | Verification includes: | ||
| + | |||
| + | * Inspection of the Node lifecycle and initial-state definition | ||
| + | * Inspection of initial-state preconditions, | ||
| + | * Execution of the required initialisation procedure | ||
| + | * Observation of the Node before, during, and after initialisation | ||
| + | * Comparison of the actual state with the defined initial-state criteria | ||
| + | * Inspection of interface, Dependency, resource, data, process, connection, and control states | ||
| + | * Confirmation that unintended residual state has been removed or identified | ||
| + | * A negative assessment involving a failed or interrupted initialisation operation | ||
| + | * A negative assessment involving an unsatisfied precondition | ||
| + | * A negative assessment involving unintended residual state | ||
| + | * Confirmation that Test Execution cannot begin before the Node reaches its required initial state | ||
| + | * Repeated establishment of the initial state to assess reproducibility | ||
| + | * Inspection of initial-state records, observations, | ||
| + | |||
| + | ===== Referenced By ===== | ||
| + | |||
| + | {{backlinks> | ||
| + | |||
| + | ===== Related Architecture Sections ===== | ||
| + | |||
| + | * Add links to the architecture sections governing Node lifecycle, Node state, initialisation, | ||
| + | |||
| + | ===== 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> | ||
| + | </ | ||
| + | |||
| + | ---- | ||
| + | |||
| + | <WRAP centeralign> | ||
| + | © 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc. | ||
| + | </ | ||