Skip to content

Commit

Permalink
[uss_qualifier/rid/dss_interop] Add requirement DSS0070 to existing c…
Browse files Browse the repository at this point in the history
…hecks (#182)
  • Loading branch information
mickmis authored Sep 5, 2023
1 parent 26cb253 commit a06328f
Show file tree
Hide file tree
Showing 2 changed files with 28 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -102,6 +102,8 @@ Qualitatively proves: Can retrieve specific Subscription emplaced in primary DSS

**[astm.f3411.v19.A2-6-1,5](../../../../requirements/astm/f3411/v19.md)**

**[astm.f3411.v19.DSS0070](../../../../requirements/astm/f3411/v19.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

#### Subscription[*P*] ID is properly synchronized with all DSS check

**[astm.f3411.v19.DSS0130,2,a](../../../../requirements/astm/f3411/v19.md)**
Expand Down Expand Up @@ -132,6 +134,8 @@ Qualitatively proves: All Subscription[i] 1≤i≤n are returned in subscription

**[astm.f3411.v19.A2-6-1,6](../../../../requirements/astm/f3411/v19.md)**

**[astm.f3411.v19.DSS0070](../../../../requirements/astm/f3411/v19.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

### S5 test step

Action: USS1@DSS*P*: PUT ISA[*P*] setting end time to now + D seconds
Expand Down Expand Up @@ -170,6 +174,8 @@ Qualitatively proves: Subscription deletion from ID index was effective from pri

**[astm.f3411.v19.A2-6-1,4b](../../../../requirements/astm/f3411/v19.md)**

**[astm.f3411.v19.DSS0070](../../../../requirements/astm/f3411/v19.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

### S8 test step

Action: USS2@DSS*n*: GET Subscriptions using ISA[*P*]’s area
Expand All @@ -184,6 +190,8 @@ Qualitatively proves: Subscription deletion from geographic index was effective

**[astm.f3411.v19.A2-6-1,4b](../../../../requirements/astm/f3411/v19.md)**

**[astm.f3411.v19.DSS0070](../../../../requirements/astm/f3411/v19.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

### S9 test step

Action: Wait >D seconds from S5 then USS2@DSS*n*: PUT Subscription with intersecting area, end time D seconds from now
Expand All @@ -198,6 +206,8 @@ Qualitatively proves: Expired ISA automatically removed, ISA modifications acces

**[astm.f3411.v19.A2-6-1,1d](../../../../requirements/astm/f3411/v19.md)**

**[astm.f3411.v19.DSS0070](../../../../requirements/astm/f3411/v19.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

### S10 test step

Action: USS1@DSS*P*: PUT ISA with no start time and end time 10 minutes from now
Expand Down Expand Up @@ -254,6 +264,8 @@ Qualitatively proves: Expired Subscription removed from geographic index on prim

**[astm.f3411.v19.A2-6-1,3d](../../../../requirements/astm/f3411/v19.md)**

**[astm.f3411.v19.DSS0070](../../../../requirements/astm/f3411/v19.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

### S14 test step

Action: USS2@DSS*n*: GET Subscription[*n*] by ID
Expand Down Expand Up @@ -292,6 +304,8 @@ Qualitatively proves: Deleted ISA removed from all DSSs

**[astm.f3411.v19.A2-6-1,2b](../../../../requirements/astm/f3411/v19.md)**

**[astm.f3411.v19.DSS0070](../../../../requirements/astm/f3411/v19.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

### S17 test step

Action: USS2@DSS*P*: DELETE Subscription[*n*]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -101,6 +101,8 @@ Qualitatively proves: Can retrieve specific Subscription emplaced in primary DSS

**[astm.f3411.v22a.A2-6-1,5](../../../../requirements/astm/f3411/v22a.md)**

**[astm.f3411.v22a.DSS0070](../../../../requirements/astm/f3411/v22a.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

#### Subscription[*P*] ID is properly synchronized with all DSS check

**[astm.f3411.v22a.DSS0130,2,a](../../../../requirements/astm/f3411/v22a.md)**
Expand Down Expand Up @@ -131,6 +133,8 @@ Qualitatively proves: All Subscription[i] 1≤i≤n are returned in subscription

**[astm.f3411.v22a.A2-6-1,6](../../../../requirements/astm/f3411/v22a.md)**

**[astm.f3411.v22a.DSS0070](../../../../requirements/astm/f3411/v22a.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

### S5 test step

Action: USS1@DSS*P*: PUT ISA[*P*] setting end time to now + D seconds
Expand Down Expand Up @@ -169,6 +173,8 @@ Qualitatively proves: Subscription deletion from ID index was effective from pri

**[astm.f3411.v22a.A2-6-1,4b](../../../../requirements/astm/f3411/v22a.md)**

**[astm.f3411.v22a.DSS0070](../../../../requirements/astm/f3411/v22a.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

### S8 test step

Action: USS2@DSS*n*: GET Subscriptions using ISA[*P*]’s area
Expand All @@ -183,6 +189,8 @@ Qualitatively proves: Subscription deletion from geographic index was effective

**[astm.f3411.v22a.A2-6-1,4b](../../../../requirements/astm/f3411/v22a.md)**

**[astm.f3411.v22a.DSS0070](../../../../requirements/astm/f3411/v22a.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

### S9 test step

Action: Wait >D seconds from S5 then USS2@DSS*n*: PUT Subscription with intersecting area, end time D seconds from now
Expand All @@ -197,6 +205,8 @@ Qualitatively proves: Expired ISA automatically removed, ISA modifications acces

**[astm.f3411.v22a.A2-6-1,1d](../../../../requirements/astm/f3411/v22a.md)**

**[astm.f3411.v22a.DSS0070](../../../../requirements/astm/f3411/v22a.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

### S10 test step

Action: USS1@DSS*P*: PUT ISA with no start time and end time 10 minutes from now
Expand Down Expand Up @@ -253,6 +263,8 @@ Qualitatively proves: Expired Subscription removed from geographic index on prim

**[astm.f3411.v22a.A2-6-1,3d](../../../../requirements/astm/f3411/v22a.md)**

**[astm.f3411.v22a.DSS0070](../../../../requirements/astm/f3411/v22a.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

### S14 test step

Action: USS2@DSS*n*: GET Subscription[*n*] by ID
Expand Down Expand Up @@ -291,6 +303,8 @@ Qualitatively proves: Deleted ISA removed from all DSSs

**[astm.f3411.v22a.A2-6-1,2b](../../../../requirements/astm/f3411/v22a.md)**

**[astm.f3411.v22a.DSS0070](../../../../requirements/astm/f3411/v22a.md)** requires that all DSS instances in a pool return the same result. This check fails if the DSS instance does not return the same result as the other DSS instances.

### S17 test step

Action: USS2@DSS*P*: DELETE Subscription[*n*]
Expand Down

0 comments on commit a06328f

Please sign in to comment.