| Both sides previous revision Previous revision Next revision | Previous revision |
| dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-002:start [2026/08/05 11:09] – ↷ Page moved and renamed from dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-002 to dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-002:start nick_dido | dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-002:start [2026/08/06 07:29] (current) – nick_dido |
|---|
| [[dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:start|Go to C.1 Mission Objectives]] | [[dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:start|Go to C.1 Mission Objectives]] |
| |
| MO-002 identifies the mission-level objective for [[dido:99_annexes:annex-b-terms-and-definitions:r:reproducibility|Reproducible]] [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environments]] and [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]]. | ===== Original Requirement ===== |
| |
| The objective contains two independently verifiable outcomes and therefore serves as a non-leaf parent requirement. | The draft DIDO-TE source material states: |
| |
| ===== Contents ===== | > //Create repeatable testing scenarios, including regression testing, that allow rigorous evaluation of distributed systems under different conditions and configurations.// |
| |
| * [[dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-002:mo-002a|MO-002a — Reproducible Test Environments]] | <todo>Identify the authoritative source, original requirement identifier, and controlling citation for this Original Requirement.</todo> |
| * [[dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-002:mo-002b|MO-002b — Reproducible Test Execution]] | |
| |
| ===== Source ===== | ===== Assessment of Original Requirement ===== |
| |
| This Mission Objective consolidates mission-level intent from the draft [[dido:99_annexes:annex-b-terms-and-definitions:d:dido-te|DIDO-TE]] Requirements Register and the Broad Agency Announcement material concerning: | The Original Requirement preserves the approved mission-level intent that [[dido:99_annexes:annex-b-terms-and-definitions:d:dido-te|DIDO-TE]] provide repeatable or reproducible testing under different conditions and [[dido:99_annexes:annex-b-terms-and-definitions:c:configuration|Configurations]]. |
| |
| * Realistic and controllable [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environments]] | The Original Requirement does not express an independently interpretable or independently verifiable normative obligation. |
| * Deterministic Test Environment states | |
| * Repeatable testing scenarios | |
| * Consistent [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]] | |
| * Automated scenario execution | |
| * Recording inputs supplied to [[dido:99_annexes:annex-b-terms-and-definitions:n:node|Nodes]] | |
| * Playing recorded inputs back to [[dido:99_annexes:annex-b-terms-and-definitions:n:node|Nodes]] | |
| * Coordinating playback across a [[dido:99_annexes:annex-b-terms-and-definitions:n:node_set|Node Set]] | |
| * Preserving Test Environment [[dido:99_annexes:annex-b-terms-and-definitions:c:configuration|Configurations]] | |
| * Preserving [[dido:99_annexes:annex-b-terms-and-definitions:t:test_definition|Test Definitions]] | |
| * Preserving [[dido:99_annexes:annex-b-terms-and-definitions:t:test_argument_value|Test Argument Values]] | |
| * Preserving [[dido:99_annexes:annex-b-terms-and-definitions:t:test_run|Test Run]] context | |
| * Comparing repeated [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]] | |
| |
| The Broad Agency Announcement material states the following objective: | The following Specification Discipline and Authoring findings apply: |
| |
| > //Create repeatable testing scenarios, including regression testing, that allow rigorous evaluation of distributed systems under different conditions and configurations.// | * **Create** does not identify an explicit responsible [[dido:99_annexes:annex-b-terms-and-definitions:a:actor|Actor]] |
| | * **Create** does not use an explicit normative modal |
| | * **Repeatable** does not identify the required degree or method of [[dido:99_annexes:annex-b-terms-and-definitions:r:reproducibility|Reproducibility]] |
| | * **Testing scenarios** does not use defined terms such as [[dido:99_annexes:annex-b-terms-and-definitions:t:test_definition|Test Definition]], [[dido:99_annexes:annex-b-terms-and-definitions:t:test_sequence|Test Sequence]], [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]], or [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]] |
| | * **Including regression testing** provides an example but does not establish a bounded scope |
| | * **Allow** is a weak verb that does not identify an observable DIDO-TE behavior |
| | * **Rigorous evaluation** is subjective and does not identify measurable evaluation criteria |
| | * **Distributed systems** does not identify the selected [[dido:99_annexes:annex-b-terms-and-definitions:d:distributed_system|Distributed System]], [[dido:99_annexes:annex-b-terms-and-definitions:t:test_item|Test Items]], [[dido:99_annexes:annex-b-terms-and-definitions:n:node|Nodes]], or [[dido:99_annexes:annex-b-terms-and-definitions:n:node_set|Node Sets]] subject to testing |
| | * **Different conditions** does not identify the controlled conditions, variable conditions, or permitted differences |
| | * **Different configurations** does not identify the Configurations that DIDO-TE must preserve, recreate, or vary |
| | * The Original Requirement does not identify the applicable [[dido:99_annexes:annex-b-terms-and-definitions:a:acceptance_criteria|Acceptance Criteria]] |
| | * The Original Requirement does not identify the [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]] required to demonstrate Reproducibility |
| |
| The source material also identifies: | The source uses the word **repeatable**, while the proposed canonical requirements use **reproducible** and **Reproducibility**. The requirement owner must confirm whether: |
| |
| * Deterministic states | * Repeatability and Reproducibility express the same approved intent in this context |
| * State consistency | * Repeatability identifies a narrower controlled-condition obligation |
| * Predictable outcomes | * Reproducibility identifies a broader obligation that permits defined changes to operators, resources, locations, or other conditions |
| * Scenario automation | * Separate requirements for Repeatability and Reproducibility are necessary |
| * Repeatable and consistent execution | |
| * Recorded input playback | |
| * Coordinated playback across Nodes | |
| |
| The draft Requirements Register provides the controlling source requirement identifiers. The applicable identifiers require confirmation from a readable copy of the register before inclusion on the derived leaf pages. | The Original Requirement combines at least two independently verifiable outcomes: |
| |
| ===== Decomposition ===== | * Recreating a selected Test Environment within an established permitted variation |
| | * Repeating selected Test Execution within an established permitted variation |
| |
| The source mission-level intent combines two independently verifiable outcomes: | These outcomes require separate verification. |
| |
| * Reproduction of a selected [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]] | A Test Environment can be recreated successfully even when repeated Test Execution produces unacceptable differences in the resulting [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]]. |
| * Repetition of selected [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]] | |
| |
| MO-002 decomposes into: | Test Execution can also produce acceptable Test Results even when DIDO-TE has not demonstrated that the Test Environment was recreated according to its controlling Configuration. |
| |
| * MO-002a, which addresses reproduction of a selected Test Environment | The Original Requirement therefore requires: |
| * MO-002b, which addresses repetition of selected Test Execution and evaluation of the resulting [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]] | |
| |
| The decomposition permits [[dido:99_annexes:annex-b-terms-and-definitions:d:dido-te|DIDO-TE]] to satisfy one derived requirement while independently passing or failing the other. | * Identification of DIDO-TE as the responsible Actor |
| | * Replacement of nonnormative language with explicit normative obligations |
| | * Selection of Repeatability, Reproducibility, or both as the controlling quality |
| | * Definition of the Test Environment characteristics subject to reproduction |
| | * Definition of the Test Execution information subject to reproduction |
| | * Separation of Test Environment Reproducibility from Test Execution Reproducibility |
| | * Identification of the permitted variation for each outcome |
| | * Identification of the applicable Acceptance Criteria |
| | * Identification of the Evidence required to verify each outcome |
| | * Confirmation that the derived requirements collectively preserve the complete intent of MO-002 |
| |
| MO-002a addresses whether DIDO-TE can recreate the applicable conditions, [[dido:99_annexes:annex-b-terms-and-definitions:c:configuration|Configurations]], [[dido:99_annexes:annex-b-terms-and-definitions:r:resource|Resources]], [[dido:99_annexes:annex-b-terms-and-definitions:n:node|Nodes]], [[dido:99_annexes:annex-b-terms-and-definitions:n:node_set|Node Sets]], [[dido:99_annexes:annex-b-terms-and-definitions:d:deployment_target|Deployment Targets]], [[dido:99_annexes:annex-b-terms-and-definitions:e:execution_facility|Execution Facilities]], and [[dido:99_annexes:annex-b-terms-and-definitions:d:dependency|Dependencies]] that constitute a selected Test Environment. | The decomposition preserves ''MO-002'' as the stable parent requirement identifier. Each proposed replacement requirement receives a lettered identifier and a separate leaf requirement page. |
| |
| MO-002b addresses whether DIDO-TE can repeat selected Test Execution under defined conditions and produce Test Results within the permitted variation established by the [[dido:99_annexes:annex-b-terms-and-definitions:a:acceptance_criteria|Acceptance Criteria]]. | ===== Proposed Statements ===== |
| |
| ===== Rationale ===== | The Original Requirement is decomposed into the following proposed replacement requirements: |
| |
| [[dido:99_annexes:annex-b-terms-and-definitions:r:reproducibility|Reproducibility]] requires more than rerunning the same command or reusing a [[dido:99_annexes:annex-b-terms-and-definitions:t:test_definition|Test Definition]]. | {{indexmenu>dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-002#1|js navbar nocookie maxjs#1 id#dido_te_mo_002_requirements_nav}} |
| |
| A reproducible [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]] requires identification and preservation of the applicable: | ===== Requirement Status ===== |
| |
| * Test Environment identity | <todo>Review and approve the decomposition of MO-002 into MO-002a and MO-002b.</todo> |
| * Test Environment [[dido:99_annexes:annex-b-terms-and-definitions:v:version|Version]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:b:baseline|Baseline]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:c:configuration|Configuration]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:r:resource|Resources]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:o:operational_resource|Operational Resources]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:n:node|Nodes]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:n:node_set|Node Sets]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:d:deployment_target|Deployment Targets]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:e:execution_facility|Execution Facilities]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:e:executable_artifact|Executable Artifacts]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:d:dependency|Dependencies]] | |
| * Network conditions | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:s:starting_condition|Starting Conditions]] | |
| * Applicable [[dido:99_annexes:annex-b-terms-and-definitions:g:governance_policy|Governance Policies]] | |
| |
| Reproducible [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]] additionally requires identification and preservation of the applicable: | <todo>Confirm whether Repeatability, Reproducibility, or separate requirements for both qualities preserve the approved intent of the Original Requirement.</todo> |
| |
| * Test Definition [[dido:99_annexes:annex-b-terms-and-definitions:v:version|Version]] | <todo>Determine whether MO-002a and MO-002b collectively supersede MO-002.</todo> |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_sequence|Test Sequence]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:s:sequence_step|Sequence Steps]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_argument_value|Test Argument Values]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:e:expected_result|Expected Results]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:s:starting_condition|Starting Conditions]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:timing_condition|Timing Conditions]] | |
| * External interactions | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:e:execution_path|Execution Path]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:v:verdict|Verdicts]] | |
| * Supporting [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]] | |
| |
| Distributed systems can contain nondeterministic behaviors caused by concurrency, timing, scheduling, communication latency, external services, random values, and failure conditions. Reproducibility therefore does not necessarily require identical Test Results. | <todo>If MO-002a and MO-002b are accepted as the complete replacement for MO-002, mark MO-002 as superseded and preserve this page as the parent [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]] record.</todo> |
| |
| The Acceptance Criteria establish: | ---- |
| | ===== Issues ===== |
| |
| * Which conditions remain controlled | The following unresolved issues affect the decomposition of MO-002: |
| * Which conditions can vary | |
| * Which Test Results require exact equality | |
| * Which Test Results permit bounded variation | |
| * The permitted tolerances | |
| * The required comparison method | |
| * The treatment of incomplete, interrupted, failed, timed-out, canceled, or repeated [[dido:99_annexes:annex-b-terms-and-definitions:t:test_run|Test Runs]] | |
| |
| ===== Applies To ===== | <todo>Identify the authoritative source, original requirement identifier, and controlling citation for the Original Requirement.</todo> |
| |
| This Mission Objective applies to: | <todo>Confirm the relationship between Repeatability and [[dido:99_annexes:annex-b-terms-and-definitions:r:reproducibility|Reproducibility]] within DIDO-TE.</todo> |
| |
| * [[dido:99_annexes:annex-b-terms-and-definitions:d:dido-te|DIDO-TE]] | <todo>Determine whether Repeatability requires a separate shared Terms and Definitions entry.</todo> |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environments]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_definition|Test Definitions]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:v:version|Versions]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:c:configuration|Configurations]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_sequence|Test Sequences]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:s:sequence_step|Sequence Steps]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_argument_value|Test Argument Values]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:s:starting_condition|Starting Conditions]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:timing_condition|Timing Conditions]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:e:execution_path|Execution Paths]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:timeout|Timeouts]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_run|Test Runs]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:e:expected_result|Expected Results]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:v:verdict|Verdicts]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:b:baseline|Baselines]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:r:resource|Resources]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:o:operational_resource|Operational Resources]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:n:node|Nodes]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:n:node_set|Node Sets]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:d:deployment_target|Deployment Targets]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:e:execution_facility|Execution Facilities]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:e:executable_artifact|Executable Artifacts]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:d:dependency|Dependencies]] | |
| * Network conditions | |
| * External interactions | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:a:acceptance_criteria|Acceptance Criteria]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:p:provenance|Provenance]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:c:connected_environment|Connected Environments]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:d:disconnected_environment|Disconnected Environments]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:a:air-gapped_environment|Air-Gapped Environments]] | |
| |
| ===== Verification Allocation ===== | <todo>Define the controlled and variable characteristics of a reproducible [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]].</todo> |
| |
| Verification of MO-002 is allocated to: | <todo>Define the [[dido:99_annexes:annex-b-terms-and-definitions:c:configuration|Configuration]], [[dido:99_annexes:annex-b-terms-and-definitions:v:version|Versions]], [[dido:99_annexes:annex-b-terms-and-definitions:d:dependency|Dependencies]], [[dido:99_annexes:annex-b-terms-and-definitions:o:operational_resource|Operational Resources]], and [[dido:99_annexes:annex-b-terms-and-definitions:d:deployment_target|Deployment Targets]] that DIDO-TE must preserve or recreate.</todo> |
| |
| * [[dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-002:mo-002a|MO-002a — Reproducible Test Environments]] | <todo>Define the [[dido:99_annexes:annex-b-terms-and-definitions:t:test_definition|Test Definitions]], [[dido:99_annexes:annex-b-terms-and-definitions:t:test_sequence|Test Sequences]], [[dido:99_annexes:annex-b-terms-and-definitions:s:sequence_step|Sequence Steps]], [[dido:99_annexes:annex-b-terms-and-definitions:t:test_argument_value|Test Argument Values]], [[dido:99_annexes:annex-b-terms-and-definitions:s:starting_condition|Starting Conditions]], [[dido:99_annexes:annex-b-terms-and-definitions:t:timing_condition|Timing Conditions]], and [[dido:99_annexes:annex-b-terms-and-definitions:e:execution_path|Execution Paths]] that DIDO-TE must preserve for reproducible Test Execution.</todo> |
| * [[dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-002:mo-002b|MO-002b — Reproducible Test Execution]] | |
| |
| MO-002 is satisfied only when [[dido:99_annexes:annex-b-terms-and-definitions:d:dido-te|DIDO-TE]] satisfies both derived requirements. | <todo>Define whether Reproducibility requires exact equality or permits bounded variation.</todo> |
| |
| ===== Referenced By ===== | <todo>Define the permitted variation for Test Environment recreation.</todo> |
| |
| The following pages reference this requirement: | <todo>Define the permitted variation for repeated Test Execution and resulting [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]].</todo> |
| |
| {{backlinks>.#dido:03-dido-te}} | <todo>Define the comparison methods, tolerances, precision, and treatment of nondeterministic behavior.</todo> |
| |
| ===== Delivery Phase ===== | <todo>Define how failed, incomplete, interrupted, timed-out, canceled, and repeated [[dido:99_annexes:annex-b-terms-and-definitions:t:test_run|Test Runs]] affect the determination of Reproducibility.</todo> |
| |
| <todo>TBD</todo> | <todo>Define the [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]], [[dido:99_annexes:annex-b-terms-and-definitions:p:provenance|Provenance]], and Traceability required to demonstrate Test Environment and Test Execution Reproducibility.</todo> |
| |
| ===== Implementation Status ===== | <todo>Determine whether MO-002a and MO-002b provide complete coverage of the approved intent of MO-002.</todo> |
| | |
| <todo>Assess the current DIDO-TE implementation against MO-002a, MO-002b, and their supporting Operational, Functional, Logging and Auditing, Reliability, Performance, Data Management, and Interoperability requirements.</todo> | |
| | |
| ===== Requirement Status ===== | |
| | |
| <todo>Review and approve the decomposition of MO-002 into MO-002a and MO-002b.</todo> | |
| |
| ---- | ---- |
| | ===== Notes for Editors ===== |
| |
| ===== Issues ===== | This page should retain the stable parent requirement identifier ''MO-002''. |
| |
| The following unresolved issues affect this requirement: | This page is a non-leaf requirement page and retains a trailing '':start'' in its namespace. |
| |
| <todo>Confirm the Original Requirement identifiers in the draft DIDO-TE Requirements Register that provide the source for MO-002.</todo> | The child requirements are leaf requirement pages and omit a trailing '':start'' from their namespaces. |
| | |
| <todo>Define the conditions under which DIDO-TE considers a [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]] reproduced.</todo> | |
| | |
| <todo>Define the conditions under which DIDO-TE considers [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]] reproduced.</todo> | |
| | |
| <todo>Define which Test Environment characteristics remain controlled during reproduction.</todo> | |
| | |
| <todo>Define which Test Environment characteristics can vary during reproduction.</todo> | |
| | |
| <todo>Define which [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]] require exact equality and which permit bounded variation.</todo> | |
| | |
| <todo>Define the permitted Test Result tolerances and comparison methods.</todo> | |
| | |
| <todo>Define the treatment of nondeterministic distributed-system behavior.</todo> | |
| | |
| <todo>Define the treatment of failed, incomplete, interrupted, timed-out, canceled, or repeated [[dido:99_annexes:annex-b-terms-and-definitions:t:test_run|Test Runs]].</todo> | |
| | |
| <todo>Define the [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]] required to demonstrate Test Environment and Test Execution reproducibility.</todo> | |
| | |
| ---- | |
| | |
| ===== Notes for Editors ===== | |
| |
| This page retains the stable parent requirement identifier ''MO-002''. | This page preserves: |
| |
| This page is a non-leaf requirement page and retains a trailing '':start'' in its namespace: | * The Original Requirement |
| | * The assessment of the Original Requirement |
| | * The reason for decomposition |
| | * Traceability to the proposed replacement requirements |
| | * The unresolved cross-cutting issues affecting the decomposition |
| | * The supersession decision |
| |
| <code> | MO-002a addresses the Reproducibility of a selected [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]]. |
| dido:03-dido-te:99-annexes:annex-c-requirements:01-mission-objectives:mo-002:start | |
| </code> | |
| |
| MO-002 does not contain a normative Statement. Its derived leaf requirements contain the independently verifiable Statements. | MO-002b addresses the Reproducibility of selected [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]]. |
| |
| The derived leaf requirements use a **Derived From** section rather than a **Source** section. | The child requirements must not combine Test Environment recreation and Test Execution repetition into a single normative Statement. |
| |
| The derived requirement identifiers remain: | The child requirements should identify independently verifiable [[dido:99_annexes:annex-b-terms-and-definitions:a:acceptance_criteria|Acceptance Criteria]] for: |
| |
| * ''MO-002a'' | * The selected Test Environment |
| * ''MO-002b'' | * The selected Test Execution |
| | * The controlling Configurations |
| | * The controlling Versions |
| | * The applicable Test Argument Values |
| | * The Starting Conditions |
| | * The Timing Conditions |
| | * The permitted Execution Paths |
| | * The permitted variation |
| | * The comparison method |
| | * The treatment of nondeterministic behavior |
| | * The required Evidence |
| | * The required Provenance |
| | * The required Traceability |
| |
| Do not assign these identifiers to unrelated requirements. | MO-002 should not be marked as superseded until the requirement owner: |
| |
| Changes to the decomposition preserve: | * Confirms the authoritative Original Requirement and its controlling citation |
| | * Approves the interpretation of Repeatability and Reproducibility |
| | * Approves MO-002a |
| | * Approves MO-002b |
| | * Confirms that the child requirements collectively preserve the complete approved intent of MO-002 |
| | * Confirms that no additional child requirements are required |
| |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]] reproducibility as the subject of MO-002a | After supersession, this page should remain as the parent Traceability record and should continue to preserve the Original Requirement and its assessment. |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]] reproducibility as the subject of MO-002b | |
| * Independent verification of the two outcomes | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]] to the source material | |
| * Traceability between MO-002 and both derived requirements | |
| |
| Incoming Traceability uses the Wiki Backlinks function rather than a manually maintained list. | Material changes to the decomposition should update the child requirements, Requirement Status, Issues, source records, and Traceability records. |
| |
| Do not rename this page or either derived requirement page after an external citation unless a redirect or move plan is in place. | Do not rename this page after an external citation unless a redirect or move plan is in place. |
| |
| ---- | ---- |