Commit 5393607c authored by Elian Kraja's avatar Elian Kraja
Browse files

Completed all tables for MEC012 and fixing indentation on MEC-10-2

parent 70d2bcca
Loading
Loading
Loading
Loading
+9 −13
Original line number Diff line number Diff line
@@ -23,8 +23,6 @@ Package rnis_subscriptions {
      
      Test objective 
         "Check that the RNIS service sends all RNIS subscriptions when requested"
//         "Check that the list of RNIS subscriptions is returned when 
//         it is requested to the RNIS service"
      
      Reference "ETSI GS MEC 012 1.1.1, clause 7.6.3.1", 
            "https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/CellChangeSubscription"
@@ -42,11 +40,11 @@ Package rnis_subscriptions {
      ensure that {
         when {
            the IUT entity receives a vGET containing
               uri indicating value "/rni/v1/subscriptions"
//               query_parameters containing
//                  subscriptionType indicating value CELL_CHANGE
//               ;
               uri indicating value "/rni/v1/subscriptions" //TODO how to handle query parameters?
               query_parameters containing
                  subscriptionType indicating value CELL_CHANGE
               ;
            ; from the MEC_SUB entity
         }
         then {
            the IUT entity sends a httpResponse containing
@@ -62,7 +60,7 @@ Package rnis_subscriptions {
                     ;
                  ;
               ;
            ;
            ; to the MEC_SUB entity
         }
      }       
   }
@@ -72,8 +70,6 @@ Package rnis_subscriptions {
      
      Test objective 
         "Check that the RNIS service creates a new RNIS subscription"
//         "Check that a new RNIS subscription is created when 
//         it is requested to the RNIS service"
      
      Reference "ETSI GS MEC 012 1.1.1, clause 7.6.3.4", 
         "https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/CellChangeSubscription"
@@ -102,7 +98,7 @@ Package rnis_subscriptions {
                     expiryDeadline set to EXPIRY_DEADLINE
                  ;
               ; 
            ;
            ; from the MEC_SUB entity
         }
         then {
            the IUT entity sends a httpResponse containing
@@ -123,7 +119,7 @@ Package rnis_subscriptions {
                     expiryDeadline set to EXPIRY_DEADLINE
                  ;
               ;
            ;
            ; to the MEC_SUB entity
         }
      }       
   }
+12 −14
Original line number Diff line number Diff line
@@ -19,12 +19,10 @@ Package rnis_rab_query {
   import all from MEC_012_Domain;
   
   Test Purpose {
      TP Id "TP_MEC025_RNI_QUERY_01" // TODO Align with MEC 025 TSS
      TP Id "TP_MEC025_RNI_QUERY_01" 
      
      Test objective 
         "Check that the RNIS service returns the RAB information"
//         "Check that the Radio Access Bearer (RAB) information is returned when 
//         it is requested to the RNIS service"
      
      Reference "ETSI GS MEC 012 2.0.3, clause 7.3.3.1", 
         "https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/RabInfo"
@@ -46,7 +44,7 @@ Package rnis_rab_query {
               query_parameters containing 
                  cellId indicating value CELL_ID
               ;
            ;
            ; from the RNIS_CLIENT entity
         }
         then {
            the IUT entity sends a httpResponse containing
@@ -55,13 +53,13 @@ Package rnis_rab_query {
               body containing 
                  RAB_information indicating value CELL_USER_INFO
               ;
            ;
            ; to the RNIS_CLIENT entity
         }
      }       
   }
   
   Test Purpose {
      TP Id "TP_MEC025_RNI_QUERY_02" // TODO Align with MEC 025 TSS
      TP Id "TP_MEC025_RNI_QUERY_02" 
      
      Test objective 
         "Check that the RNIS service returns the PLMN information"
@@ -86,7 +84,7 @@ Package rnis_rab_query {
               query_parameters containing 
                  appInsId indicating value APP_INS_ID
               ;
            ;
            ; from the RNIS_CLIENT entity
         }
         then {
            the IUT entity sends a httpResponse containing
@@ -95,13 +93,13 @@ Package rnis_rab_query {
               body containing 
                  PLMN_information indicating value APP_INSTANCE_INFO
               ;
            ;
            ; to the RNIS_CLIENT entity
         }
      }       
   }
   
   Test Purpose {
      TP Id "TP_MEC025_RNI_QUERY_03" // TODO Align with MEC 025 TSS
      TP Id "TP_MEC025_RNI_QUERY_03"
      
      Test objective 
         "Check that the RNIS service returns the S1 bearer information"
@@ -126,7 +124,7 @@ Package rnis_rab_query {
               query_parameters containing 
                  cellId indicating value CELL_ID
               ;
            ;
            ; from the RNIS_CLIENT entity
         }
         then {
            the IUT entity sends a httpResponse containing
@@ -135,13 +133,13 @@ Package rnis_rab_query {
               body containing 
                  S1_Bearer_information indicating value S1_BEARER_UE_INFO
               ;
            ;
            ; to the RNIS_CLIENT entity
         }
      }       
   }
   
   Test Purpose {
      TP Id "TP_MEC025_RNI_QUERY_04" // TODO Align with MEC 025 TSS
      TP Id "TP_MEC025_RNI_QUERY_04"
      
      Test objective 
         "Check that the RNIS service returns the L2 measurements information"
@@ -166,7 +164,7 @@ Package rnis_rab_query {
               query_parameters containing 
                  cellId indicating value CELL_ID
               ;
            ;
            ; from the RNIS_CLIENT entity
         }
         then {
            the IUT entity sends a httpResponse containing
@@ -175,7 +173,7 @@ Package rnis_rab_query {
               body containing 
                  L2_Meas_information indicating value CELL_L2_MEASUREMENTS_INFO
               ;
            ;
            ; to the RNIS_CLIENT entity
         }
      }       
   }
+6 −12
Original line number Diff line number Diff line
@@ -23,8 +23,6 @@ Package rnis_subscriptions_id {
      
      Test objective
         "Check that the RNIS service sends a RNIS subscription when requested"
//         "Check that a specific RNIS subscription is returned when 
//         it is requested to the RNIS service"
      
      Reference "ETSI GS MEC 012 2.0.3, clause 7.8.3.1", 
         "https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/CellChangeSubscription"
@@ -54,7 +52,7 @@ Package rnis_subscriptions_id {
         when {
            the IUT entity receives a vGET containing
               uri indicating value SUBSCRIPTION_HREF_VALUE
            ;
            ; from the MEC_SUB entity
         }
         then {
            the IUT entity sends a httpResponse containing
@@ -75,7 +73,7 @@ Package rnis_subscriptions_id {
                     expiryDeadline set to EXPIRY_DEADLINE
                  ;
               ;
            ;
            ; to the MEC_SUB entity
         }
      }       
   }
@@ -86,8 +84,6 @@ Package rnis_subscriptions_id {
      
      Test objective 
         "Check that the RNIS service modifies a RNIS subscription when requested"
//         "Check that a specific RNIS subscription is modified when 
//         this is requested to the RNIS service"
      
      Reference "ETSI GS MEC 012 2.0.3, clause 7.8.3.2", 
         "https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/CellChangeSubscription"
@@ -132,7 +128,7 @@ Package rnis_subscriptions_id {
                     expiryDeadline set to EXPIRY_DEADLINE
                  ;
               ;
            ;
            ; from the MEC_SUB entity
         }
         then {
            the IUT entity sends a httpResponse containing
@@ -153,7 +149,7 @@ Package rnis_subscriptions_id {
                     expiryDeadline set to EXPIRY_DEADLINE
                  ;
               ;
            ;
            ; to the MEC_SUB entity
         }
      }       
   }
@@ -165,8 +161,6 @@ Package rnis_subscriptions_id {
      
      Test objective 
         "Check that the RNIS service deletes a RNIS subscription when requested"
//         "Check that a specific RNIS subscription is deleted when 
//         the related deletion is requested to the RNIS service"
      
      Reference "ETSI GS MEC 012 2.0.3, clause 7.8.3.5", 
         "https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/CellChangeSubscription"
@@ -195,12 +189,12 @@ Package rnis_subscriptions_id {
         when {
            the IUT entity receives a vDELETE containing
               uri indicating value SUBSCRIPTION_HREF_VALUE
            ;
            ; from the MEC_SUB entity
         }
         then {
            the IUT entity sends a httpResponse containing
               status set to "204 NO CONTENT"
            ;
            ; to the MEC_SUB entity
         }
      }       
   }
+218 −1
Original line number Diff line number Diff line
@@ -111,7 +111,7 @@ Package rnis_notifications {
            // TODO: Check whether this could be triggered by the tester of document otherwise
            // with a reference describing this type of events
            the IUT entity generates a rab_establish_event containing 
               erabId set to EU_RAB_ID;
               erabId set to E_RAB_ID;
         }
         then {
            the IUT entity sends a vPOST containing
@@ -378,4 +378,221 @@ Package rnis_notifications {
         }
      }
   }
   
   
   Test Purpose {
      TP Id "TP_MEC025_RNI_NOTIFICATION_07"
      
      Test objective 
         "Check that the RNIS service sends an RNIS notification about carrier aggregation reconfiguration   
         if the RNIS service has an associated subscription and the event is generated"
      
      Reference "ETSI GS MEC 012 2.0.3, clause 6.4.7",  
         "https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml"
      Config Id Config_MEC_1
      PICS Selection PIC_RNIS and PIC_RNIS_NOTIFICATIONS

      Initial conditions  with {
         the IUT entity having a RNIS_subscription containing 
            subscriptionType indicating value "CaReconfSubscription",
            callbackReference indicating value CALLBACK_URI,
             _links containing
               self set to SUBSCRIPTION_HREF_VALUE
            ;,
            filterCriteriaAssoc containing
               appInsId set to APP_INS_ID,
               associateId set to ASSOCIATE_IP,
               plmn containing
                  mcc set to MMC,
                  mnc set to MNC
               ;,
               cellId set to CELL_ID
            ;,
            expiryDeadline set to EXPIRY_DEADLINE 
         ;
      }

      Expected behaviour
      ensure that {
         when {
            // TODO: Check whether this could be triggered by the tester of document otherwise
            // with a reference describing this type of events
            the IUT entity generates a carrier_aggregation_reconfiguration_event containing 
               appInsId set to APP_INS_ID;
         }
         then {
            the IUT entity sends a vPOST containing
               uri indicating value CALLBACK_URI,
               body containing
                  notificationType indicating value "CaReConfNotification",
                  timeStamp set to TIMESTAMP,
                  ecgi containing
                     mcc set to MCC,
                     mnc set to MNC,
                     cellId set to CELL_ID
                  ;,
                  associateId set to ASSOCIATE_ID,
                  secondaryCellAdd containing
                     ecgi containing
                        mcc set to MCC,
                        mnc set to MNC,
                        cellId set to CELL_ID
                     ;
                  ;,
                  secondaryCellRemove containing
                     ecgi containing
                        mcc set to MCC,
                        mnc set to MNC,
                        cellId set to CELL_ID
                     ;
                  ;,
                  carrierAggregationMeasInfo containing
                     cellIdSrv set to CELL_ID_SRV,
                     rsrpSrv set to RSRP_SRV,
                     rsrqSrv set to RSRQ_SRV,
                     cellIdNei set to CELL_ID_NEI,
                     rsrpNei set to RERP_NEI,
                     rsrqNei set to RSRQ_NEI
                  ;
               ;
            ; to the MEC_SUB entity
            
         }
      }
   }   
   
   
   Test Purpose {
      TP Id "TP_MEC025_RNI_NOTIFICATION_08"
      
      Test objective 
         "Check that the RNIS service sends an RNIS notification about S1 bearer   
         if the RNIS service has an associated subscription and the event is generated"
      
      Reference "ETSI GS MEC 012 2.0.3, clause 6.4.7",  
         "https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml"
      Config Id Config_MEC_1
      PICS Selection PIC_RNIS and PIC_RNIS_NOTIFICATIONS

      Initial conditions  with {
         the IUT entity having a RNIS_subscription containing 
            subscriptionType indicating value "S1BearerSubscription",
            callbackReference indicating value CALLBACK_URI,
             _links containing
               self set to SUBSCRIPTION_HREF_VALUE
            ;,
            eventType set to EVENT_TYPE,
            s1BearerSubscriptionCriteria containing
               associateId set to ASSOCIATE_ID,
               plmn containing
                  mcc set to MMC,
                  mnc set to MNC
               ;,
               cellId set to CELL_ID,
               erabId set to E_RAB_ID
            ;,
            expiryDeadline set to EXPIRY_DEADLINE 
         ;
      }

      Expected behaviour
      ensure that {
         when {
            // TODO: Check whether this could be triggered by the tester of document otherwise
            // with a reference describing this type of events
            the IUT entity generates a S1_bearer_event containing 
               associateId set to ASSOCIATE_ID;
         }
         then {
            the IUT entity sends a vPOST containing
               uri indicating value CALLBACK_URI,
               body containing
                  notificationType indicating value "S1BearerNotification",
                  timeStamp set to TIMESTAMP,
                  s1Event set to S1_EVENT,
                  s1UeInfo containing
                     tempUeId containing
                        mmec set to MMEC,
                        mtmsi set to M_TMSI
                     ;,
                     associateId set to ASSOCIATE_ID,
                     ecgi containing
                        mcc set to MCC,
                        mnc set to MNC,
                        cellId set to CELL_ID
                     ;,
                     s1BearerInfo containing
                        erabId set to E_RAB_ID,
                        enbInfo containing
                           ipAddress set to IP_ADDRESS,
                           tunnelId set to any_value
                        ;,
                        sGwInfo containing
                           ipAddress set to IP_ADDRESS,
                           tunnelId set to any_value
                        ;
                     ;
                  ;
               ;
            ; to the MEC_SUB entity
         }
      }
   }  
   
   Test Purpose {
      TP Id "TP_MEC025_RNI_SUBSCRIPTION_02" 
      
      Test objective 
         "Check that the RNIS service sends an RNIS notification on subscription expiration   
         if the RNIS service has an associated subscription and the event is generated"
      
      Reference "ETSI GS MEC 012 2.0.3, clause 6.4.7",  
         "https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml"
      Config Id Config_MEC_1
      PICS Selection PIC_RNIS and PIC_RNIS_NOTIFICATIONS

      Initial conditions  with {
         the IUT entity having a RNIS_subscription containing 
            subscriptionType indicating value "S1BearerSubscription", //VALID for all subscription types
            callbackReference indicating value CALLBACK_URI,
             _links containing
               self set to SUBSCRIPTION_HREF_VALUE
            ;,
            eventType set to EVENT_TYPE,
            s1BearerSubscriptionCriteria containing
               associateId set to ASSOCIATE_ID,
               plmn containing
                  mcc set to MMC,
                  mnc set to MNC
               ;,
               cellId set to CELL_ID,
               erabId set to E_RAB_ID
            ;,
            expiryDeadline set to EXPIRY_DEADLINE 
         ;
      }

      Expected behaviour
      ensure that {
         when {
            // TODO: Check whether this could be triggered by the tester of document otherwise
            // with a reference describing this type of events
            the IUT entity generates a expiry_notification_event containing 
               associateId set to ASSOCIATE_ID;
         }
         then {
            the IUT entity sends a vPOST containing
               uri indicating value CALLBACK_URI,
               body containing
                  notificationType indicating value "ExpiryNotification",
                  timeStamp set to TIMESTAMP,
                  _link containing
                    self set to SUBSCRIPTION_HREF_VALUE
                  ;,
                  expiryDeadline set to EXPIRY_DEADLINE
               ;
            ; to the MEC_SUB entity
         }
      }
   }  
}
+3 −0
Original line number Diff line number Diff line
@@ -34,6 +34,9 @@ Package MEC_012_Domain {
         - rab_release_event
         - measurement_repost_event
         - timing_advance_event
         - carrier_aggregation_reconfiguration_event
         - S1_bearer_event
         - expiry_notification_event
         - being_in
         - idle_state
       ;
+629 −629

File changed.

Contains only whitespace changes.

+52 −52

File changed.

Contains only whitespace changes.

+4 −4

File changed.

Contains only whitespace changes.

+18 −18

File changed.

Contains only whitespace changes.

Loading