Commit a3064b36 authored by Filipe Ferreira's avatar Filipe Ferreira
Browse files

Fix PIC_NOTIFICATIONS misuse and typos. 

https://forge.etsi.org/rep/mec/gs032p2-test-purposes/issues/2
https://forge.etsi.org/rep/mec/gs032p2-test-purposes/issues/3
parent 30589801

Test Purposes/SRV/APPSAQ/PlatAppServices.tplan2

+2 −2
Original line number Diff line number Diff line
@@ -190,7 +190,7 @@ Package MEC_SRV_APPSAQ { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_SERVICES and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and
@@ -238,7 +238,7 @@ Package MEC_SRV_APPSAQ { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_SERVICES and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and

Test Purposes/SRV/APPSUB/PlatAppSubscriptions.tplan2

+6 −6
Original line number Diff line number Diff line
@@ -33,7 +33,7 @@ Package MEC_SRV_APPSUB { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and
@@ -76,7 +76,7 @@ Package MEC_SRV_APPSUB { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and
@@ -218,7 +218,7 @@ Package MEC_SRV_APPSUB { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and
@@ -267,7 +267,7 @@ Package MEC_SRV_APPSUB { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and
@@ -310,7 +310,7 @@ Package MEC_SRV_APPSUB { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and
@@ -354,7 +354,7 @@ Package MEC_SRV_APPSUB { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and

Test Purposes/SRV/UEAREASUB/PlatUeAreaSubscription.tplan2

+1 −1
Original line number Diff line number Diff line
@@ -123,7 +123,7 @@ Package MEC_SRV_UEAREASUB { 
            then {

               // MEC 013, clause 7.3.11.2

               the IUT entity sends a HTTP_RESPONSE containing

                  status_code set to "400 Bar Request"

                  status_code set to "400 Bad Request"

               ;

               to the MEC_APP entity

            }