Commit 0365dbbd authored by piscione's avatar piscione
Browse files

Fixes on MEC033 TPs

parent 9c373373

Test Purposes/MEC033/IOTS/IOTDEV/RegisteredDevices.tplan2→Test Purposes/MEC033/MEX/IOTS/IOTDEV/RegisteredDevices.tplan2

+20 −20
Original line number Diff line number Diff line
@@ -27,7 +27,7 @@ Package MEC_MEC033_MEX_IOTS_IOTDEV { 
            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,

            deviceId indicating value HUMAN_READABLE_IDENTIFIER,

            IMSI indicating value IMSI_DEVICE,

            enabled indicating value false

            enabled set to false

         ;

      }
@@ -50,7 +50,7 @@ Package MEC_MEC033_MEX_IOTS_IOTDEV { 
				            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,

				            deviceId indicating value HUMAN_READABLE_IDENTIFIER,

				            IMSI indicating value IMSI_DEVICE,

				            enabled indicating value false 

				            enabled set to false 

                  			;

               			;

               		;
@@ -64,7 +64,7 @@ Package MEC_MEC033_MEX_IOTS_IOTDEV { 
      TP Id "TP_MEC_MEC033_IOTS_IOTDEV_OK_02"



      Test objective

        "Check that the IUT registers the information of a new IoT device

        "Check that the IUT registers the information of an IoT device

        when requested by a Service Consumer"



      Reference "ETSI GS MEC 033 V3.1.1, clause 7.3.3.4"
@@ -98,7 +98,7 @@ Package MEC_MEC033_MEX_IOTS_IOTDEV { 
               // MEC 033 Clause 7.3.3.4

               the IUT entity sends a HTTP_RESPONSE containing

                  status_code set to "201 Created",

                  Location set to LOCATION,

                  Location indicating value LOCATION,

                  body containing

                     DeviceInfo containing

				            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,
@@ -118,7 +118,7 @@ Package MEC_MEC033_MEX_IOTS_IOTDEV { 


      Test objective

        "Check that the IUT returns an error

        when Service Consumer request to registers an IoT device with incorrect parameters"

         when Service Consumer request to register an IoT device with incorrect parameters"



      Reference "ETSI GS MEC 033 V3.1.1, clause 7.3.3.4"
@@ -181,7 +181,7 @@ Package MEC_MEC033_MEX_IOTS_IOTDEV { 
         the IUT entity being_in idle_state and

         the MEC_PROVIDER entity having a DeviceInfo containing

            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,

            deviceId indicating value registeredDeviceId,

            deviceId set to registeredDeviceId,

            IMSI indicating value IMSI_DEVICE,

            enabled indicating value false

         ;
@@ -204,7 +204,7 @@ Package MEC_MEC033_MEX_IOTS_IOTDEV { 
                  body containing

                     DeviceInfo containing

				            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,

				            deviceId indicating value registeredDeviceId,

				            deviceId set to registeredDeviceId,

				            IMSI indicating value IMSI_DEVICE,

				            enabled indicating value false 

                  			;
@@ -232,7 +232,7 @@ Test Purpose { 
         the IUT entity being_in idle_state and

         the MEC_PROVIDER entity not having a DeviceInfo containing

            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,

            deviceId indicating value registeredDeviceId,

            deviceId set to registeredDeviceId,

            IMSI indicating value IMSI_DEVICE,

            enabled indicating value false

         ;
@@ -262,7 +262,7 @@ Test Purpose { 
	 TP Id "TP_MEC_MEC033_IOTS_IOTDEV_OK_04"

	

	      Test objective

	        "Check that the IUT updates the information about a registered IOT device

	        "Check that the IUT updates the information about a registered IoT device

	        when requested by a Service Consumer"

	

	      Reference "ETSI GS MEC 033 V3.1.1, clause 7.4.3.2"
@@ -275,7 +275,7 @@ Test Purpose { 
	         the IUT entity being_in idle_state and

	         the MEC_PROVIDER entity having a DeviceInfo containing

	            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,

	            deviceId indicating value HUMAN_READABLE_IDENTIFIER,

	            deviceId set to registeredDeviceId,

	            IMSI indicating value IMSI_DEVICE,

	            enabled indicating value false

	         ;
@@ -286,7 +286,7 @@ Test Purpose { 
	         ensure that {

	            when {

	               the IUT entity receives a vPUT containing

	                  uri indicating value "/iots/v1/registered_devices"

	                  uri indicating value "/iots/v1/registered_devices/{registeredDeviceId}"

		                  body containing

		                     DeviceInfo containing //Updating TrafficRuleDescriptor and the requestedIoTPlatformId associated with

						            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,
@@ -354,7 +354,7 @@ Test Purpose { 
	         the IUT entity being_in idle_state and

	         the MEC_PROVIDER entity not having a DeviceInfo containing

	            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,

	            deviceId indicating value HUMAN_READABLE_IDENTIFIER,

	            deviceId set to registeredDeviceId,

	            IMSI indicating value IMSI_DEVICE,

	            enabled indicating value false

	         ;
@@ -365,11 +365,11 @@ Test Purpose { 
	         ensure that {

	            when {

	               the IUT entity receives a vPUT containing

	                  uri indicating value "/iots/v1/registered_devices"

	                  uri indicating value "/iots/v1/registered_devices/{registeredDeviceId}"

		                  body containing

		                     DeviceInfo containing

						            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,

						            deviceId indicating value HUMAN_READABLE_IDENTIFIER,

						            deviceId set to registeredDeviceId,

						            IMSI indicating value IMSI_DEVICE,

						            requestedIotPlatformId indicating value REQ_IOT_PLATFORM,

						            requestedMecTrafficRule containing
@@ -413,7 +413,7 @@ Test Purpose { 
	         the IUT entity being_in idle_state and

	         the MEC_PROVIDER entity having a DeviceInfo containing

	            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,

	            deviceId indicating value HUMAN_READABLE_IDENTIFIER,

	            deviceId set to registeredDeviceId,

	            IMSI indicating value IMSI_DEVICE,

	            enabled indicating value false

	         ;
@@ -424,11 +424,11 @@ Test Purpose { 
	         ensure that {

	            when {

	               the IUT entity receives a vPUT containing

	                  uri indicating value "/iots/v1/registered_devices"

	                  uri indicating value "/iots/v1/registered_devices/{registeredDeviceId}"

		                  body containing

		                     DeviceInfo containing

						            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,

						            deviceId indicating value HUMAN_READABLE_IDENTIFIER,

						            deviceId set to registeredDeviceId,

						            IMSI indicating value IMSI_DEVICE,

						            enabled set to TRUE, // According to Note 3 of 6.2.2-1 table, it cannot be set directly by the service consumer.

						            requestedMecTrafficRule containing
@@ -478,7 +478,7 @@ Test Purpose { 
         the IUT entity being_in idle_state and

         the MEC_PROVIDER entity having a DeviceInfo containing

            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,

            deviceId indicating value registeredDeviceId,

            deviceId set to registeredDeviceId,

            IMSI indicating value IMSI_DEVICE,

            enabled indicating value false

         ;
@@ -509,7 +509,7 @@ Test Purpose { 


      Test objective

        "Check that the IUT returns an error

        when requested by a Service Consumer using incorrect parameters"

        when a Service Consumer requests to deregisters an IoT device using incorrect parameters"



      Reference "ETSI GS MEC 033 V3.1.1, clause 7.4.3.5"

Test Purposes/MEC033/IOTS/IOTPLAT/RegisteredIoTPlatform.tplan2→Test Purposes/MEC033/MEX/IOTS/IOTPLAT/RegisteredIoTPlatform.tplan2

100755 → 100644
+433 −390
Original line number Diff line number Diff line
@@ -8,7 +8,7 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
	import all from MEC_Common;

	

	Test Purpose {

		TP Id "TP_MEC_MEC033_IOTS_IOTPLAT_OK_01"

		TP Id "TP_MEC_MEC033_MEX_IOTS_IOTPLAT_OK_01"

		

		Test objective

        	"Check that the IUT responds with the list of registered IoT platforms
@@ -60,7 +60,7 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
	

	

	Test Purpose {

		TP Id "TP_MEC_MEC033_IOTS_IOTPLAT_OK_02"

		TP Id "TP_MEC_MEC033_MEX_IOTS_IOTPLAT_OK_02"

		

		Test objective

	        "Check that the IUT registers the information of a new IoT platform
@@ -96,7 +96,7 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
               // MEC 033 Clause 7.3.3.4

               the IUT entity sends a HTTP_RESPONSE containing

                  status_code set to "201 Created",

                  Location set to LOCATION,

                  Location indicating value LOCATION,

                  body containing

                     IotPlatformInfo containing

				            iotPlatformId indicating value IOT_PLATFORM_ID,
@@ -112,11 +112,54 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
	}

	

	Test Purpose {

      TP Id "TP_MEC_MEC033_IOTS_IOTPLAT_OK_03"

		TP Id "TP_MEC_MEC033_MEX_IOTS_IOTPLAT_BR_02"

		

		Test objective

	        "Check that the IUT returns an error

	        when Service Consumer request to register an IoT device with incorrect parameters"

	        

	    Reference "ETSI GS MEC 033 V3.1.1, clause 7.5.3.4"

	    

	    Config Id Config_MEC_6

	    

	    PICS Selection PIC_MEC_PLAT and PIC_SERVICES

	    

		Initial conditions  with {

			the IUT entity being_in idle_state

		}

		

		// MEC 033 V3.1.1 Clause 6.2.3 Type: IotPlatformInfo

		Expected behaviour

         ensure that {

            when {

               the IUT entity receives a vPOST containing

                  uri indicating value "/iots/v1/registered_iot_platforms"

                  body containing

                     IotPlatformInfo containing //userTransportInfo is a mandatory attribute of IotPlatformInfo, below not provided.

				            iotPlatformId indicating value IOT_PLATFORM_ID,

				            enabled indicating value BOOLEAN_VALUE

                  			;

               		;

               ;

               from the MEC_CONSUMER entity

            }

            then {

               // MEC 033 Clause 7.3.3.4

               the IUT entity sends a HTTP_RESPONSE containing

                  status_code set to "400 Bad Request"

               		;

               to the MEC_CONSUMER entity

            }

         }		

			

	}

	

	Test Purpose {

      TP Id "TP_MEC_MEC033_MEX_IOTS_IOTPLAT_OK_03"



      Test objective

        "Check that the IUT returns the IoT platform information

         when requested by Service Consumer specifying the platform identifier"

         when requested by Service Consumer specifying the IoT platform identifier"



      Reference "ETSI GS MEC 033 V3.1.1, clause 7.5.3.1"
@@ -127,7 +170,7 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
      Initial conditions  with {

         the IUT entity being_in idle_state and

         the MEC_PROVIDER entity having a IotPlatformInfo containing

            iotPlatformId indicating value IOT_PLATFORM_ID,

            iotPlatformId set to registeredIotPlatformId,

            userTransportInfo indicating value USER_TRANSPORT_INFO,

            enabled indicating value BOOLEAN_VALUE

         ;
@@ -161,7 +204,7 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
   }

   

   Test Purpose {

      TP Id "TP_MEC_MEC033_IOTS_IOTPLAT_NF_03"

      TP Id "TP_MEC_MEC033_MEX_IOTS_IOTPLAT_NF_03"



      Test objective

        "Check that the IUT returns error
@@ -175,8 +218,8 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 


      Initial conditions  with {

         the IUT entity being_in idle_state and

         the MEC_PROVIDER entity having a IotPlatformInfo containing

            iotPlatformId indicating value IOT_PLATFORM_ID,

         the MEC_PROVIDER entity not having a IotPlatformInfo containing

            iotPlatformId  set to  registeredIotPlatformId,

            userTransportInfo indicating value USER_TRANSPORT_INFO,

            enabled indicating value BOOLEAN_VALUE

         ;
@@ -202,11 +245,11 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
   }

   

   Test Purpose {

	 TP Id "TP_MEC_MEC033_IOTS_IOTPLAT_OK_04"

	 TP Id "TP_MEC_MEC033_MEX_IOTS_IOTPLAT_OK_04"



	

	      Test objective

	        "Check that the IUT updates the information about a registered IOT platform

	        "Check that the IUT updates the information about a registered IoT platform

	        when requested by a Service Consumer"

	

	      Reference "ETSI GS MEC 033 V3.1.1, clause 7.5.3.2"
@@ -218,7 +261,7 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
	      Initial conditions  with {

	         the IUT entity being_in idle_state and

	         the MEC_PROVIDER entity having a IotPlatformInfo containing

	            iotPlatformId indicating value IOT_PLATFORM_ID,

	            iotPlatformId set to registeredIotPlatformId,

	            userTransportInfo indicating value USER_TRANSPORT_INFO,

	            enabled indicating value BOOLEAN_VALUE

	         ;
@@ -233,7 +276,7 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
	                  uri indicating value "/iots/v1/registered_iot_platforms/{registeredIotPlatformId}"

		                  body containing

		                     IotPlatformInfo containing //Updating TrafficRuleDescriptor and the requestedIoTPlatformId associated with

						            iotPlatformId indicating value IOT_PLATFORM_ID,

						            iotPlatformId set to registeredIotPlatformId,

						            userTranspostInfo indicating value USER_TRANSPORT_INFO,

						            enabled indicating value BOOLEAN_VALUE		               			

		               		;
@@ -247,7 +290,7 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
	                  status_code set to "200 OK",

	                  body containing

		                     IotPlatformInfo containing

						            iotPlatformId indicating value IOT_PLATFORM_ID,

						            iotPlatformId set to registeredIotPlatformId,

						            userTranspostInfo indicating value USER_TRANSPORT_INFO,

						            enabled indicating value BOOLEAN_VALUE			             

	               			;
@@ -259,7 +302,7 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
	   }

	

	Test Purpose {

	 TP Id "TP_MEC_MEC033_IOTS_IOTPLAT_NF_04"

	 TP Id "TP_MEC_MEC033_MEX_IOTS_IOTPLAT_NF_04"

	

	      Test objective

	        "Check that the IUT returns an error
@@ -273,8 +316,8 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
	

	      Initial conditions  with {

	         the IUT entity being_in idle_state and

	         the MEC_PROVIDER entity having a IotPlatformInfo containing

	            iotPlatformId indicating value IOT_PLATFORM_ID,

	         the MEC_PROVIDER entity not having a IotPlatformInfo containing

	            iotPlatformId  set to  registeredIotPlatformId,

	            userTransportInfo indicating value USER_TRANSPORT_INFO,

	            enabled indicating value BOOLEAN_VALUE

	         ;
@@ -289,7 +332,7 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
	                  uri indicating value "/iots/v1/registered_iot_platforms/{registeredIotPlatformId}"

		                  body containing

		                     IotPlatformInfo containing 

						            iotPlatformId indicating value IOT_PLATFORM_ID,

						            iotPlatformId set to registeredIotPlatformId,

						            userTranspostInfo indicating value USER_TRANSPORT_INFO,

						            enabled indicating value BOOLEAN_VALUE		               			

		               		;
@@ -307,11 +350,11 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
	   }

	   

	Test Purpose {

	      TP Id "TP_MEC_MEC033_IOTS_IOTPLAT_OK_05"

	     TP Id "TP_MEC_MEC033_MEX_IOTS_IOTPLAT_OK_05"

	

	      Test objective

	        "Check that the IUT deregisters an IoT platform information

	        when requested by a Service Consumer specifying the IoT registered platform identifier"

	        when requested by a Service Consumer specifying the registered IoT platform identifier"

	

	      Reference "ETSI GS MEC 033 V3.1.1, clause 7.5.3.5"
@@ -322,7 +365,7 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
	      Initial conditions  with {

	         the IUT entity being_in idle_state and

	         the MEC_PROVIDER entity having a IotPlatformInfo containing

	            iotPlatformId indicating value IOT_PLATFORM_ID,

	            iotPlatformId set to registeredIotPlatformId,

	            userTransportInfo indicating value USER_TRANSPORT_INFO,

	            enabled indicating value BOOLEAN_VALUE

	         ;
@@ -349,11 +392,11 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 
	   

	   

   Test Purpose {

      TP Id "TP_MEC_MEC033_IOTS_IOTPLAT_NF_05"

      TP Id "TP_MEC_MEC033_MEX_IOTS_IOTPLAT_NF_05"



      Test objective

        "Check that the IUT returns an error

        when requested by a Service Consumer using incorrect parameters"

        when a Service Consumer request to deregister an IoT platform using incorrect parameters"



      Reference "ETSI GS MEC 033 V3.1.1, clause 7.5.3.5"
@@ -363,8 +406,8 @@ Package MEC_MEC033_MEX_IOTS_IOTPLAT { 


      Initial conditions  with {

         the IUT entity being_in idle_state and

         the MEC_PROVIDER entity having a IotPlatformInfo containing

            iotPlatformId indicating value IOT_PLATFORM_ID,

         the MEC_PROVIDER entity not having a IotPlatformInfo containing

            iotPlatformId set to registeredIotPlatformId,

            userTransportInfo indicating value USER_TRANSPORT_INFO,

            enabled indicating value BOOLEAN_VALUE

         ;