Commit cdf85160 authored by Elian Kraja's avatar Elian Kraja
Browse files

Fixes on MEC016

parent 0ea01f7a
Loading
Loading
Loading
Loading
+8 −118
Original line number Original line Diff line number Diff line
@@ -76,7 +76,7 @@ Package MEC_MEC016_MEO_UEAPPCTX {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_MEC016_MEO_UEAPPCTX_001_BR"
      TP Id "TP_MEC_MEC016_MEO_UEAPPCTX_001_NF"


      Test objective
      Test objective
         "Check that the IUT responds with an error when
         "Check that the IUT responds with an error when
@@ -113,7 +113,7 @@ Package MEC_MEC016_MEO_UEAPPCTX {
            then {
            then {
               // MEC 016, clause 7.4.3.4
               // MEC 016, clause 7.4.3.4
               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 Dev_App entity
               to the Dev_App entity
            }
            }
@@ -124,7 +124,7 @@ Package MEC_MEC016_MEO_UEAPPCTX {


   
   
	Test Purpose {
	Test Purpose {
      TP Id "TP_MEC_MEC016_MEO_UEAPPCTX_001_NF"
      TP Id "TP_MEC_MEC016_MEO_UEAPPCTX_001_BR"


      Test objective
      Test objective
         "Check that the IUT responds with an error when
         "Check that the IUT responds with an error when
@@ -168,63 +168,6 @@ Package MEC_MEC016_MEO_UEAPPCTX {
         }
         }
   }
   }


	Test Purpose {
		TP Id "TP_MEC_MEC016_MEO_UEAPPCTX_001_ERR"
		Test objective 
      		"Check that the ITU responds with 404 Not Found and 400 Bad request when a request
      		with incorrect parameters and for an unknown URI is sent by a MEC Application, respectively."
		Reference "ETSI GS MEC 016 2.2.1, clause 7.4.3.4"
     
        Config Id Config_MEC_4
     
     	PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

			Initial conditions with {
	        	the IUT entity being_in idle_state
	      	}
			Expected behaviour
				ensure that {
				when {
					the IUT entity receives
						a vPOST request containing
							uri set to URI,
							body containing
								AppContext containing
                        			appInfo containing
                           				appName set to APP_NAME_VALUE
			                        ;
			                    ;	
							;
						;
				}
				then {
					// MEC 016, clause 7.4.3.4
					the IUT entity sends
						a HTTP response containing
							status set to HTTP_STATUS
						;
				}
            }
        	Variants
            TP_MEC_MEC016_MEO_UEAPPS_001_NF {
                Test objective "Check that the IUT responds with an error when
					a request for an unknown URI is sent by a MEC Application"
                Bindings	
		    		value URI set to "/dev_app/v1/app_contexts_error";
		    		value APP_NAME_VALUE set to APP_NAME;
		    		value HTTP_STATUS set to "404 Not found";
            }

            TP_MEC_MEC016_MEO_UEAPPS_001_BR {
                Test objective "Check that the IUT responds with an error when
					a request with incorrect parameters is sent by a MEC Application"
                Bindings 
		    		value URI set to "/dev_app/v1/app_contexts";
		    		value APP_NAME_VALUE set to APP_NAME_ERROR; 
                    value HTTP_STATUS set to "400 Bad Request";
            }
		}

   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_MEC016_MEO_UEAPPCTX_002_OK"
      TP Id "TP_MEC_MEC016_MEO_UEAPPCTX_002_OK"


@@ -280,7 +223,7 @@ Package MEC_MEC016_MEO_UEAPPCTX {
         a request with incorrect parameters is sent by a MEC Application"
         a request with incorrect parameters is sent by a MEC Application"


      Reference "ETSI GS MEC 016 2.2.1, clause 7.5.3.2",
      Reference "ETSI GS MEC 016 2.2.1, clause 7.5.3.2",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yamlt"
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml"


      Config Id Config_MEC_4
      Config Id Config_MEC_4


@@ -364,61 +307,6 @@ Package MEC_MEC016_MEO_UEAPPCTX {
         }
         }
   }
   }
   
   
   Test Purpose {
		TP Id "TP_MEC_MEC016_MEO_UEAPPCTX_001_ERR"
		Test objective 
      		"Check that the ITU responds with 404 Not Found and 400 Bad request when a request
      		with incorrect parameters and for an unknown URI is sent by a MEC Application, respectively."
		Reference "ETSI GS MEC 016 2.2.1, clause 7.5.3.2"
     
        Config Id Config_MEC_4
     
     	PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

			Initial conditions with {
	        	the IUT entity being_in idle_state
	      	}
			Expected behaviour
				ensure that {
				when {
					the IUT entity receives
						a vPUT request containing
							uri set to URI,
							body containing
								AppContext containing
                        			appInfo containing
                           				appName set to APP_NAME_VALUE
			                        ;
			                    ;	
							;
						;
				}
				then {
					the IUT entity sends
						a HTTP response containing
							status set to HTTP_STATUS
						;
				}
            }
        	Variants
            TP_MEC_MEC016_MEO_UEAPPS_001_NF {
                Test objective "Check that the IUT responds with an error when
					a request for an unknown URI is sent by a MEC Application"
                Bindings	
		    		value URI set to "/dev_app/v1/app_contexts/{NON_EXISTENT_CONTEXT_ID}";
		    		value APP_NAME_VALUE set to APP_NAME;
		    		value HTTP_STATUS set to "404 Not found";
            }

            TP_MEC_MEC016_MEO_UEAPPS_001_BR {
                Test objective "Check that the IUT responds with an error when
					a request with incorrect parameters is sent by a MEC Application"
                Bindings 
		    		value URI set to "/dev_app/v1/app_contexts/{CONTEXT_ID}";
		    		value APP_NAME_VALUE set to APP_NAME_ERROR; 
                    value HTTP_STATUS set to "400 Bad Request";
            }
		}




   Test Purpose {
   Test Purpose {
@@ -428,7 +316,8 @@ Package MEC_MEC016_MEO_UEAPPCTX {
         "Check that the IUT deletes the application context
         "Check that the IUT deletes the application context
         when commanded by an UE Application"
         when commanded by an UE Application"


      Reference "ETSI GS MEC 016 2.2.1, clause 7.5.3.5"
      Reference "ETSI GS MEC 016 2.2.1, clause 7.5.3.5",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml"


      Config Id Config_MEC_4
      Config Id Config_MEC_4


@@ -468,7 +357,8 @@ Package MEC_MEC016_MEO_UEAPPCTX {
         "Check that the IUT responds with an error when
         "Check that the IUT responds with an error when
         a request for an unknown URI is sent by a MEC Application"
         a request for an unknown URI is sent by a MEC Application"


      Reference "ETSI GS MEC 016 2.2.1, clause 7.5.3.5"
      Reference "ETSI GS MEC 016 2.2.1, clause 7.5.3.5",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml"


      Config Id Config_MEC_4
      Config Id Config_MEC_4


+3 −60
Original line number Original line Diff line number Diff line
@@ -82,7 +82,7 @@ Package MEC_MEC016_MEO_UEAPPCTX {


      Test objective
      Test objective
         "Check that the IUT responds with an error when
         "Check that the IUT responds with an error when
         a request with incorrect URL is sent by a MEC Application"
         a request with incorrect parameters is sent by a MEC Application"


      Reference "ETSI GS MEC 016 2.2.1, clause 7.6.3.4",
      Reference "ETSI GS MEC 016 2.2.1, clause 7.6.3.4",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml"
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml"
@@ -130,7 +130,7 @@ Package MEC_MEC016_MEO_UEAPPCTX {


      Test objective
      Test objective
         "Check that the IUT responds with an error when 
         "Check that the IUT responds with an error when 
         a request with incorrect parameters is sent by a MEC Application"
			a request with incorrect URL is sent by a MEC Application"


      Reference "ETSI GS MEC 016 2.2.1, clause 7.6.3.4",
      Reference "ETSI GS MEC 016 2.2.1, clause 7.6.3.4",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml"
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml"
@@ -170,61 +170,4 @@ Package MEC_MEC016_MEO_UEAPPCTX {
         }
         }
   }
   }


	Test Purpose {
		TP Id "TP_MEC_MEC016_MEO_UEAPPLOC_001_ERR"
		Test objective 
      		"Check that the ITU responds with 404 Not Found and 400 Bad request when a request
      		with incorrect parameters and for an unknown URI is sent by a MEC Application, respectively."
		Reference "ETSI GS MEC 016 2.2.1, clause 7.6.3.4"
     
        Config Id Config_MEC_4
     
     	PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

			Initial conditions with {
	        	the IUT entity being_in idle_state
	      	}
			Expected behaviour
				ensure that {
				when {
					the IUT entity receives
						a vPOST request containing
							uri set to URI,
							body containing
								ApplicationLocationAvailability containing
                        			appInfo containing
                           				appName set to APP_NAME_VALUE
			                        ;
			                    ;	
							;
						;
				}
				then {
					// MEC 016, clause 7.6.3.4
					the IUT entity sends
						a HTTP response containing
							status set to HTTP_STATUS
						;
				}
            }
        	Variants
            TP_MEC_MEC016_MEO_UEAPPS_001_NF {
                Test objective "Check that the IUT responds with an error when
					a request for an unknown URI is sent by a MEC Application"
                Bindings	
		    		value URI set to "/dev_app/v1/obtain_app_loc_availability_error";
		    		value APP_NAME_VALUE set to APP_NAME;
		    		value HTTP_STATUS set to "404 Not found";
            }

            TP_MEC_MEC016_MEO_UEAPPS_001_BR {
                Test objective "Check that the IUT responds with an error when
					a request with incorrect parameters is sent by a MEC Application"
                Bindings 
		    		value URI set to "/dev_app/v1/obtain_app_loc_availability";
		    		value APP_NAME_VALUE set to APP_NAME_ERROR; 
                    value HTTP_STATUS set to "400 Bad Request";
            }
		}

}
}
+37 −35
Original line number Original line Diff line number Diff line
@@ -65,22 +65,18 @@ Package MEC_MEC016_MEO_UEAPPS {
		}
		}
		
		
		Test Purpose {
		Test Purpose {
			TP Id "TP_MEC_MEC016_MEO_UEAPPS_002_OK"
			TP Id "TP_MEC_MEC016_MEO_UEAPPS_001_NF"
			Test objective
			Test objective
		      "Check that the IUT responds with the list of user applications available 
				"Check that the IUT responds with an error when
		      when requested by an UE Application"
				a request for an unknown URI is sent by a MEC Application"
			Reference "ETSI GS MEC 016 2.2.1, clause 7.3.3.1",
			Reference "ETSI GS MEC 016 2.2.1, clause 7.3.3.1"
	         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ApplicationList"
   
   
      		Config Id Config_MEC_4
      		Config Id Config_MEC_4
   
   
      		PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES
      		PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES


			Initial conditions  with {
			Initial conditions  with {
        	the IUT entity being_in idle_state and
				the IUT entity being_in idle_state
        	the Dev_App entity having a appInfo containing
            	appName indicating value APP_NAME
         	;
      		}
      		}
			// MEC 016, clause 5.1.2
			// MEC 016, clause 5.1.2
			Expected behaviour
			Expected behaviour
@@ -88,10 +84,8 @@ Package MEC_MEC016_MEO_UEAPPS {
				when {
				when {
					the IUT entity receives
					the IUT entity receives
						a vGET containing
						a vGET containing
							uri indicating value "/dev_app/v1/app_list",
							// wrong url should generate a "Not Found" error response
							query_parameters containing
							uri indicating value "/dev_app/v1/app_list_error"
        		            	appName indicating value APP_NAME
                  			;
						;
						;
					from the Dev_App entity
					from the Dev_App entity
				}
				}
@@ -99,34 +93,30 @@ Package MEC_MEC016_MEO_UEAPPS {
					// MEC 016, clause 7.3.3.1
					// MEC 016, clause 7.3.3.1
					the IUT entity sends
					the IUT entity sends
						a HTTP_RESPONSE containing
						a HTTP_RESPONSE containing
							status_code set to "200 OK"
							status_code set to "404 Not Found"
                  			body containing
			                    ApplicationList containing
			                        appInfo containing
			                          appName set to APP_NAME
                        			;
                     			;
                  			;
						;
						;
					to the Dev_App entity
					to the Dev_App entity
				}
				}
         	}
         	}
		}
		}
		
		
		
		Test Purpose {
		Test Purpose {
			TP Id "TP_MEC_MEC016_MEO_UEAPPS_001_BR"
			TP Id "TP_MEC_MEC016_MEO_UEAPPS_002_OK"
			Test objective
			Test objective
				"Check that the IUT responds with an error when
		      "Check that the IUT responds with the list of user applications available 
				a request with incorrect parameters is sent by a MEC Application"
		      when requested by an UE Application"
			Reference "ETSI GS MEC 016 2.2.1, clause 7.3.3.1"
			Reference "ETSI GS MEC 016 2.2.1, clause 7.3.3.1",
	         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ApplicationList"
   
   
      	Config Id Config_MEC_4
      	Config Id Config_MEC_4
   
   
      	PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES
      	PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES


		Initial conditions  with {
		Initial conditions  with {
				the IUT entity being_in idle_state
        	the IUT entity being_in idle_state and
        	the Dev_App entity having a appInfo containing
            	appName indicating value APP_NAME
         	;
      	}
      	}
		// MEC 016, clause 5.1.2
		// MEC 016, clause 5.1.2
		Expected behaviour
		Expected behaviour
@@ -136,8 +126,7 @@ Package MEC_MEC016_MEO_UEAPPS {
						a vGET containing
						a vGET containing
							uri indicating value "/dev_app/v1/app_list",
							uri indicating value "/dev_app/v1/app_list",
							query_parameters containing
							query_parameters containing
				                // Wrong parameter name should trigger an error response (correct parameter is appName) 
        		            	appName indicating value APP_NAME
	                     		app indicating value APP_NAME 
                  			;
                  			;
						;
						;
					from the Dev_App entity
					from the Dev_App entity
@@ -146,18 +135,26 @@ Package MEC_MEC016_MEO_UEAPPS {
					// MEC 016, clause 7.3.3.1
					// MEC 016, clause 7.3.3.1
					the IUT entity sends
					the IUT entity sends
						a HTTP_RESPONSE containing
						a HTTP_RESPONSE containing
							status_code set to "400 Bad Request"
							status_code set to "200 OK"
                  			body containing
			                    ApplicationList containing
			                        appInfo containing
			                          appName set to APP_NAME
                        			;
                     			;
                  			;
						;
						;
					to the Dev_App entity
					to the Dev_App entity
				}
				}
         	}
         	}
		}
		}
		
		
		
		Test Purpose {
		Test Purpose {
			TP Id "TP_MEC_MEC016_MEO_UEAPPS_001_NF"
			TP Id "TP_MEC_MEC016_MEO_UEAPPS_002_BR"
			Test objective
			Test objective
				"Check that the IUT responds with an error when
				"Check that the IUT responds with an error when
				a request for an unknown URI is sent by a MEC Application"
				a request with incorrect parameters is sent by a MEC Application"
			Reference "ETSI GS MEC 016 2.2.1, clause 7.3.3.1"
			Reference "ETSI GS MEC 016 2.2.1, clause 7.3.3.1"
   
   
			Config Id Config_MEC_4
			Config Id Config_MEC_4
@@ -173,8 +170,11 @@ Package MEC_MEC016_MEO_UEAPPS {
				when {
				when {
					the IUT entity receives
					the IUT entity receives
						a vGET containing
						a vGET containing
							// wrong url should generate a "Not Found" error response
							uri indicating value "/dev_app/v1/app_list",
							uri indicating value "/dev_app/v1/app_list_error"
							query_parameters containing
				                // Wrong parameter name should trigger an error response (correct parameter is appName) 
	                     		app indicating value APP_NAME 
    						;
						;
						;
					from the Dev_App entity
					from the Dev_App entity
				}
				}
@@ -182,13 +182,15 @@ Package MEC_MEC016_MEO_UEAPPS {
					// MEC 016, clause 7.3.3.1
					// MEC 016, clause 7.3.3.1
					the IUT entity sends
					the IUT entity sends
						a HTTP_RESPONSE containing
						a HTTP_RESPONSE containing
							status_code set to "404 Not Found"
							status_code set to "400 Bad Request"
						;
						;
					to the Dev_App entity
					to the Dev_App entity
				}
				}
         	}
         	}
		}
		}
		
		

		
		Test Purpose {
		Test Purpose {
			TP Id TP_MEC_MEC016_MEO_UEAPPS_001_ERR
			TP Id TP_MEC_MEC016_MEO_UEAPPS_001_ERR
			Test objective 
			Test objective