new example TP created

*/

Package tplan_example {

Package NG112_LIS {

        Domain {

            pics:

				- my_pic;

                - PICS_HTTP_POST_REQUEST

                - PICS_LOCATION_HELD;

            entities:

				- my_component;

                - IUT

                - MTC;

            events:

				- receives

				- sends;

                - receives //for packets coming from the network to the IUT

                - sends //for packets sent by the IUT to the network

                - havingLocationMappingFor //IUT is provisioned with the relevant location data

                - isRequestedToSend //an upper layer requests the IUT to send a packet

                - generates //for internal event generation

                ;

        }

		Test Purpose {

		    TP Id just_an_example_id

			Test objective 

		 			"Query operation returns a list of descriptors" 

			Reference 

				"My specification, Section a.b.c", 

				"http://www.etsi.org/deliver/some_dummy_specification_url.pdf"

//		Data {

//        	type PDU;	

//        }

//        Configuration {

//	        Interface Type defaultGT accepts PDU;

//	        Component Type NG112Comp with gate g of type defaultGT;

//	        Test Configuration CFG_ESRP_01 

//	        	containing 

//	        		Tester component BCF of type NG112Comp

//	        		Tester component LIS of type NG112Comp

//	        		Tester component ECRF of type NG112Comp

//	        		SUT component IUT of type NG112Comp

//	        		connection between BCF.g and IUT.g

//	        		connection between LIS.g and IUT.g

//	        		connection between ECRF.g and IUT.g;

//	    }

//			Config Id "my_cfg" FIXME

			PICS Selection my_pic

        Test Purpose {

            TP Id TP_LIS_HTTP_POST_BV_01

            Test objective 

                 "IUT successfully processes all mandatory HTTP headers when it receives a HTTP POST request" 

            Reference 

                "ETSI TS 103 479 Vm.t.e (yyyy-mm) Clause 5.5 Location Information Server (LIS)",

                "https://tools.ietf.org/html/rfc5985"

			//Config Id CFG_LIS_01

            PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD

            Initial conditions with {

				the my_component entity receives the "message" 

                the IUT entity havingLocationMappingFor the "identifier"

            }

            Expected behaviour

            ensure that {

            	when {

					the my_component entity receives an http_get_request containing 

						uri indicating value "all/descriptors";

                	the IUT entity receives a POST containing

                    	Uri indicating value "location",

						Host,

	                    "not" Accept,

	                    Content_type indicating value "application/held+xml",

	                    body containing

	                    	xmlMessage containing

	                    		version indicating value "1.0",

	                        	presence containing

	                        		uri indicating value "urn:ietf:params:xml:ns:held";

	                       ;

	                   ;

	                ;	                        			

                }

                then {

					the my_component entity sends a http_response message containing 

						response_code indicating value 200,

						response_body indicating value "[]";					

                    the IUT entity sends a httpResponse containing

                    	Status_Code indicating value "200 OK",

                        body containing

                        	xmlMessage containing 

                            	version indicating value "1.0",

                            	locationRequest containing

                            		Uri indicating value "urn:ietf:params:xml:ns:geopriv:held";

                            ;

                        ;

                    ;

              	}

        	}

    	}

}

 No newline at end of file