Commit 9c373373 authored by YannGarcia's avatar YannGarcia
Browse files

Merge branch 'TTF_T027' of https://forge.etsi.org/rep/mec/gs032p2-test-purposes into TTF_T027

parents 88e06919 29373205
Loading
Loading
Loading
Loading
+552 −0
Original line number Diff line number Diff line
/*
Copyright (c) ETSI 2018-2021.
Released under BSD 3-clause license. For more information visit https://forge.etsi.org/legal-matters
*/

Package MEC_MEC033_MEX_IOTS_IOTDEV {

   import all from MEC_Common;


   Test Purpose {
      TP Id "TP_MEC_MEC033_IOTS_IOTDEV_OK_01"

      Test objective
        "Check that the IUT responds with the list of registered IoT devices
         when queried by a Service Consumer"

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

      Config Id Config_MEC_6

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
         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,
            IMSI indicating value IMSI_DEVICE,
            enabled indicating value false
         ;
      }

      // MEC 033 V3.1.1 Clause 6.2.2 Type: DeviceInfo
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vGET containing
                  uri indicating value "/iots/v1/registered_devices"
               ;
               from the MEC_CONSUMER entity
            }
            then {
               // MEC 033 Clause 7.3.3.1
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK"
                  body containing
                     arrayOfDeviceInfo containing
	                     DeviceInfo containing
				            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,
				            deviceId indicating value HUMAN_READABLE_IDENTIFIER,
				            IMSI indicating value IMSI_DEVICE,
				            enabled indicating value false 
                  			;
               			;
               		;
               ;
               to the MEC_CONSUMER entity
            }
         }
   }

   Test Purpose {
      TP Id "TP_MEC_MEC033_IOTS_IOTDEV_OK_02"

      Test objective
        "Check that the IUT registers the information of a new IoT device
        when requested by a Service Consumer"

      Reference "ETSI GS MEC 033 V3.1.1, clause 7.3.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.2 Type: DeviceInfo
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPOST containing
                  uri indicating value "/iots/v1/registered_devices"
                  body containing
                     DeviceInfo containing
				            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,
				            deviceId indicating value HUMAN_READABLE_IDENTIFIER,
				            IMSI indicating value IMSI_DEVICE
                  			;
               		;
               ;
               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 "201 Created",
                  Location set to LOCATION,
                  body containing
                     DeviceInfo containing
				            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,
				            deviceId indicating value HUMAN_READABLE_IDENTIFIER,
				            IMSI indicating value IMSI_DEVICE,
				            enabled indicating value false 
                  			;
               			;
               		;
               to the MEC_CONSUMER entity
            }
         }
   }

   Test Purpose {
      TP Id "TP_MEC_MEC033_IOTS_IOTDEV_BR_02"

      Test objective
        "Check that the IUT returns an error
        when Service Consumer request to registers an IoT device with incorrect parameters"

      Reference "ETSI GS MEC 033 V3.1.1, clause 7.3.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.2 Type: DeviceInfo
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPOST containing
                  uri indicating value "/iots/v1/registered_devices"
                  body containing
                     DeviceInfo containing
				            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,
				            deviceId indicating value HUMAN_READABLE_IDENTIFIER,
				            IMSI indicating value IMSI_DEVICE,
				            enabled indicating value false // According to Note 3 of 6.2.2-1 table, it cannot be set directly by the service consumer.
                  			;
               		;
               ;
               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",
                  Location set to LOCATION,
                  body containing
                     ProblemDetails containing 
                        		details indicating value ERROR_DETAILS
							;
						;
					;
               to the MEC_CONSUMER entity
            }
         }
   }

   Test Purpose {
      TP Id "TP_MEC_MEC033_IOTS_IOTDEV_OK_03"

      Test objective
        "Check that the IUT returns the IoT device information
         when requested by Service Consumer specifying the device identifier"

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

      Config Id Config_MEC_6

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
         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,
            IMSI indicating value IMSI_DEVICE,
            enabled indicating value false
         ;
         
      }

      // MEC 033 V3.1.1 Clause 6.2.2 Type: DeviceInfo
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vGET containing
                  uri indicating value "/iots/v1/registered_devices/{registeredDeviceId}"
                  ;
               from the MEC_CONSUMER entity
            }
            then {
               // MEC 033 Clause 7.4.3.1
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK",
                  body containing
                     DeviceInfo containing
				            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,
				            deviceId indicating value registeredDeviceId,
				            IMSI indicating value IMSI_DEVICE,
				            enabled indicating value false 
                  			;
               			;
               		;
               to the MEC_CONSUMER entity
            }
         }
   }

Test Purpose {
      TP Id "TP_MEC_MEC033_IOTS_IOTDEV_NF_03"

      Test objective
        "Check that the IUT returns error
         when Service Consumer request to retrieve a not registered IoT device"

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

      Config Id Config_MEC_6

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
         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,
            IMSI indicating value IMSI_DEVICE,
            enabled indicating value false
         ;
         
      }

      // MEC 033 V3.1.1 Clause 6.2.2 Type: DeviceInfo
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vGET containing
                  uri indicating value "/iots/v1/registered_devices/{registeredDeviceId}"
                  ;
               from the MEC_CONSUMER entity
            }
            then {
               // MEC 033 Clause 7.4.3.1
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "404 Not Found"
               		;
               to the MEC_CONSUMER entity
            }
         }
   }

	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
	        when requested by a Service Consumer"
	
	      Reference "ETSI GS MEC 033 V3.1.1, clause 7.4.3.2"
	
	      Config Id Config_MEC_6
	
	      PICS Selection PIC_MEC_PLAT and PIC_SERVICES
	
	      Initial conditions  with {
	         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,
	            IMSI indicating value IMSI_DEVICE,
	            enabled indicating value false
	         ;
	      }
	
	      // MEC 033 V3.1.1 Clause 6.2.2 Type: DeviceInfo
	      Expected behaviour
	         ensure that {
	            when {
	               the IUT entity receives a vPUT containing
	                  uri indicating value "/iots/v1/registered_devices"
		                  body containing
		                     DeviceInfo containing //Updating TrafficRuleDescriptor and the requestedIoTPlatformId associated with
						            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,
						            deviceId indicating value HUMAN_READABLE_IDENTIFIER,
						            IMSI indicating value IMSI_DEVICE,
						            requestedIotPlatformId indicating value REQ_IOT_PLATFORM,
						            requestedMecTrafficRule containing
						                TrafficRuleDescriptor containing
						                	trafficRuleId indicating value TRAFFIC_RULE_ID,
						                	filterType set to "FLOW",
						                	action set to "FORWARD_AS_IS",
						                	trafficFilter containing
						                		qCI indicating value QCI_VALUE				             
						            	;
		                  			;
		               			;
		               		;
		            	;
		           ;
	               from the MEC_CONSUMER entity
	            }
	            then {
	               // MEC 033 Clause 7.4.3.2
	               the IUT entity sends a HTTP_RESPONSE containing
	                  status_code set to "200 OK",
	                  body containing
		                     DeviceInfo containing
						            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,
						            deviceId indicating value HUMAN_READABLE_IDENTIFIER,
						            IMSI indicating value IMSI_DEVICE,
						            requestedIotPlatformId indicating value REQ_IOT_PLATFORM,
						            requestedMecTrafficRule containing
						                TrafficRuleDescriptor containing
						                	trafficRuleId indicating value TRAFFIC_RULE_ID,
						                	filterType set to "FLOW",
						                	action set to "FORWARD_AS_IS",
						                	enabled set to TRUE
						                	trafficFilter containing
						                		qCI indicating value QCI_VALUE				             
						            	;
		                  			;
		               			;
		               		;
		            	;
		           ;
	               to the MEC_CONSUMER entity
	            }
	         }
	   }
	
	Test Purpose {
	 TP Id "TP_MEC_MEC033_IOTS_IOTDEV_NF_04"
	
	      Test objective
	        "Check that the IUT returns an error
	        when a Service Consumer requests to update a not registered IoT device"
	
	      Reference "ETSI GS MEC 033 V3.1.1, clause 7.4.3.2"
	
	      Config Id Config_MEC_6
	
	      PICS Selection PIC_MEC_PLAT and PIC_SERVICES
	
	      Initial conditions  with {
	         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,
	            IMSI indicating value IMSI_DEVICE,
	            enabled indicating value false
	         ;
	      }
	
	      // MEC 033 V3.1.1 Clause 6.2.2 Type: DeviceInfo
	      Expected behaviour
	         ensure that {
	            when {
	               the IUT entity receives a vPUT containing
	                  uri indicating value "/iots/v1/registered_devices"
		                  body containing
		                     DeviceInfo containing
						            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,
						            deviceId indicating value HUMAN_READABLE_IDENTIFIER,
						            IMSI indicating value IMSI_DEVICE,
						            requestedIotPlatformId indicating value REQ_IOT_PLATFORM,
						            requestedMecTrafficRule containing
						                TrafficRuleDescriptor containing
						                	trafficRuleId indicating value TRAFFIC_RULE_ID,
						                	filterType set to "FLOW",
						                	action set to "FORWARD_AS_IS",
						                	trafficFilter containing
						                		qCI indicating value QCI_VALUE				             
						            	;
		                  			;
		               			;
		               		;
		            	;
		           ;
	               from the MEC_CONSUMER entity
	            }
	            then {
	               // MEC 033 Clause 7.4.3.2
	               the IUT entity sends a HTTP_RESPONSE containing
	                  status_code set to "404 Not Found";
	               to the MEC_CONSUMER entity
	            }
	         }
	   }
	
	Test Purpose {
	 TP Id "TP_MEC_MEC033_IOTS_IOTDEV_BR_04"
	
	      Test objective
	        "Check that the IUT returns an error
	        when a Service Consumer requests to update an existing IoT device with incorrect parameters"
	
	      Reference "ETSI GS MEC 033 V3.1.1, clause 7.4.3.2"
	
	      Config Id Config_MEC_6
	
	      PICS Selection PIC_MEC_PLAT and PIC_SERVICES
	
	      Initial conditions  with {
	         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,
	            IMSI indicating value IMSI_DEVICE,
	            enabled indicating value false
	         ;
	      }
	
	      // MEC 033 V3.1.1 Clause 6.2.2 Type: DeviceInfo
	      Expected behaviour
	         ensure that {
	            when {
	               the IUT entity receives a vPUT containing
	                  uri indicating value "/iots/v1/registered_devices"
		                  body containing
		                     DeviceInfo containing
						            deviceAuthenticationInfo indicating value SOME_CUSTOM_VALUES,
						            deviceId indicating value HUMAN_READABLE_IDENTIFIER,
						            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
						                TrafficRuleDescriptor containing
						                	trafficRuleId indicating value TRAFFIC_RULE_ID,
						                	filterType set to "FLOW",
						                	action set to "FORWARD_AS_IS",
						                	trafficFilter containing
						                		qCI indicating value QCI_VALUE				             
						            	;
		                  			;
		               			;
		               		;
		            	;
		           ;
	               from the MEC_CONSUMER entity
	            }
	            then {
	               // MEC 033 Clause 7.4.3.2
	               the IUT entity sends a HTTP_RESPONSE containing
	                  status_code set to "400 Bad Request",
	                  body containing
		                     ProblemDetails containing 
	                        		details indicating value ERROR_DETAILS
								;
							;
						;
	               to the MEC_CONSUMER entity
	            }
	         }
	   }

   Test Purpose {
      TP Id "TP_MEC_MEC033_IOTS_IOTDEV_OK_05"

      Test objective
        "Check that the IUT deregisters an IoT device information
        when requested by a Service Consumer specifying the IoT registered device identifier"

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

      Config Id Config_MEC_6

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
         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,
            IMSI indicating value IMSI_DEVICE,
            enabled indicating value false
         ;
         
      }

      // MEC 033 V3.1.1 Clause 6.2.2 Type: DeviceInfo
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vDELETE containing
                  uri indicating value "/iots/v1/registered_devices/{registeredDeviceId}"
                  ;
               from the MEC_CONSUMER entity
            }
            then {
               // MEC 033 Clause 7.4.3.5
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "204 No Content"
                  ;
               to the MEC_CONSUMER entity
            }
         }
   }

Test Purpose {
      TP Id "TP_MEC_MEC033_IOTS_IOTDEV_NF_05"

      Test objective
        "Check that the IUT returns an error
        when requested by a Service Consumer using incorrect parameters"

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

      Config Id Config_MEC_6

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
         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,
            IMSI indicating value IMSI_DEVICE,
            enabled indicating value false
         ;
         
      }

      // MEC 033 V3.1.1 Clause 6.2.2 Type: DeviceInfo
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vDELETE containing
                  uri indicating value "/iots/v1/registered_devices/{registeredDeviceId}"
                  ;
               from the MEC_CONSUMER entity
            }
            then {
               // MEC 033 Clause 7.4.3.5
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "404 Not found"
                  ;
               to the MEC_CONSUMER entity
            }
         }
   }
   
}

+391 −0

File added.

Preview size limit exceeded, changes collapsed.

+1 −1
Original line number Diff line number Diff line
@@ -48,7 +48,7 @@ Package MEC_Common {
      - services_running      // services available in the IUT
      - started               // component is up and running
      - authorised            // component is authenticated and authorised to use services
      - consume_services      // component is can use services
      - consume_services      // component can use services
      - receives              // component receives an HTTP request
      - sends                 // component sends an HTTP response
      - being_in