Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| public:99_annexes:annex-b-terms-and-definitions:e:executable_instruction [2026/09/12 17:42] – removed - external edit (Unknown date) 127.0.0.1 | public:99_annexes:annex-b-terms-and-definitions:e:executable_instruction [2026/09/12 17:43] (current) – ↷ Links adapted because of a move operation nick_dido | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== Executable Instruction ====== | ||
| + | [[public: | ||
| + | |||
| + | ===== Discussion ===== | ||
| + | |||
| + | An Executable Instruction specifies an operation in a form that an [[public: | ||
| + | |||
| + | An Executable Instruction can implement: | ||
| + | |||
| + | * An action | ||
| + | * A calculation | ||
| + | * A [[public: | ||
| + | * A communication | ||
| + | * A state transition | ||
| + | * A measurement | ||
| + | * An observation | ||
| + | * A decision | ||
| + | * A control | ||
| + | |||
| + | An Executable Instruction can occur within: | ||
| + | |||
| + | * Source code | ||
| + | * Compiled code | ||
| + | * A script | ||
| + | * A command | ||
| + | * Declarative automation | ||
| + | * A tool-specific procedure | ||
| + | * A test-framework procedure | ||
| + | * An executable model | ||
| + | * A service request | ||
| + | * A hardware-control procedure | ||
| + | * Another form that an Execution Facility can interpret or perform | ||
| + | |||
| + | An Executable Instruction can identify or reference: | ||
| + | |||
| + | * Its identity | ||
| + | * Its name | ||
| + | * Its description | ||
| + | * Its [[public: | ||
| + | * Its instruction type | ||
| + | * Its language or format | ||
| + | * Its operation | ||
| + | * Its applicable [[public: | ||
| + | * Its applicable [[public: | ||
| + | * Its required inputs | ||
| + | * Its produced outputs | ||
| + | * Its required dependencies | ||
| + | * Its required [[public: | ||
| + | * Its applicable [[public: | ||
| + | * Its applicable [[public: | ||
| + | * Its preconditions | ||
| + | * Its completion condition | ||
| + | * Its failure condition | ||
| + | * Its timeout | ||
| + | * Its applicable [[public: | ||
| + | * Its [[public: | ||
| + | * Its [[public: | ||
| + | |||
| + | A [[public: | ||
| + | |||
| + | A Test Executable can contain the Executable Instructions directly or reference an independently maintained [[public: | ||
| + | |||
| + | An [[public: | ||
| + | |||
| + | ===== Definition ===== | ||
| + | |||
| + | // | ||
| + | |||
| + | ===== Source ===== | ||
| + | |||
| + | Adapted from: | ||
| + | |||
| + | * [[https:// | ||
| + | * [[public: | ||
| + | * [[public: | ||
| + | * [[public: | ||
| + | * DIDO Reference Implementation Conceptual Model | ||
| + | * DIDO-TE draft Requirements Register | ||
| + | |||
| + | OMG TestIF describes a TestExecutable as a low-level procedural definition that supports automated testing through code, scripts, or other executable information. | ||
| + | |||
| + | OMG TestIF does not define Executable Instruction as a separate TestIF model element. This definition introduces Executable Instruction to distinguish an instruction from: | ||
| + | |||
| + | * The [[public: | ||
| + | * The [[public: | ||
| + | * The [[public: | ||
| + | * The [[public: | ||
| + | |||
| + | ===== Note ===== | ||
| + | |||
| + | Every Executable Instruction expresses an operation in a form that an identified Execution Facility can interpret or perform. | ||
| + | |||
| + | An Executable Instruction differs from a [[public: | ||
| + | |||
| + | * A Test Step specifies a test action or Validation independently of a particular execution mechanism | ||
| + | * An Executable Instruction provides part or all of the executable realization of that action or Validation | ||
| + | |||
| + | An Executable Instruction differs from a [[public: | ||
| + | |||
| + | * An Executable Instruction specifies an operation | ||
| + | * A Test Executable contains, organizes, or references one or more Executable Instructions | ||
| + | |||
| + | An Executable Instruction differs from an [[public: | ||
| + | |||
| + | * An Executable Instruction specifies an operation | ||
| + | * An Executable Artifact stores, packages, or provides one or more Executable Instructions | ||
| + | |||
| + | An Executable Instruction differs from an [[public: | ||
| + | |||
| + | * An Executable Instruction specifies the operation | ||
| + | * An Execution Facility interprets or performs the operation | ||
| + | |||
| + | An Executable Instruction does not require direct execution by a processor. An Execution Facility can include: | ||
| + | |||
| + | * An interpreter | ||
| + | * A command processor | ||
| + | * An automation engine | ||
| + | * A test framework | ||
| + | * A model-execution engine | ||
| + | * A service | ||
| + | * A device controller | ||
| + | * Another facility capable of interpreting or performing the instruction | ||
| + | |||
| + | A natural-language direction intended only for human interpretation is not an Executable Instruction under this definition. A direction qualifies as an Executable Instruction when an identified Execution Facility can interpret or perform it according to defined execution rules. | ||
| + | |||
| + | An Executable Instruction is not necessarily: | ||
| + | |||
| + | * Source code | ||
| + | * Compiled code | ||
| + | * Independently deployable | ||
| + | * Independently reusable | ||
| + | * Specific to testing | ||
| + | * Contained within a Test Executable | ||
| + | * Stored in a particular file | ||
| + | * Associated with a particular programming language | ||
| + | |||
| + | A change to an Executable Instruction’s operation, inputs, outputs, parameters, control flow, dependencies, | ||
| + | |||
| + | A reproducible [[public: | ||
| + | |||
| + | ===== Example ===== | ||
| + | |||
| + | A [[public: | ||
| + | |||
| + | A [[public: | ||
| + | |||
| + | * Read the applicable [[public: | ||
| + | * Establish a connection to the Endpoint | ||
| + | * Submit the proposed transaction | ||
| + | * Capture the response | ||
| + | * Record the transaction identifier | ||
| + | * Return the submission status | ||
| + | * Preserve the resulting [[public: | ||
| + | |||
| + | During Test Execution, the applicable [[public: | ||
| + | |||
| + | The [[public: | ||
| + | |||
| + | * The Test Executable identity | ||
| + | * The Test Executable Version | ||
| + | * The referenced Executable Artifact | ||
| + | * The Executable Artifact Version | ||
| + | * The Executable Artifact digest | ||
| + | * The applicable Test Argument Values | ||
| + | * The applicable [[public: | ||
| + | * The resulting [[public: | ||
| + | * The supporting Evidence | ||
| + | |||
| + | ---- | ||
| + | |||
| + | <WRAP centeralign> | ||
| + | © 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc. | ||
| + | </ | ||