Commit 709e5d06 authored by liebigan's avatar liebigan
Browse files

add TPs

parent 50b51757

test_purposes/ecrf/ecrf_commons.tplan2

+1 −1
Original line number Diff line number Diff line
@@ -36,7 +36,7 @@ Package ecrf_commons { 
		type Service;

		type ServiceList;

		type Certificate;

		

		type InvalidRequest;

		

		type Mapping

			with

test_purposes/ecrf/ecrf_tps.tplan2

+31 −5
Original line number Diff line number Diff line
@@ -596,7 +596,7 @@ Package ECRF { 
			TP Id TP_ECRF_LOST_BV_18

			

			Test objective 

			 "IUT responds with redirect response for a findServiceRequest" 

			 "IUT responds with redirect response for a findServiceRequest with recursive set to false" 

			

			Reference 

			"ETSI TS 103 479 [1], clause XXXX",
@@ -633,7 +633,7 @@ Package ECRF { 
			TP Id TP_ECRF_LOST_BV_17

			

			Test objective 

			 "IUT responds with redirect response for a listServiceByLocation" 

			 "IUT responds with redirect response for a listServiceByLocation with recursive set to false" 

			

			Reference 

			"ETSI TS 103 479 [1], clause XXXX",
@@ -673,7 +673,7 @@ Package ECRF { 
			TP Id TP_ECRF_LOST_BI_01

			

			Test objective 

			 "IUT responds to an findServiceRequest with an loop error response " 

			 "IUT responds to a findServiceRequest with an loop error response" 

			

			Reference 

			"ETSI TS 103 479 [1], clause XXXX",
@@ -701,7 +701,7 @@ Package ECRF { 
			TP Id TP_ECRF_LOST_BI_02

			

			Test objective 

			 "IUT responds to an listServiceByLocation with an loop error response " 

			 "IUT responds to a listServiceByLocation with an loop error response" 

			

			Reference 

			"ETSI TS 103 479 [1], clause XXXX",
@@ -724,6 +724,32 @@ Package ECRF { 
		        }

		    }

		}

		

		Test Purpose {

			TP Id TP_ECRF_LOST_BI_03

			

			Test objective 

			 "IUT responds to an invalid findService with an badRequest error response" 

			

			Reference 

			"ETSI TS 103 479 [1], clause XXXX",

			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection PICS_ECRF_FIND_SERVICE

					

			Expected behaviour

		    ensure that {

		        when {

		            the IUT entity receives a (typed) request InvalidRequest

		        }

		        then {

		            the IUT entity sends a (typed) response ErrorResponse containing

		            	errors indicating value "badRequest"		            	

		            ;

		        }

		    }

		}		

	}

test_purposes/esrp/esrp_tps.tplan2

+1 −1
Original line number Diff line number Diff line
@@ -189,7 +189,7 @@ Package ESRP { 
		Test Purpose {

			TP Id TP_ESRP_FIND_SERVICE_BV_04

			Test objective 

				"IUT resolves location reference and fetches service URN from ECRF and forwards an incoming call without Location"

				"IUT resolves location reference and fetches service URN from ECRF and forwards an incoming call with location reference"

			Reference

				"ETSI TS 103 479 [1], clause 5.2.2. LOST-1",

				"EENA Next Generation 112 LTD [2], clause 4.4",

test_purposes/lis/lis_commons.tplan2

+9 −2
Original line number Diff line number Diff line
@@ -2,7 +2,8 @@ Package lis_commons { 
	Domain {

		pics:

		- PICS_LIS_HELD_BY_VALUE

		- PICS_LIS_HELD_BY_REFERENCE

		- PICS_LIS_HELD_BY_REFERENCE_GET

		- PICS_LIS_HELD_BY_REFERENCE_POST

		- PICS_LIS_GEOMETRY_POINT

		- PICS_LIS_GEOMETRY_CIRCLE

		- PICS_LIS_CIVIC
@@ -43,7 +44,13 @@ Package lis_commons { 
		type DereferenceRequest

			with

				uri				of type URI

		;

		; // GET sent to uri

		

		type DereferenceHeldRequest

			with

							uri				of type URI,

				optional	locationType 	of type LocationType

		; // POST sent to uri

		

		type LocationResponse

			with

test_purposes/lis/lis_tps.tplan2

+57 −6
Original line number Diff line number Diff line
@@ -89,7 +89,7 @@ Package LIS { 
    		"EENA Next Generation 112 LTD [2], Clause 4.10",

    		"RFC5985 [3]"

	      

	      	PICS Selection PICS_LIS_HELD_BY_REFERENCE and PICS_LIS_GEOMETRY_CIRCLE

	      	PICS Selection PICS_LIS_HELD_BY_REFERENCE_GET and PICS_LIS_GEOMETRY_CIRCLE

	      

	        Initial conditions

	        with {
@@ -129,7 +129,7 @@ Package LIS { 
    		"EENA Next Generation 112 LTD [2], Clause 4.10",

    		"RFC5985 [3]"

	      

	      	PICS Selection PICS_LIS_HELD_BY_REFERENCE and PICS_LIS_GEOMETRY_CIRCLE

	      	PICS Selection PICS_LIS_HELD_BY_REFERENCE_GET and PICS_LIS_GEOMETRY_CIRCLE

	      

	        Initial conditions

	        with {
@@ -165,7 +165,7 @@ Package LIS { 
	        TP Id TP_LIS_HELD_BV_05	       

	        

	        Test objective 

        	"IUT successfully responds with a Civic when it receives a location request without location type" 

        	"IUT successfully responds with a Civic when it receives a location request with location type civic" 

	        

	        Reference

        	"ETSI TS 103 479 [1], clause 5.5",
@@ -186,7 +186,11 @@ Package LIS { 
	        ensure that {  

            	when { 

        	    	the IUT entity receives an LocationRequest containing

        	    		uri		corresponding to PX_URI

        	    		uri		corresponding to PX_URI,

        	    		locationType containing

        	    			exact	set to True,

        	    			values	set to "civic" 

        	    			;       

        	    		;  

              	} 

              	then {
@@ -210,7 +214,7 @@ Package LIS { 
    		"EENA Next Generation 112 LTD [2], Clause 4.10",

    		"RFC5985 [3]"

	      

	      	PICS Selection PICS_LIS_HELD_BY_REFERENCE and PICS_LIS_GEOMETRY_CIRCLE

	      	PICS Selection PICS_LIS_HELD_BY_REFERENCE_GET and PICS_LIS_GEOMETRY_CIRCLE

	      	      	     

	        Initial conditions

	        with {
@@ -244,6 +248,53 @@ Package LIS { 
        	  	}       	 

	        }

	    }

	    Test Purpose {   

	        TP Id TP_LIS_HELD_BV_07	       

	        

	        Test objective 

        	"IUT successfully responds with a Circle when the locationURI is dereferenced by HeldRequest" 

	        

	        Reference

        	"ETSI TS 103 479 [1], clause 5.5",

    		"EENA Next Generation 112 LTD [2], Clause 4.10",

    		"RFC5985 [3]"

	      

	      	PICS Selection PICS_LIS_HELD_BY_REFERENCE_POST and PICS_LIS_GEOMETRY_CIRCLE

	      	      	     

	        Initial conditions

	        with {        	

	    		the IUT entity has a Mapping containing

	    			uri		set to PX_URI,

	    			address set to PX_CIRCLE

	    			;

	    		and the IUT entity receives an LocationRequest containing

    	    		uri		corresponding to PX_URI,

    	    		locationType containing

		    			exact	indicating value True,

    	    			values	indicating value "locationURI"

		    			;         	    		

    	    		;

    	    	and the IUT entity sends a LocationResponse containing

                		"locationUri"	carrying any URI

                		;

			}

			

	        Expected behaviour	        	      

	        ensure that {  	        

            	when { 

        	    	the IUT entity receives an DereferenceHeldRequest containing

        	    		uri indicating value "from LocationResponse"        	    		

        	    		;  

              	} 

              	then {

                	the IUT entity sends a LocationResponse containing

                		presence containing

                			"location-info"	carrying PX_CIRCLE

                			;

                		;

        	  	}       	 

	        }

	    }	    		    	    		     	      

    }

    

    Group 'Error' {