Commit cee41ed9 authored by liebigan's avatar liebigan
Browse files

rename TPs and PICS

parent e4982896

.gitignore

0 → 100644
+2 −0
Original line number Diff line number Diff line 
.project

test_purposes/common/sip_commons.tplan2

+3 −3
Original line number Diff line number Diff line 
Package sip_commons {

	Domain {

		pics:

		- SIP_SUBSCRIPTION_ELEMENT_STATE

		- SIP_SUBSCRIPTION_SECURITY_POSTURE

		- SIP_SUBSCRIPTION_SERVICE_STATE

		- PICS_SIP_SUBSCRIPTION_ELEMENT_STATE

		- PICS_SIP_SUBSCRIPTION_SECURITY_POSTURE

		- PICS_SIP_SUBSCRIPTION_SERVICE_STATE

		;

	}

	Data {

test_purposes/ecrf/ecrf_commons.tplan2

+12 −12
Original line number Diff line number Diff line 
Package ecrf_commons {

	Domain {

		pics:

		- FIND_SERVICE

		- LIST_SERVICES

		- LIST_SERVICES_BY_LOCATION

		- GEOMETRY_POINT

		- GEOMETRY_CIRCLE

		- GEOMETRY_ELLIPSE

		- GEOMETRY_ARCBAND

		- GEOMETRY_POLYGON

		- TLS_AUTHENTICATION		

		- LOOP_DETECTION

		- REDIRECT

		- RECURSION

		- PICS_ECRF_FIND_SERVICE

		- PICS_ECRF_LIST_SERVICES

		- PICS_ECRF_LIST_SERVICES_BY_LOCATION

		- PICS_ECRF_GEOMETRY_POINT

		- PICS_ECRF_GEOMETRY_CIRCLE

		- PICS_ECRF_GEOMETRY_ELLIPSE

		- PICS_ECRF_GEOMETRY_ARCBAND

		- PICS_ECRF_GEOMETRY_POLYGON

		- PICS_ECRF_TLS_AUTHENTICATION	

		- PICS_ECRF_LOOP_DETECTION

		- PICS_ECRF_REDIRECT

		- PICS_ECRF_RECURSION

		;

		entities:

		- IUT

test_purposes/ecrf/ecrf_tps.tplan2

+58 −58
Original line number Diff line number Diff line
@@ -3,7 +3,7 @@ Package ECRF { 
		import all from ecrf_commons;

		

		Test Purpose {

			TP Id TP_LOST_BV_01

			TP Id TP_ECRF_LOST_BV_01

			

			Test objective 

			 "IUT successfully responds with a service URI for a Point in the service boundary"
@@ -13,7 +13,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE and GEOMETRY_POINT

			PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_POINT

			

			Initial conditions

			with {
@@ -38,7 +38,7 @@ Package ECRF { 
		}



		Test Purpose {

			TP Id TP_LOST_BV_02

			TP Id TP_ECRF_LOST_BV_02

			

			Test objective 

			 "IUT successfully responds with a service URI for a Circle in the service boundary"
@@ -48,7 +48,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE and GEOMETRY_CIRCLE

			PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_CIRCLE

			

			Initial conditions

			with {
@@ -74,7 +74,7 @@ Package ECRF { 
		

		

		Test Purpose {

			TP Id TP_LOST_BV_03

			TP Id TP_ECRF_LOST_BV_03

			

			Test objective 

			 "IUT successfully responds with an error response for an unknown Service URN in the service boundary"
@@ -84,7 +84,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE

			PICS Selection PICS_ECRF_FIND_SERVICE

			

			Initial conditions

			with {
@@ -109,7 +109,7 @@ Package ECRF { 
		}

		

		Test Purpose {

			TP Id TP_LOST_BV_04

			TP Id TP_ECRF_LOST_BV_04

			

			Test objective 

			 "IUT successfully responds with an error response for an unrecognized location profile"
@@ -119,7 +119,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE

			PICS Selection PICS_ECRF_FIND_SERVICE

			

			Initial conditions

			with {
@@ -144,7 +144,7 @@ Package ECRF { 
		}

		

		Test Purpose {

			TP Id TP_LOST_BV_05

			TP Id TP_ECRF_LOST_BV_05

			

			Test objective 

			 "IUT successfully includes the service boundary by value"
@@ -154,7 +154,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE and GEOMETRY_POINT

			PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_POINT

			

			Initial conditions

			with {
@@ -181,7 +181,7 @@ Package ECRF { 
		}

		

		Test Purpose {

			TP Id TP_LOST_BV_06

			TP Id TP_ECRF_LOST_BV_06

			

			Test objective 

			 "IUT successfully responds with the service URI for intersecting Circle"
@@ -191,7 +191,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE and GEOMETRY_CIRCLE

			PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_CIRCLE

			

			Initial conditions

			with {
@@ -217,7 +217,7 @@ Package ECRF { 
		}

		

		Test Purpose {

			TP Id TP_LOST_BV_07

			TP Id TP_ECRF_LOST_BV_07

			

			Test objective 

			 "IUT successfully responds with the service URI for Circle intersecting multiple service boundaries"
@@ -227,7 +227,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE and GEOMETRY_CIRCLE

			PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_CIRCLE

			

			Initial conditions

			with {
@@ -253,7 +253,7 @@ Package ECRF { 
		}

		

		Test Purpose {

			TP Id TP_LOST_BV_08

			TP Id TP_ECRF_LOST_BV_08

			

			Test objective 

			 "IUT successfully responds with the service URI for Circle a boundary with multiple services"
@@ -263,7 +263,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE and GEOMETRY_CIRCLE

			PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_CIRCLE

			

			Initial conditions

			with {
@@ -289,7 +289,7 @@ Package ECRF { 
		}

		

		Test Purpose {

			TP Id TP_LOST_BV_09

			TP Id TP_ECRF_LOST_BV_09

			

			Test objective 

			 "IUT successfully responds with configured service types for a ListServices request"
@@ -299,7 +299,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection LIST_SERVICES

			PICS Selection PICS_ECRF_LIST_SERVICES

						

			Expected behaviour

		    ensure that {
@@ -317,7 +317,7 @@ Package ECRF { 
		}	

		

		Test Purpose {

			TP Id TP_LOST_BV_10

			TP Id TP_ECRF_LOST_BV_10

			

			Test objective 

			 "IUT successfully responds with configured service types for a ListServicesByLocation request"
@@ -327,7 +327,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection LIST_SERVICES_BY_LOCATION

			PICS Selection PICS_ECRF_LIST_SERVICES_BY_LOCATION

			

			Initial conditions

			with {
@@ -353,7 +353,7 @@ Package ECRF { 
		}

		

		Test Purpose {

			TP Id TP_LOST_BV_11

			TP Id TP_ECRF_LOST_BV_11

			

			Test objective 

			 "IUT successfully responds with configured service types for a ListServices request without service element"
@@ -363,7 +363,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection LIST_SERVICES

			PICS Selection PICS_ECRF_LIST_SERVICES

						

			Expected behaviour

		    ensure that {
@@ -379,7 +379,7 @@ Package ECRF { 
		}

		

		Test Purpose {

			TP Id TP_LOST_BV_12

			TP Id TP_ECRF_LOST_BV_12

			

			Test objective 

			 "IUT successfully responds with configured service types for a ListServicesByLocation request without service"
@@ -389,7 +389,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection LIST_SERVICES_BY_LOCATION

			PICS Selection PICS_ECRF_LIST_SERVICES_BY_LOCATION

			

			Initial conditions

			with {
@@ -415,7 +415,7 @@ Package ECRF { 
		}

		

		Test Purpose {

			TP Id TP_LOST_BV_13

			TP Id TP_ECRF_LOST_BV_13

			

			Test objective 

			 "IUT successfully responds with a service URI for an ellipse in the service boundary"
@@ -425,7 +425,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE and GEOMETRY_ELLIPSE

			PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_ELLIPSE

			

			Initial conditions

			with {
@@ -450,7 +450,7 @@ Package ECRF { 
		}	

		

		Test Purpose {

			TP Id TP_LOST_BV_14

			TP Id TP_ECRF_LOST_BV_14

			

			Test objective 

			 "IUT successfully responds with a service URI for an arcband in the service boundary"
@@ -460,7 +460,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE and GEOMETRY_ARCBAND

			PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_ARCBAND

			

			Initial conditions

			with {
@@ -485,7 +485,7 @@ Package ECRF { 
		}	

		

		Test Purpose {

			TP Id TP_LOST_BV_15

			TP Id TP_ECRF_LOST_BV_15

			

			Test objective 

			 "IUT successfully responds with a service URI for an polygon in the service boundary"
@@ -495,7 +495,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE and GEOMETRY_POLYGON

			PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_POLYGON

			

			Initial conditions

			with {
@@ -520,7 +520,7 @@ Package ECRF { 
		}

		

		Test Purpose {

			TP Id TP_LOST_BV_16

			TP Id TP_ECRF_LOST_BV_16

			

			Test objective 

			 "IUT responds with redirect response for a findServiceRequest"
@@ -530,7 +530,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE and GEOMETRY_POINT and REDIRECT

			PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_POINT and PICS_ECRF_REDIRECT

			

			Initial conditions

			with {
@@ -557,7 +557,7 @@ Package ECRF { 
		}



		Test Purpose {

			TP Id TP_LOST_BV_17

			TP Id TP_ECRF_LOST_BV_17

			

			Test objective 

			 "IUT responds with redirect response for a listServiceByLocation"
@@ -567,7 +567,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection LIST_SERVICES_BY_LOCATION and GEOMETRY_POINT and REDIRECT

			PICS Selection PICS_ECRF_LIST_SERVICES_BY_LOCATION and PICS_ECRF_GEOMETRY_POINT and PICS_ECRF_REDIRECT

			

			Initial conditions

			with {
@@ -593,7 +593,7 @@ Package ECRF { 
		}

		

		Test Purpose {

			TP Id TP_LOST_BV_18

			TP Id TP_ECRF_LOST_BV_18

			

			Test objective 

			 "IUT responds with redirect response for a findServiceRequest"
@@ -603,7 +603,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE and GEOMETRY_POINT and REDIRECT and RECURSION

			PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_POINT and PICS_ECRF_REDIRECT and PICS_ECRF_RECURSION

			

			Initial conditions

			with {
@@ -630,7 +630,7 @@ Package ECRF { 
		}

		

		Test Purpose {

			TP Id TP_LOST_BV_17

			TP Id TP_ECRF_LOST_BV_17

			

			Test objective 

			 "IUT responds with redirect response for a listServiceByLocation"
@@ -640,7 +640,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection LIST_SERVICES_BY_LOCATION and GEOMETRY_POINT and REDIRECT and RECURSION

			PICS Selection PICS_ECRF_LIST_SERVICES_BY_LOCATION and PICS_ECRF_GEOMETRY_POINT and PICS_ECRF_REDIRECT and PICS_ECRF_RECURSION

			

			Initial conditions

			with {
@@ -670,7 +670,7 @@ Package ECRF { 
		import all from ecrf_commons;

		

		Test Purpose {

			TP Id TP_LOST_BI_01

			TP Id TP_ECRF_LOST_BI_01

			

			Test objective 

			 "IUT responds to an findServiceRequest with an loop error response "
@@ -680,7 +680,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection FIND_SERVICE and LOOP_DETECTION

			PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_LOOP_DETECTION

					

			Expected behaviour

		    ensure that {
@@ -698,7 +698,7 @@ Package ECRF { 
		}

		

		Test Purpose {

			TP Id TP_LOST_BI_02

			TP Id TP_ECRF_LOST_BI_02

			

			Test objective 

			 "IUT responds to an listServiceByLocation with an loop error response "
@@ -708,7 +708,7 @@ Package ECRF { 
			"EENA Next Generation 112 LTD [2], clause 4.4",

			"RFC5222 [5]"

			

			PICS Selection LIST_SERVICES_BY_LOCATION and LOOP_DETECTION

			PICS Selection PICS_ECRF_LIST_SERVICES_BY_LOCATION and PICS_ECRF_LOOP_DETECTION

					

			Expected behaviour

		    ensure that {
@@ -732,7 +732,7 @@ Package ECRF { 
    	import all from sip_commons;

    	

		Test Purpose {   

	        TP Id TP_SIP_BV_01	       

	        TP Id TP_ECRF_SIP_BV_01	       

	        

	        Test objective 

        	"IUT responds to SIP Subscribe for Element State with an 200 OK"
@@ -742,7 +742,7 @@ Package ECRF { 
    		"EENA Next Generation 112 LTD [2], Clause 4.10",

    		"RFC5985 [3]"

	      	      	

			PICS Selection SIP_SUBSCRIPTION_ELEMENT_STATE				     	      	    

			PICS Selection PICS_SIP_SUBSCRIPTION_ELEMENT_STATE				     	      	    

			

	        Expected behaviour	       

	        ensure that {
@@ -763,7 +763,7 @@ Package ECRF { 
	    }

	    

		Test Purpose {   

	        TP Id TP_SIP_BV_02	       

	        TP Id TP_ECRF_SIP_BV_02	       

	        

	        Test objective 

        	"IUT responds to SIP Unsubscribe with an 200 OK"
@@ -773,7 +773,7 @@ Package ECRF { 
    		"EENA Next Generation 112 LTD [2], Clause 4.10",

    		"RFC5985 [3]"

	      	      	

			PICS Selection SIP_SUBSCRIPTION_ELEMENT_STATE		

			PICS Selection PICS_SIP_SUBSCRIPTION_ELEMENT_STATE		

	     	      	    

	        Initial conditions

	        with {
@@ -799,7 +799,7 @@ Package ECRF { 
	    }

	    

		Test Purpose {   

	        TP Id TP_SIP_BV_03	       

	        TP Id TP_ECRF_SIP_BV_03	       

	        

	        Test objective 

        	"IUT responds to SIP Subscribe for SecurityPosture with an 200 OK"
@@ -809,7 +809,7 @@ Package ECRF { 
    		"EENA Next Generation 112 LTD [2], Clause 4.10",

    		"RFC5985 [3]"

	      	      	

			PICS Selection SIP_SUBSCRIPTION_SECURITY_POSTURE				     	      	    

			PICS Selection PICS_SIP_SUBSCRIPTION_SECURITY_POSTURE				     	      	    

			

	        Expected behaviour	       

	        ensure that {
@@ -830,7 +830,7 @@ Package ECRF { 
	    }

	    

		Test Purpose {   

	        TP Id TP_SIP_BV_04	       

	        TP Id TP_ECRF_SIP_BV_04	       

	        

	        Test objective 

        	"IUT responds to SIP Unsubscribe with an 200 OK"
@@ -840,7 +840,7 @@ Package ECRF { 
    		"EENA Next Generation 112 LTD [2], Clause 4.10",

    		"RFC5985 [3]"

	      	      	

			PICS Selection SIP_SUBSCRIPTION_SECURITY_POSTURE		

			PICS Selection PICS_SIP_SUBSCRIPTION_SECURITY_POSTURE		

	     	      	    

	        Initial conditions

	        with {
@@ -866,7 +866,7 @@ Package ECRF { 
	    }	 

	    

		Test Purpose {   

	        TP Id TP_SIP_BV_05	       

	        TP Id TP_ECRF_SIP_BV_05	       

	        

	        Test objective 

        	"IUT responds to SIP Subscribe for ServiceState with an 200 OK"
@@ -876,7 +876,7 @@ Package ECRF { 
    		"EENA Next Generation 112 LTD [2], Clause 4.10",

    		"RFC5985 [3]"

	      	      	

			PICS Selection SIP_SUBSCRIPTION_SERVICE_STATE				     	      	    

			PICS Selection PICS_SIP_SUBSCRIPTION_SERVICE_STATE				     	      	    

			

	        Expected behaviour	       

	        ensure that {
@@ -897,7 +897,7 @@ Package ECRF { 
	    }

	    

		Test Purpose {   

	        TP Id TP_SIP_BV_06	       

	        TP Id TP_ECRF_SIP_BV_06	       

	        

	        Test objective 

        	"IUT responds to SIP Unsubscribe with an 200 OK"
@@ -907,7 +907,7 @@ Package ECRF { 
    		"EENA Next Generation 112 LTD [2], Clause 4.10",

    		"RFC5985 [3]"

	      	      	

			PICS Selection SIP_SUBSCRIPTION_SERVICE_STATE		

			PICS Selection PICS_SIP_SUBSCRIPTION_SERVICE_STATE		

	     	      	    

	        Initial conditions

	        with {
@@ -937,7 +937,7 @@ Package ECRF { 
		import all from ecrf_commons;

		

	    Test Purpose {   

	        TP Id TP_TLS_BI_01	       

	        TP Id TP_ECRF_TLS_BI_01	       

	        

	        Test objective 

        	"IUT rejects requests without a certificate"
@@ -947,7 +947,7 @@ Package ECRF { 
    		"EENA Next Generation 112 LTD [2], Clause 4.10",

    		"RFC5985 [3]"   		

	      	      	

			PICS Selection TLS_AUTHENTICATION	

			PICS Selection PICS_ECRF_TLS_AUTHENTICATION	

	     	      	    					

	        Expected behaviour	       

	        ensure that {
@@ -963,7 +963,7 @@ Package ECRF { 
	    }

	    

	    Test Purpose {   

	        TP Id TP_TLS_BI_02	       

	        TP Id TP_ECRF_TLS_BI_02	       

	        

	        Test objective 

        	"IUT rejects SIP requests without a certificate"
@@ -973,7 +973,7 @@ Package ECRF { 
    		"EENA Next Generation 112 LTD [2], Clause 4.10",

    		"RFC5985 [3]"   		

	      	      	

			PICS Selection TLS_AUTHENTICATION	

			PICS Selection PICS_ECRF_TLS_AUTHENTICATION	

	     	      	    					

	        Expected behaviour	       

	        ensure that {

test_purposes/esrp/esrp_commons.tplan2

+7 −7
Original line number Diff line number Diff line 
Package esrp_commons {

	Domain {

		pics:

		- PICS_TARGET_SIP_REGISTER_SUPPORT

		- PICS_TARGET_DEQUEUE_REGISTRATION_SUPPORT

		- PICS_FIXED_TARGET_SUPPORT

		- PICS_QUEUE_STATE_SUPPORT

		- PICS_SECURITY_POSTURE_SUPPORT

		- PICS_ELEMENT_STATE_SUPPORT

		- PICS_SERVICE_STATE_SUPPORT

		- PICS_ESRP_TARGET_SIP_REGISTER_SUPPORT

		- PICS_ESRP_TARGET_DEQUEUE_REGISTRATION_SUPPORT

		- PICS_ESRP_FIXED_TARGET_SUPPORT

		- PICS_ESRP_QUEUE_STATE_SUPPORT

		- PICS_ESRP_SECURITY_POSTURE_SUPPORT

		- PICS_ESRP_ELEMENT_STATE_SUPPORT

		- PICS_ESRP_SERVICE_STATE_SUPPORT

		;

		entities:

		- DOWNSTREAM