Commit b315c7ef authored by Andreas Liebig's avatar Andreas Liebig
Browse files

Merge branch 'tplan_lis'

parents 57540c99 53972e05

representations.aird

+1 −0
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="UTF-8"?>

<viewpoint:DAnalysis xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description" xmi:id="_9-UMcD2IEei4B7a1koB26w" selectedViews="_-3AvAD2IEei4B7a1koB26w" version="12.1.0.201708031200">

  <semanticResources>model.tdl</semanticResources>

  <semanticResources>test_purposes/lis.tplan2</semanticResources>

  <ownedViews xmi:type="viewpoint:DView" xmi:id="_-3AvAD2IEei4B7a1koB26w">

    <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.etsi.mts.tdl.graphical.viewpoint/description/TDL.odesign#//@ownedViewpoints[name='org.etsi.mts.tdl']"/>

  </ownedViews>

test_purposes/example.tplan2

+83 −41
Original line number Diff line number Diff line
@@ -18,46 +18,88 @@ 
*/

 

 

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

test_purposes/lis.tplan2

0 → 100644
+131 −0
Original line number Diff line number Diff line 
/* ETSI Software License

* As long as the hereunder conditions are respected, non-exclusive permission is hereby granted,

* free of charge, to use, reproduce and modify this software source code, under the following conditions:

* This source code is provided �AS IS� with no warranties, express or implied, including but not limited to,

* the warranties of merchantability, fitness for a particular purpose and warranties for non-infringement

* of intellectual property rights.

* ETSI shall not be held liable in any event for any direct or indirect damages whatsoever (including, without

* limitation, damages for loss of profits, business interruption, loss of information, or any other pecuniary

* loss) arising out of or related to the use of or inability to use the source code.

* This permission is granted to facilitate the implementation of the related ETSI standard, provided that

* ETSI is given the right to use, reproduce and amend the modified source code under the same conditions

* as the present permission.

* This permission does not apply to any documentation associated with this source code for which ETSI keeps

* all rights reserved.

* The present ETSI Source Code license shall be included in all copies of whole or part of this source code

* and shall not imply any sub-license right.

* (c) ETSI 2018

*/

 

 

Package NG112_LIS {

        Domain {

            pics:

                - PICS_HTTP_POST_REQUEST

                - PICS_LOCATION_HELD

                ;

            entities:

                - IUT

                - MTC

                ;

            events:

                - 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

                ;

        }



//			Const {

//				POS1: "-34.407 150.88001";

//			}

        

//		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;

//	    }

       

        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)",

                "Next Generation 112 Long Term Definition http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf Clause 4.10",

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



						//Config Id CFG_LIS_01



            PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD

            Initial conditions with {

                the IUT entity havingLocationMappingFor the "deviceNumber" containing

                	"point" indicating value POS1

                ;

            }

            Expected behaviour

            ensure that {

            	when {

                	the IUT entity receives a POST containing

                  	Uri indicating value "/location",

										Host,

                    not Accept,

                    Content_type indicating value "application/held+xml;charset=utf-8",

                    body containing

                    	xmlMessage containing

                    		version indicating value "1.0",

                       	element "locationRequest" inNamespace "urn:ietf:params:xml:ns:geopriv:held" containing

                        	element "device" inNamespace "urn:ietf:params:xml:ns:geopriv:held:id" containing

                        		element "uri" inNamespace "urn:ietf:params:xml:ns:geopriv:held:id" indicating value "deviceNumber"

                    			;

												;

                  		;

                		;	       

	              	;                 			

                }

                then {

                    the IUT entity sends a httpResponse containing

                    	Status_Code indicating value "200 OK",

                    	version indicating value "1.0",

                    	Content_type indicating value "application/held+xml;charset=utf-8",

                    	body containing

                     		xmlMessage containing	

              						version indicating value "1.0",

                    	 		element "locationResponse" inNamespace "urn:ietf:params:xml:ns:geopriv:held" containing

                    	 			element "presence" inNamespace "urn:ietf:params:xml:ns:pidf" containing

															attribute "entity" indicating value valid "pres:" uri,

															element "tuple" containing

																attribute "id",

																element "status" containing

																	element "geopriv" inNamespace "urn:ietf:params:xml:ns:pidf:geopriv10" containing

																		element "location-info" containing

																			element "Point" inNamespace "http://www.opengis.net/gml" containing

																				attribute "srsName" indicating value "urn:ogc:def:crs:EPSG::4326",

																				element "pos" indicating value POS1

																				;

																			;

																		;

																	;

																;

															;	

                    	 			;

                    	 		; 	

                    	 	;	

                      ;

              	}

        	}

    	}

}
 
 No newline at end of file