Commit 8ebc3b1f authored by Yann Garcia's avatar Yann Garcia
Browse files

Review TPs for MEC015

parent d2c7ac5c
Loading
Loading
Loading
Loading
+51 −86
Original line number Original line Diff line number Diff line
@@ -34,9 +34,7 @@ Package MEC_MEC015_SRV_MTS {


      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the MEC_APP entity having a mtsCapabilityInfo containing
         the MEC_APP entity having a mtsCapabilityInfo
            appInsId indicating value APP_INSTANCE_ID
         ;
      }
      }


      // MEC 015 Clause 7.2.4
      // MEC 015 Clause 7.2.4
@@ -78,7 +76,7 @@ Package MEC_MEC015_SRV_MTS {


      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the MEC_APP entity having a bwInfo containing
         the MEC_APP entity having a mtsSessionInfo containing
            appInsId indicating value APP_INSTANCE_ID
            appInsId indicating value APP_INSTANCE_ID
         ;
         ;
      }
      }
@@ -90,7 +88,7 @@ Package MEC_MEC015_SRV_MTS {
               the IUT entity receives a vGET containing
               the IUT entity receives a vGET containing
                  uri indicating value "mts/v1/mts_sessions",
                  uri indicating value "mts/v1/mts_sessions",
                  query_parameters containing
                  query_parameters containing
                     app_id indicating value APP_INSTANCE_ID
                     appInsId indicating value APP_INSTANCE_ID
                  ;
                  ;
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
@@ -125,7 +123,7 @@ Package MEC_MEC015_SRV_MTS {


      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the MEC_APP entity having a bwInfo containing
         the MEC_APP entity having a mtsSessionInfo containing
            appInsId indicating value APP_INSTANCE_ID
            appInsId indicating value APP_INSTANCE_ID
         ;
         ;
      }
      }
@@ -138,7 +136,7 @@ Package MEC_MEC015_SRV_MTS {
                  uri indicating value "mts/v1/mts_sessions",
                  uri indicating value "mts/v1/mts_sessions",
                  query_parameters containing
                  query_parameters containing
                     // Wrong parameter name should trigger an error response.
                     // Wrong parameter name should trigger an error response.
                     app_id indicating value APP_INSTANCE_ID
                     appInsId indicating value APP_INSTANCE_ID
                  ;
                  ;
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
@@ -170,7 +168,7 @@ Package MEC_MEC015_SRV_MTS {


      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the MEC_APP entity having a bwInfo containing
         the MEC_APP entity having a mtsSessionInfo containing
            appInsId indicating value APP_INSTANCE_ID
            appInsId indicating value APP_INSTANCE_ID
         ;
         ;
      }
      }
@@ -182,7 +180,7 @@ Package MEC_MEC015_SRV_MTS {
               the IUT entity receives a vGET containing
               the IUT entity receives a vGET containing
                  uri indicating value "mts/v1/mts_sessions",
                  uri indicating value "mts/v1/mts_sessions",
                  query_parameters containing
                  query_parameters containing
                     app_id indicating value APP_UNKNOWN_INSTANCE_ID
                     appInsId indicating value APP_UNKNOWN_INSTANCE_ID
                  ;
                  ;
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
@@ -190,7 +188,7 @@ Package MEC_MEC015_SRV_MTS {
            then {
            then {
               // MEC 015 Clause 9.5.3.1
               // MEC 015 Clause 9.5.3.1
               the IUT entity sends a HTTP_RESPONSE containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "204 Not Found"
                  status_code set to "404 Not Found"
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
@@ -202,8 +200,8 @@ Package MEC_MEC015_SRV_MTS {
      TP Id "TP_MEC_MEC015_SRV_MTS_003_OK_01"
      TP Id "TP_MEC_MEC015_SRV_MTS_003_OK_01"


      Test objective
      Test objective
         "Check that the IUT responds with a registration and initialisation approval
         "Check that the IUT creates a MTS session
         for the requested MTS session requirements sent by a MEC Application"
         when queried by a MEC Application"


      Reference "ETSI GS MEC 015 V2.1.1, clause 9.5.3.2",
      Reference "ETSI GS MEC 015 V2.1.1, clause 9.5.3.2",
                "https://forge.etsi.org/rep/mec/gs015-bandwith-mgmt-api/blob/master/BwManagementApi.yaml"
                "https://forge.etsi.org/rep/mec/gs015-bandwith-mgmt-api/blob/master/BwManagementApi.yaml"
@@ -229,7 +227,6 @@ Package MEC_MEC015_SRV_MTS {
                     mtsSessionInfo containing
                     mtsSessionInfo containing
                        appInsId indicating value APP_INSTANCE_ID,
                        appInsId indicating value APP_INSTANCE_ID,
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION
                        flowFilter indicating value FLOW_FILTER,
                        qosD indicating value SOME_ALLOCATION,
                        qosD indicating value SOME_ALLOCATION,
                        mtsMode indicating value LOW_COST,
                        mtsMode indicating value LOW_COST,
                        trafficDirection indicating value "00"
                        trafficDirection indicating value "00"
@@ -242,12 +239,11 @@ Package MEC_MEC015_SRV_MTS {
               // MEC 015 Clause 9.5.3.2
               // MEC 015 Clause 9.5.3.2
               the IUT entity sends a HTTP_RESPONSE containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "201 Created",
                  status_code set to "201 Created",
                  Location set to LOCATION, // MEC 015 Table 9.5.3.2-2
                  Location set to MTS_SESSION_ID, // MEC 015 Table 9.5.3.2-2
                  body containing
                  body containing
                     mtsSessionInfo containing
                     mtsSessionInfo containing
                        appInsId indicating value APP_INSTANCE_ID,
                        appInsId indicating value APP_INSTANCE_ID,
                        requestType indicating value APPLICATION_SPECIFIC_MTS_ALLOCATION,
                        requestType indicating value APPLICATION_SPECIFIC_MTS_ALLOCATION,
                        flowFilter indicating value FLOW_FILTER,
                        qosD indicating value SOME_ALLOCATION,
                        qosD indicating value SOME_ALLOCATION,
                        mtsMode indicating value 0, // Low Cost
                        mtsMode indicating value 0, // Low Cost
                        trafficDirection indicating value "00"
                        trafficDirection indicating value "00"
@@ -264,8 +260,8 @@ Package MEC_MEC015_SRV_MTS {
      TP Id "TP_MEC_MEC015_SRV_MTS_003_OK_02"
      TP Id "TP_MEC_MEC015_SRV_MTS_003_OK_02"


      Test objective
      Test objective
         "Check that the IUT responds with a registration and initialisation approval
         "Check that the IUT creates a MTS session
         for the requested MTS session requirements sent by a MEC Application"
         when queried by a MEC Application"


      Reference "ETSI GS MEC 015 V2.1.1, clause 9.5.3.2",
      Reference "ETSI GS MEC 015 V2.1.1, clause 9.5.3.2",
                "https://forge.etsi.org/rep/mec/gs015-bandwith-mgmt-api/blob/master/BwManagementApi.yaml"
                "https://forge.etsi.org/rep/mec/gs015-bandwith-mgmt-api/blob/master/BwManagementApi.yaml"
@@ -290,7 +286,7 @@ Package MEC_MEC015_SRV_MTS {
                  body containing
                  body containing
                     mtsSessionInfo containing
                     mtsSessionInfo containing
                        appInsId indicating value APP_INSTANCE_ID,
                        appInsId indicating value APP_INSTANCE_ID,
                        requestType indicating value 1, // SESSION_SPECIFIC_MTS_ALLOCATION
                        requestType indicating value 1, // FLOW_SPECIFIC_MTS_ALLOCATION
                        flowFilter indicating value FLOW_FILTER,
                        flowFilter indicating value FLOW_FILTER,
                        qosD indicating value SOME_ALLOCATION,
                        qosD indicating value SOME_ALLOCATION,
                        mtsMode indicating value 4, // QoS
                        mtsMode indicating value 4, // QoS
@@ -304,11 +300,11 @@ Package MEC_MEC015_SRV_MTS {
               // MEC 015 Clause 9.5.3.2
               // MEC 015 Clause 9.5.3.2
               the IUT entity sends a HTTP_RESPONSE containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "201 Created",
                  status_code set to "201 Created",
                  Location set to LOCATION, // MEC 015 Table 9.5.3.2-2
                  Location set to MTS_SESSION_ID, // MEC 015 Table 9.5.3.2-2
                  body containing
                  body containing
                     mtsSessionInfo containing
                     mtsSessionInfo containing
                        appInsId indicating value APP_INSTANCE_ID,
                        appInsId indicating value APP_INSTANCE_ID,
                        requestType indicating value APPLICATION_SPECIFIC_MTS_ALLOCATION,
                        requestType indicating value FLOW_SPECIFIC_MTS_ALLOCATION,
                        flowFilter indicating value FLOW_FILTER,
                        flowFilter indicating value FLOW_FILTER,
                        qosD indicating value SOME_ALLOCATION,
                        qosD indicating value SOME_ALLOCATION,
                        mtsMode indicating value LOW_COST,
                        mtsMode indicating value LOW_COST,
@@ -348,11 +344,12 @@ Package MEC_MEC015_SRV_MTS {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vPOST containing
               the IUT entity receives a vPOST containing
                  uri indicating value "bwm/v0/mts_sessions", // Invalid version number
                  uri indicating value "bwm/v1/mts_sessions", // Invalid version number
                  body containing
                  body containing
                     mtsSessionInfo containing
                     mtsSessionInfo containing
                        appInsId indicating value APP_INSTANCE_ID,
                        appInsId indicating value APP_INSTANCE_ID,
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION 
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION 
                        // MEC015 Clause 7.2.5 Type: MtsSessionInfo Table 7.2.5-1: Elements of MtsSessionInfo, flowFilter shall be omit
                        flowFilter indicating value FLOW_FILTER, 
                        flowFilter indicating value FLOW_FILTER, 
                        qosD indicating value SOME_ALLOCATION,
                        qosD indicating value SOME_ALLOCATION,
                        mtsMode indicating value LOW_COST,
                        mtsMode indicating value LOW_COST,
@@ -377,7 +374,7 @@ Package MEC_MEC015_SRV_MTS {
      TP Id "TP_MEC_MEC015_SRV_MTS_004_OK"
      TP Id "TP_MEC_MEC015_SRV_MTS_004_OK"


      Test objective
      Test objective
        "Check that the IUT responds with a configured Multi-access Traffic Steering 
        "Check that the IUT responds with a configured Multi-access Traffic Steering session
        when queried by a MEC Application"
        when queried by a MEC Application"


      Reference "ETSI GS MEC 015 V2.1.1, clause 9.4.3.1",
      Reference "ETSI GS MEC 015 V2.1.1, clause 9.4.3.1",
@@ -390,7 +387,7 @@ Package MEC_MEC015_SRV_MTS {
      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the MEC_APP entity having an mtsSessionInfo containing
         the MEC_APP entity having an mtsSessionInfo containing
            sessioId indicating value SESSION_ID
            sessionId indicating value MTS_SESSION_ID
         ;
         ;
      }
      }


@@ -401,7 +398,7 @@ Package MEC_MEC015_SRV_MTS {
               the IUT entity receives a vGET containing
               the IUT entity receives a vGET containing
                  uri indicating value "mts/v1/mts_sessions",
                  uri indicating value "mts/v1/mts_sessions",
                    query_parameters containing
                    query_parameters containing
                      sessionId indicating value SESSION_ID
                      sessionId indicating value MTS_SESSION_ID
                  ;
                  ;
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
@@ -414,7 +411,6 @@ Package MEC_MEC015_SRV_MTS {
                     mtsSessionInfo containing
                     mtsSessionInfo containing
                        appInsId indicating value APP_INSTANCE_ID,
                        appInsId indicating value APP_INSTANCE_ID,
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION
                        flowFilter indicating value FLOW_FILTER,
                        qosD indicating value SOME_ALLOCATION,
                        qosD indicating value SOME_ALLOCATION,
                        mtsMode indicating value LOW_COST,
                        mtsMode indicating value LOW_COST,
                        trafficDirection indicating value "00"
                        trafficDirection indicating value "00"
@@ -444,7 +440,7 @@ Package MEC_MEC015_SRV_MTS {
      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the MEC_APP entity having an mtsSessionInfo containing
         the MEC_APP entity having an mtsSessionInfo containing
            sessionId indicating value SESSION_ID
            sessionId indicating value MTS_SESSION_ID
         ;
         ;
      }
      }


@@ -456,7 +452,7 @@ Package MEC_MEC015_SRV_MTS {
                  uri indicating value "mts/v1/mts_sessions",
                  uri indicating value "mts/v1/mts_sessions",
                    query_parameters containing
                    query_parameters containing
                       // Wrong parameter name should trigger an error response.
                       // Wrong parameter name should trigger an error response.
                       sessionId indicating value SESSION_ID
                       sessionId indicating value MTS_SESSION_ID
                  ;
                  ;
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
@@ -489,7 +485,7 @@ Package MEC_MEC015_SRV_MTS {
      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the MEC_APP entity having an mtsSessionInfo containing
         the MEC_APP entity having an mtsSessionInfo containing
            sessionId indicating value SESSION_ID
            sessionId indicating value MTS_SESSION_ID
         ;
         ;
      }
      }


@@ -500,7 +496,7 @@ Package MEC_MEC015_SRV_MTS {
               the IUT entity receives a vGET containing
               the IUT entity receives a vGET containing
                  uri indicating value "mts/v1/mts_sessions",
                  uri indicating value "mts/v1/mts_sessions",
                    query_parameters containing
                    query_parameters containing
                      sessionId indicating value SESSION_ID
                      sessionId indicating value MTS_UNKNOWN_SESSION_ID
                  ;
                  ;
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
@@ -508,7 +504,7 @@ Package MEC_MEC015_SRV_MTS {
            then {
            then {
               // MEC 015 Clause 9.4.3.1
               // MEC 015 Clause 9.4.3.1
               the IUT entity sends a HTTP_RESPONSE containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "400 Bad Request"
                  status_code set to "404 Not Found"
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
@@ -533,7 +529,7 @@ Package MEC_MEC015_SRV_MTS {
      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the MEC_APP entity having a mtsSessionInfo containing
         the MEC_APP entity having a mtsSessionInfo containing
            sessionId indicating value SESSION_ID
            sessionId indicating value MTS_SESSION_ID
         ;
         ;
      }
      }


@@ -542,14 +538,13 @@ Package MEC_MEC015_SRV_MTS {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vPUT containing
               the IUT entity receives a vPUT containing
                  uri indicating value "mts/v1/mts_sessions/{sessionId}",
                  uri indicating value "mts/v1/mts_sessions",
                  query_parameters containing
                  query_parameters containing
                     sessionId indicating value SESSION_ID,
                     sessionId indicating value MTS_SESSION_ID,
                  body containing
                  body containing
                     mtsSessionInfo containing
                     mtsSessionInfo containing
                        appInsId indicating value APP_INSTANCE_ID,
                        appInsId indicating value APP_INSTANCE_ID,
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION
                        flowFilter indicating value FLOW_FILTER,
                        qosD indicating value SOME_NEW_ALLOCATION,
                        qosD indicating value SOME_NEW_ALLOCATION,
                        mtsMode indicating value LOW_COST,
                        mtsMode indicating value LOW_COST,
                        trafficDirection indicating value "00"
                        trafficDirection indicating value "00"
@@ -566,7 +561,6 @@ Package MEC_MEC015_SRV_MTS {
                     mtsSessionInfo containing
                     mtsSessionInfo containing
                        appInsId indicating value APP_INSTANCE_ID,
                        appInsId indicating value APP_INSTANCE_ID,
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION
                        flowFilter indicating value FLOW_FILTER,
                        qosD indicating value SOME_NEW_ALLOCATION,
                        qosD indicating value SOME_NEW_ALLOCATION,
                        mtsMode indicating value LOW_COST,
                        mtsMode indicating value LOW_COST,
                        trafficDirection indicating value "00"
                        trafficDirection indicating value "00"
@@ -596,7 +590,7 @@ Package MEC_MEC015_SRV_MTS {
      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the MEC_APP entity having a mtsSessionInfo containing
         the MEC_APP entity having a mtsSessionInfo containing
            sessionId indicating value SESSION_ID
            sessionId indicating value MTS_SESSION_ID
         ;
         ;
      }
      }


@@ -605,14 +599,15 @@ Package MEC_MEC015_SRV_MTS {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vPUT containing
               the IUT entity receives a vPUT containing
                  uri indicating value "mts/v1/mts_sessions/{sessionId}",
                  uri indicating value "mts/v1/mts_sessions",
                     // Wrong parameter name should trigger an error response.
                     // Wrong parameter name should trigger an error response.
                  query_parameters containing
                  query_parameters containing
                     sessionId indicating value SESSION_ID,
                     sessionId indicating value MTS_SESSION_ID,
                  body containing
                  body containing
                     mtsSessionInfo containing
                     mtsSessionInfo containing
                        appInsId indicating value APP_INSTANCE_ID,
                        appInsId indicating value APP_INSTANCE_ID,
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION
                        // MEC015 Clause 7.2.5 Type: MtsSessionInfo Table 7.2.5-1: Elements of MtsSessionInfo, flowFilter shall be omit
                        flowFilter indicating value FLOW_FILTER, 
                        flowFilter indicating value FLOW_FILTER, 
                        qosD indicating value SOME_NEW_ALLOCATION,
                        qosD indicating value SOME_NEW_ALLOCATION,
                        mtsMode indicating value LOW_COST,
                        mtsMode indicating value LOW_COST,
@@ -625,17 +620,7 @@ Package MEC_MEC015_SRV_MTS {
            then {
            then {
               // MEC 015 Clause 8.3.3.2
               // MEC 015 Clause 8.3.3.2
               the IUT entity sends a HTTP_RESPONSE containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK"
                  status_code set to "400 Bad Request"
                  body containing
                     mtsSessionInfo containing
                        appInsId indicating value APP_INSTANCE_ID,
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION
                        flowFilter indicating value FLOW_FILTER,
                        qosD indicating value SOME_NEW_ALLOCATION,
                        mtsMode indicating value LOW_COST,
                        trafficDirection indicating value "00"
                    ;
                  ;
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
@@ -660,7 +645,7 @@ Package MEC_MEC015_SRV_MTS {
      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the MEC_APP entity having a mtsSessionInfo containing
         the MEC_APP entity having a mtsSessionInfo containing
            sessionId indicating value SESSION_ID
            sessionId indicating value MTS_SESSION_ID
         ;
         ;
      }
      }


@@ -669,9 +654,9 @@ Package MEC_MEC015_SRV_MTS {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vPUT containing
               the IUT entity receives a vPUT containing
                  uri indicating value "mts/v1/mts_sessions/{sessionId}",
                  uri indicating value "mts/v1/mts_sessions",
                  query_parameters containing
                  query_parameters containing
                     sessionId indicating value UNKNOWN_SESSION_ID,
                     sessionId indicating value MTS_UNKNOWN_SESSION_ID,
                  body containing
                  body containing
                     mtsSessionInfo containing
                     mtsSessionInfo containing
                        appInsId indicating value APP_INSTANCE_ID,
                        appInsId indicating value APP_INSTANCE_ID,
@@ -688,17 +673,7 @@ Package MEC_MEC015_SRV_MTS {
            then {
            then {
               // MEC 015 Clause 8.3.3.2
               // MEC 015 Clause 8.3.3.2
               the IUT entity sends a HTTP_RESPONSE containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK"
                  status_code set to "404 Not Found"
                  body containing
                     mtsSessionInfo containing
                        appInsId indicating value APP_INSTANCE_ID,
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION
                        flowFilter indicating value FLOW_FILTER,
                        qosD indicating value SOME_NEW_ALLOCATION,
                        mtsMode indicating value LOW_COST,
                        trafficDirection indicating value "00"
                    ;
                  ;
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
@@ -723,7 +698,7 @@ Package MEC_MEC015_SRV_MTS {
      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the MEC_APP entity having a mtsSessionInfo containing
         the MEC_APP entity having a mtsSessionInfo containing
            sessionId indicating value SESSION_ID
            sessionId indicating value MTS_SESSION_ID
         ;
         ;
      }
      }


@@ -732,9 +707,9 @@ Package MEC_MEC015_SRV_MTS {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vDELETE containing
               the IUT entity receives a vDELETE containing
                  uri indicating value "mts/v1/mts_sessions/{sessionId}",
                  uri indicating value "mts/v1/mts_sessions",
                  query_parameters containing
                  query_parameters containing
                     sessionId indicating value SESSION_ID
                     sessionId indicating value MTS_SESSION_ID
                  ;
                  ;
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
@@ -742,17 +717,7 @@ Package MEC_MEC015_SRV_MTS {
            then {
            then {
               // MEC 015 Clause 8.3.3.2
               // MEC 015 Clause 8.3.3.2
               the IUT entity sends a HTTP_RESPONSE containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK"
                  status_code set to "204 No Content"
                  body containing
                     mtsSessionInfo containing
                        appInsId indicating value APP_INSTANCE_ID,
                        requestType indicating value 0, // APPLICATION_SPECIFIC_MTS_ALLOCATION
                        flowFilter indicating value FLOW_FILTER,
                        qosD indicating value SOME_NEW_ALLOCATION,
                        mtsMode indicating value LOW_COST,
                        trafficDirection indicating value "00"
                    ;
                  ;
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
@@ -777,7 +742,7 @@ Package MEC_MEC015_SRV_MTS {
      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the MEC_APP entity having a mtsSessionInfo containing
         the MEC_APP entity having a mtsSessionInfo containing
            sessionId indicating value SESSION_ID
            sessionId indicating value MTS_SESSION_ID
         ;
         ;
      }
      }


@@ -786,10 +751,10 @@ Package MEC_MEC015_SRV_MTS {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vDELETE containing
               the IUT entity receives a vDELETE containing
                  uri indicating value "mts/v1/mts_sessions/{sessionId}",
                  uri indicating value "mts/v1/mts_sessions",
                  query_parameters containing
                  query_parameters containing
                     // Wrong parameter name should trigger an error response.
                     // Wrong parameter name should trigger an error response.
                     sessionId indicating value SESSION_ID
                     sessionId indicating value MTS_SESSION_ID
                  ;
                  ;
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
@@ -822,7 +787,7 @@ Package MEC_MEC015_SRV_MTS {
      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the MEC_APP entity having a mtsSessionInfo containing
         the MEC_APP entity having a mtsSessionInfo containing
            sessionId indicating value SESSION_ID
            sessionId indicating value MTS_SESSION_ID
         ;
         ;
      }
      }


@@ -831,9 +796,9 @@ Package MEC_MEC015_SRV_MTS {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vDELETE containing
               the IUT entity receives a vDELETE containing
                  uri indicating value "mts/v1/mts_sessions/{sessionId}",
                  uri indicating value "mts/v1/mts_sessions",
                  query_parameters containing
                  query_parameters containing
                     sessionId indicating value UNKNOWN_SESSION_ID
                     sessionId indicating value MTS_UNKNOWN_SESSION_ID
                  ;
                  ;
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
+46 −42

File changed.

Preview size limit exceeded, changes collapsed.