| Both sides previous revision Previous revision | |
| public:99_annexes:annex-b-terms-and-definitions:f:functional_correctness [2026/09/12 17:42] – ↷ Page moved from private:99_annexes:annex-b-terms-and-definitions:f:functional_correctness to public:99_annexes:annex-b-terms-and-definitions:f:functional_correctness nick_dido | public:99_annexes:annex-b-terms-and-definitions:f:functional_correctness [2026/09/12 17:43] (current) – ↷ Links adapted because of a move operation nick_dido |
|---|
| ====== Functional Correctness ====== | ====== Functional Correctness ====== |
| |
| [[private:99_annexes:annex-b-terms-and-definitions:start|Go up to Terms and Definitions]] | [[public:99_annexes:annex-b-terms-and-definitions:start|Go up to Terms and Definitions]] |
| |
| ===== Discussion ===== | ===== Discussion ===== |
| |
| Functional Correctness is a [[private:99_annexes:annex-b-terms-and-definitions:q:quality_characteristic|Quality Characteristic]] concerning the degree to which a subject produces correct results with the required precision. | Functional Correctness is a [[public:99_annexes:annex-b-terms-and-definitions:q:quality_characteristic|Quality Characteristic]] concerning the degree to which a subject produces correct results with the required precision. |
| |
| Functional Correctness can apply to: | Functional Correctness can apply to: |
| |
| * A [[private:99_annexes:annex-b-terms-and-definitions:c:candidate_solution|Candidate Solution]] | * A [[public:99_annexes:annex-b-terms-and-definitions:c:candidate_solution|Candidate Solution]] |
| * A [[private:99_annexes:annex-b-terms-and-definitions:d:distributed_system|Distributed System]] | * A [[public:99_annexes:annex-b-terms-and-definitions:d:distributed_system|Distributed System]] |
| * A [[private:99_annexes:annex-b-terms-and-definitions:n:node|Node]] | * A [[public:99_annexes:annex-b-terms-and-definitions:n:node|Node]] |
| * A [[private:99_annexes:annex-b-terms-and-definitions:n:node_set|Node Set]] | * A [[public:99_annexes:annex-b-terms-and-definitions:n:node_set|Node Set]] |
| * A service | * A service |
| * A software component | * A software component |
| * The evaluated function | * The evaluated function |
| * The applicable inputs | * The applicable inputs |
| * The applicable [[private:99_annexes:annex-b-terms-and-definitions:t:test_argument_value|Test Argument Values]] | * The applicable [[public:99_annexes:annex-b-terms-and-definitions:t:test_argument_value|Test Argument Values]] |
| * The applicable [[private:99_annexes:annex-b-terms-and-definitions:e:expected_result|Expected Results]] | * The applicable [[public:99_annexes:annex-b-terms-and-definitions:e:expected_result|Expected Results]] |
| * The observed [[private:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]] | * The observed [[public:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]] |
| * The required precision | * The required precision |
| * The permitted tolerance | * The permitted tolerance |
| * The comparison method | * The comparison method |
| * The reference value | * The reference value |
| * The applicable DIDO [[private:99_annexes:annex-b-terms-and-definitions:b:baseline|Baseline]] | * The applicable DIDO [[public:99_annexes:annex-b-terms-and-definitions:b:baseline|Baseline]] |
| * The applicable [[private:99_annexes:annex-b-terms-and-definitions:v:validation_criteria|Validation Criteria]] | * The applicable [[public:99_annexes:annex-b-terms-and-definitions:v:validation_criteria|Validation Criteria]] |
| * The applicable [[private:99_annexes:annex-b-terms-and-definitions:a:acceptance_criteria|Acceptance Criteria]] | * The applicable [[public:99_annexes:annex-b-terms-and-definitions:a:acceptance_criteria|Acceptance Criteria]] |
| * Its [[private:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]] | * Its [[public:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]] |
| * Its [[private:99_annexes:annex-b-terms-and-definitions:p:provenance|Provenance]] | * Its [[public:99_annexes:annex-b-terms-and-definitions:p:provenance|Provenance]] |
| * Its [[private:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]] | * Its [[public:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]] |
| |
| Functional Correctness can be evaluated by comparing an observed Test Result with: | Functional Correctness can be evaluated by comparing an observed Test Result with: |
| ===== Definition ===== | ===== Definition ===== |
| |
| //[[private:99_annexes:annex-b-terms-and-definitions:q:quality_characteristic|Quality Characteristic]] concerning the degree to which a subject produces correct results with the required precision// | //[[public:99_annexes:annex-b-terms-and-definitions:q:quality_characteristic|Quality Characteristic]] concerning the degree to which a subject produces correct results with the required precision// |
| |
| ===== Source ===== | ===== Source ===== |
| |
| * [[https://www.iso.org/standard/78176.html|ISO/IEC 25010:2023, Systems and software Quality Requirements and Evaluation (SQuaRE) — Product quality model]] | * [[https://www.iso.org/standard/78176.html|ISO/IEC 25010:2023, Systems and software Quality Requirements and Evaluation (SQuaRE) — Product quality model]] |
| * [[private:99_annexes:annex-b-terms-and-definitions:q:quality_characteristic|Quality Characteristic]] | * [[public:99_annexes:annex-b-terms-and-definitions:q:quality_characteristic|Quality Characteristic]] |
| * [[private:99_annexes:annex-b-terms-and-definitions:e:expected_result|Expected Result]] | * [[public:99_annexes:annex-b-terms-and-definitions:e:expected_result|Expected Result]] |
| * [[private:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Result]] | * [[public:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Result]] |
| * DIDO Reference Implementation Conceptual Model | * DIDO Reference Implementation Conceptual Model |
| * DIDO-TE draft Requirements Register | * DIDO-TE draft Requirements Register |
| * Functional appropriateness concerns whether functions facilitate accomplishment of specified tasks and objectives | * Functional appropriateness concerns whether functions facilitate accomplishment of specified tasks and objectives |
| |
| Functional Correctness differs from [[private:99_annexes:annex-b-terms-and-definitions:r:reliability|Reliability]]: | Functional Correctness differs from [[public:99_annexes:annex-b-terms-and-definitions:r:reliability|Reliability]]: |
| |
| * Functional Correctness concerns whether a produced result is correct | * Functional Correctness concerns whether a produced result is correct |
| * The treatment of nondeterministic results | * The treatment of nondeterministic results |
| |
| A passing [[private:99_annexes:annex-b-terms-and-definitions:v:verdict|Verdict]] can indicate that an observed Test Result satisfies the Functional Correctness criteria applicable to a particular Test Step or Test Run. | A passing [[public:99_annexes:annex-b-terms-and-definitions:v:verdict|Verdict]] can indicate that an observed Test Result satisfies the Functional Correctness criteria applicable to a particular Test Step or Test Run. |
| |
| One passing Verdict does not necessarily establish Functional Correctness across every input, condition, Configuration, or operational context. | One passing Verdict does not necessarily establish Functional Correctness across every input, condition, Configuration, or operational context. |