Commit dc76b8a3 authored by liebigan's avatar liebigan
Browse files

adapt git SIp subscribe tplans

parent 885c505e
Loading
Loading
Loading
Loading

test_purposes/ecrf/ecrf.tplan2

deleted100644 → 0
+0 −1160

File deleted.

Preview size limit exceeded, changes collapsed.

test_purposes/lis/lis.tplan2

deleted100644 → 0
+0 −651

File deleted.

Preview size limit exceeded, changes collapsed.

+209 −16
Original line number Diff line number Diff line
@@ -389,8 +389,25 @@ Package LIS {
    		"EENA Next Generation 112 LTD [2], Clause 4.10",
    		"RFC5985 [3]"
	      	      	
			PICS Selection PICS_LIS_SIP_SUBSCRIPTION		
			PICS Selection PICS_LIS_SIP_SUBSCRIPTION and PICS_LIS_HELD_BY_REFERENCE_GET and PICS_LIS_GEOMETRY_POINT
			
			Initial conditions
	        with {        	
	    		the IUT entity has a Mapping containing
	    				uri  		indicating value PX_URI,
	               		location 	indicating value PX_POINT
	               	;
	            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 {  
@@ -401,7 +418,11 @@ Package LIS {
              	}
              	then {
                	the IUT entity sends an OkResponse
                	and the IUT entity sends a Notify
                	and the IUT entity sends a Notify containing
                		presence containing
                			"location-info"	carrying PX_POINT
                			;
                		;
        	  	}       	 
	        }
	    }
@@ -436,6 +457,7 @@ Package LIS {
              	}
              	then {
                	the IUT entity sends an OkResponse
                	and the IUT entity sends a Notify
        	  	}       	 
	        }
	    }
@@ -455,7 +477,11 @@ Package LIS {
	     	      	    
	        Initial conditions
	        with {
	    		the IUT entity receives a SubscribeRequest containing 
	        	the IUT entity has a Mapping containing
	    				uri  		indicating value PX_URI,
	               		location 	indicating value PX_POINT
	               	;
       			and the IUT entity receives a SubscribeRequest containing 
    	    		"event" set to "presence"
    	    		; 
				and the IUT entity sends an OkResponse
@@ -480,19 +506,50 @@ Package LIS {
	        TP Id TP_LIS_SIP_BV_04	       
	        
	        Test objective 
        	"IUT does not send SIP Notify when location changes but the subscription expired" 
        	"IUT responds to SIP Subscribe for Element State with an 200 OK" 
	        
	        Reference
        	"ETSI TS 103 479 [1], clause 5.3",
    		"EENA Next Generation 112 LTD [2], Clause 4.10",
    		"RFC5985 [3]"
	      	      	
			PICS Selection PICS_SIP_SUBSCRIPTION_ELEMENT_STATE				     	      	    
			
	        Expected behaviour	       
	        ensure that {  
            	when { 
        	    	the IUT entity receives a SubscribeRequest containing 
        	    		"event" set to "emergency-ElementState"
        	    		;       	    		    	    		        	    		
              	}
              	then {
                	the IUT entity sends an OkResponse
                	and the IUT entity sends a Notify containing
                		ElementState containing
                			state corresponding to normal                			
                			;
                		;
        	  	}       	 
	        }
	    }
	    
		Test Purpose {   
	        TP Id TP_LIS_SIP_BV_05	       
	        
	        Test objective 
        	"IUT responds to SIP Unsubscribe with an 200 OK" 
	        
	        Reference
        	"ETSI TS 103 479 [1], clause 6.5.3.2",
    		"EENA Next Generation 112 LTD [2], Clause 4.10",
    		"RFC5985 [3]"
	      	      	
			PICS Selection PICS_LIS_SIP_SUBSCRIPTION		
			PICS Selection PICS_SIP_SUBSCRIPTION_ELEMENT_STATE		
	     	      	    
	        Initial conditions
	        with {        	
	    		the IUT entity receives a SubscribeRequest containing 
    	    		"event" set to "presence"
    	    		"event" set to "emergency-ElementState"
    	    		;  
				and the IUT entity sends an OkResponse
				and the IUT entity sends a Notify
@@ -502,13 +559,149 @@ Package LIS {
	        Expected behaviour	       
	        ensure that {  
            	when { 
            		the IUT entity expires the SubscribeRequest
        	    	and the IUT entity detects a LocationChange        	    		    	    		        	    		
        	    	the IUT entity receives a UnsubscribeRequest containing
        	    		"event" set to "emergency-ElementState"
        	    		;        	    		    	    		        	    		
              	}
              	then {
                	the IUT entity sends no Notify containing 
                		Presence
                	the IUT entity sends an OkResponse
                	and the IUT entity sends a Notify
        	  	}       	 
	        }
	    }
	    
		Test Purpose {   
	        TP Id TP_LIS_SIP_BV_06	       
	        
	        Test objective 
        	"IUT responds to SIP Subscribe for SecurityPosture with an 200 OK" 
	        
	        Reference
        	"ETSI TS 103 479 [1], clause 5.3",
    		"EENA Next Generation 112 LTD [2], Clause 4.10",
    		"RFC5985 [3]"
	      	      	
			PICS Selection PICS_SIP_SUBSCRIPTION_SECURITY_POSTURE				     	      	    
			
	        Expected behaviour	       
	        ensure that {  
            	when { 
        	    	the IUT entity receives a SubscribeRequest containing 
        	    		"event" set to "emergency-SecurityPosture"
        	    		;       	    		    	    		        	    		
              	}
              	then {
                	the IUT entity sends an OkResponse
                	and the IUT entity sends a Notify containing
                		SecurityPosture containing
                			posture corresponding to green                			
                			;
                		;
        	  	}       	 
	        }
	    }
	    
		Test Purpose {   
	        TP Id TP_LIS_SIP_BV_07	       
	        
	        Test objective 
        	"IUT responds to SIP Unsubscribe with an 200 OK" 
	        
	        Reference
        	"ETSI TS 103 479 [1], clause 6.5.3.2",
    		"EENA Next Generation 112 LTD [2], Clause 4.10",
    		"RFC5985 [3]"
	      	      	
			PICS Selection PICS_SIP_SUBSCRIPTION_SECURITY_POSTURE		
	     	      	    
	        Initial conditions
	        with {        	
	    		the IUT entity receives a SubscribeRequest containing 
    	    		"event" set to "emergency-SecurityPosture"
    	    		;  
				and the IUT entity sends an OkResponse
				and the IUT entity sends a Notify
			}
			
			
	        Expected behaviour	       
	        ensure that {  
            	when { 
        	    	the IUT entity receives a UnsubscribeRequest containing
        	    		"event" set to "emergency-SecurityPosture"
        	    		;        	    		    	    		        	    		
              	}
              	then {
                	the IUT entity sends an OkResponse
                	and the IUT entity sends a Notify
        	  	}       	 
	        }
	    }	 
	    
		Test Purpose {   
	        TP Id TP_LIS_SIP_BV_08	       
	        
	        Test objective 
        	"IUT responds to SIP Subscribe for ServiceState with an 200 OK" 
	        
	        Reference
        	"ETSI TS 103 479 [1], clause 5.3",
    		"EENA Next Generation 112 LTD [2], Clause 4.10",
    		"RFC5985 [3]"
	      	      	
			PICS Selection PICS_SIP_SUBSCRIPTION_SERVICE_STATE				     	      	    
			
	        Expected behaviour	       
	        ensure that {  
            	when { 
        	    	the IUT entity receives a SubscribeRequest containing 
        	    		"event" set to "emergency-ServiceState"
        	    		;       	    		    	    		        	    		
              	}
              	then {
                	the IUT entity sends an OkResponse
                	and the IUT entity sends a Notify containing
                		ServiceState containing
                			state corresponding to normal                			
                			;
                		;
        	  	}       	 
	        }
	    }
	    
		Test Purpose {   
	        TP Id TP_LIS_SIP_BV_09	       
	        
	        Test objective 
        	"IUT responds to SIP Unsubscribe with an 200 OK" 
	        
	        Reference
        	"ETSI TS 103 479 [1], clause 6.5.3.2",
    		"EENA Next Generation 112 LTD [2], Clause 4.10",
    		"RFC5985 [3]"
	      	      	
			PICS Selection PICS_SIP_SUBSCRIPTION_SERVICE_STATE		
	     	      	    
	        Initial conditions
	        with {        	
	    		the IUT entity receives a SubscribeRequest containing 
    	    		"event" set to "emergency-ServiceState"
    	    		;  
				and the IUT entity sends an OkResponse
				and the IUT entity sends a Notify
			}
			
			
	        Expected behaviour	       
	        ensure that {  
            	when { 
        	    	the IUT entity receives a UnsubscribeRequest containing
        	    		"event" set to "emergency-ServiceState"
        	    		;        	    		    	    		        	    		
              	}
              	then {
                	the IUT entity sends an OkResponse
                	and the IUT entity sends a Notify
        	  	}       	 
	        }
	    }	    

test_purposes/psap/psap.tplan2

deleted100644 → 0
+0 −800

File deleted.

Preview size limit exceeded, changes collapsed.