-
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, reset, restoration, startup, or preparation operations.
-
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, and control information.
-
The DIDO-TE removes or identifies residual data, state, processes, connections, messages, and effects from previous activities.
-
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, unreachable, or incorrectly established initial state.
-
The DIDO-TE detects a failed, interrupted, or out-of-sequence initialisation operation.
-
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, findings, and exceptions.
-
The DIDO-TE maintains
Traceability among the Node Definition, Node instance, lifecycle definition, initial-state criteria, initialisation operations, observations, Test Definition, provisioning activity, and resulting Evidence.
-
An undefined, incomplete, inconsistent, incorrectly established, or untraceable mandatory initial state constitutes nonconformance with this requirement.
-
Inspection of the Node lifecycle and initial-state definition
-
Inspection of initial-state preconditions, operations, expected conditions, and completion criteria
-
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, findings, exceptions, Evidence, and Traceability