-
Each Node resource requirement has a unique identity.
-
Each allocated Test Resource has a unique identity.
-
Each mandatory resource requirement maps to one or more allocated Test Resources.
-
Each allocated Test Resource has an identified type, quantity, capacity, performance, quality, location, and availability.
-
Each allocation satisfies the minimum resource requirements defined for provisioning.
-
Each allocation remains within the applicable maximum limits.
-
The allocation identifies each resource as dedicated, exclusive, shared, reserved, limited, persistent, or temporary when the distinction affects Node behaviour.
-
The allocation satisfies applicable quotas, reservations, priorities, affinities, isolation constraints, and placement rules.
-
The allocation satisfies applicable security, integrity, access-control, jurisdictional, residency, and environmental constraints.
-
Resources required during provisioning remain distinguishable from resources required during configuration, execution, observation, shutdown, recovery, and restoration.
-
The DIDO-TE verifies the availability and suitability of each mandatory Test Resource before provisioning uses it.
-
The DIDO-TE verifies that shared resources have sufficient available capacity.
-
The DIDO-TE detects conflicting, duplicate, excessive, or unauthorised resource allocations.
-
The DIDO-TE detects a missing, unavailable, insufficient, incompatible, incorrectly located, or incorrectly allocated mandatory resource.
-
The DIDO-TE prevents provisioning from proceeding when an unsatisfied resource requirement affects the validity of the provisioned Node.
-
The allocation identifies the permitted duration and applicable release conditions for each Test Resource.
-
The allocation identifies resources requiring cleanup, restoration, deallocation, or return after use.
-
The DIDO-TE records the actual Test Resources allocated to the Node.
-
The DIDO-TE records the identities, characteristics, quantities, capacities, constraints, allocation times, release conditions, findings, and exceptions associated with each allocation.
-
The DIDO-TE records any approved difference between the required and allocated resources.
-
Each approved difference identifies its authority, rationale, scope, duration, and expected effect.
-
The DIDO-TE maintains
Traceability among each resource requirement, allocated Test Resource, Node Definition, Node Implementation, Test Environment, provisioning activity, provisioned Node instance, and resulting Evidence.
-
A missing, insufficient, incompatible, unauthorised, incorrectly allocated, or untraceable mandatory Test Resource constitutes nonconformance with this requirement.
-
Inspection of the Node resource requirements
-
Inspection of allocated Test Resource identities, types, capacities, locations, availability, and constraints
-
Comparison of required resources with allocated Test Resources
-
Confirmation that minimum and maximum allocation limits remain satisfied
-
Confirmation of applicable reservations, quotas, affinities, isolation, and placement constraints
-
Verification of Test Resource availability before provisioning
-
Verification of sufficient capacity for shared resources
-
A negative assessment involving a missing or unavailable mandatory resource
-
A negative assessment involving an insufficient or incompatible allocation
-
A negative assessment involving a conflicting or unauthorised allocation
-
Confirmation that an unsatisfied mandatory allocation prevents invalid provisioning
-
Inspection of approved allocation differences
-
Inspection of allocation, release, restoration, Evidence, and Traceability records