Commit 1b180a77 authored by liebigan's avatar liebigan
Browse files

add Header TPs

parent e2d0c5c1

test_purposes/esrp/esrp_commons.tplan2

+4 −2
Original line number Diff line number Diff line
@@ -75,7 +75,7 @@ Package esrp_commons { 
		type ServiceList;

		type Certificate;

		type IncidentIdInfoHeader;

		type CallIdIdInfoHeader;

		type CallIdInfoHeader;

		

		type Mapping

			with
@@ -90,7 +90,9 @@ Package esrp_commons { 
							caller				of type URI,

				optional	location 			of type Geometry,

				optional	locationReference 	of type URI,

				optional 	certificate 			of type Certificate

				optional 	certificate 			of type Certificate,

				optional 	incidentIdHeader 	of type IncidentIdInfoHeader,

				optional 	callIdHeader 		of type CallIdInfoHeader

		;

		

		type EcrfConfig

test_purposes/esrp/esrp_tps.tplan2

+87 −28
Original line number Diff line number Diff line
@@ -212,8 +212,7 @@ Package ESRP { 
			Expected behaviour

				ensure that {

				when {

					the IUT entity receives

						a (typed) request SipInvite containing

					the IUT entity receives a (typed) request SipInvite containing

							service set to "urn:service:sos.police",

							caller corresponding to PX_CALLER,

							locationReference corresponding to PX_LOCATION_REFERENCE
@@ -269,12 +268,10 @@ Package ESRP { 
			Expected behaviour

				ensure that {

				when {

					the IUT entity receives

						a SipInvite

					the IUT entity receives a (typed) request SipInvite 

				}

				then {

					the IUT entity forwards

						the SIP_INVITE

					the IUT entity forwards the(typed) request SipInvite 

					to the DOWNSTREAM entity

				}

	        }
@@ -448,22 +445,22 @@ Package ESRP { 
	      	PICS Selection PICS_ESRP_QUEUE_STATE_SUPPORT

			Initial conditions with {

				the DOWNSTREAM entity dequeueRegistered  to the IUT entity 

			}

			

			Expected behaviour

				ensure that {

				when {

				and

				the IUT entity receives

						a QUEUE_STATE_NOTIFY_REQUEST containing

							queueState set to "active"

						;

						from the DOWNSTREAM entity

					and the IUT entity receives

						a SipInvite

			}

			

			Expected behaviour

				ensure that {

				when {

					the IUT entity receives a (typed) request SipInvite 

				}

				then {

					the IUT entity forwards

						the SIP_INVITE

						the (typed) request SipInvite 

					to the DOWNSTREAM entity

				}

	        }
@@ -492,12 +489,11 @@ Package ESRP { 
						;

						from the DOWNSTREAM entity

					and

					the IUT entity receives

						a SipInvite

					the IUT entity receives a (typed) request SipInvite 

				}

				then {

					the IUT entity forwards

						the SIP_INVITE

						the (typed) request SipInvite 

					to the DIVERSION entity

				}

	        }
@@ -526,12 +522,11 @@ Package ESRP { 
						;

						from the DOWNSTREAM entity

					and

					the IUT entity receives

						a SipInvite

					the IUT entity receives a (typed) request SipInvite 

				}

				then {

					the IUT entity forwards

						the SIP_INVITE

						the (typed) request SipInvite 

					to the DIVERSION entity

				}

	        }
@@ -560,12 +555,11 @@ Package ESRP { 
						;

						from the DOWNSTREAM entity

					and

					the IUT entity receives

						a SipInvite

					the IUT entity receives a (typed) request SipInvite 

				}

				then {

					the IUT entity forwards

						the SIP_INVITE

						the (typed) request SipInvite 

					to the DIVERSION entity

				}

	        }
@@ -592,12 +586,11 @@ Package ESRP { 
						;

						from the DOWNSTREAM entity

					and

					the IUT entity receives

						a SipInvite

					the IUT entity receives a (typed) request SipInvite 

				}

				then {

					the IUT entity forwards

						the SIP_INVITE

						the (typed) request SipInvite 

					to the DOWNSTREAM entity

				}

	        }
@@ -816,7 +809,7 @@ Package ESRP { 
    	import all from sip_commons;

    	

		Test Purpose {   

	        TP Id TP_ESRP_TLS_BI_01	       

	        TP Id TP_ESRP_TLS_SIP_INVITE_BI_01	       

	        

	        Test objective 

        	"IUT rejects SIP requests without a certificate"
@@ -838,8 +831,74 @@ Package ESRP { 
        	  	}           	 

	        }

		}       	 

	}

	

	Group "Headers" {

		import all from esrp_commons;

    	import all from sip_commons;

    	

		Test Purpose {   

	        TP Id TP_ESRP_HEADERS_SIP_INVITE_BV_01

			Test objective 

    			"IUT adds CallIdentifier header and forwards an incoming call to a fixed target"

			Reference

    			"TODO"

      

	      	PICS Selection PICS_ESRP_FIXED_TARGET_SUPPORT

	      

	        Initial conditions

		        with {        	

		    		the IUT entity is configured for the DOWNSTREAM entity

				}

			Expected behaviour

				ensure that {

				when {

					the IUT entity receives a (typed) request SipInvite containing

            			not callIdHeader

            			;

            	}

				then {

					the IUT entity forwards

						a (typed) request SipInvite containing

            				callIdHeader

            			;

					to the DOWNSTREAM entity

				}

	        }

		}

		

		Test Purpose {   

	        TP Id TP_ESRP_HEADERS_SIP_INVITE_BV_02

			Test objective 

    			"IUT adds IncidentTrackingIdentifier header and forwards an incoming call to a fixed target"

			Reference

    			"TODO"

      

	      	PICS Selection PICS_ESRP_FIXED_TARGET_SUPPORT

	      

	        Initial conditions

		        with {        	

		    		the IUT entity is configured for the DOWNSTREAM entity

				}

			Expected behaviour

				ensure that {

				when {

					the IUT entity receives a (typed) request SipInvite containing

            			not incidentIdHeader

            			;

            	}

				then {

					the IUT entity forwards

						a (typed) request SipInvite containing

            				incidentIdHeader

            			;

					to the DOWNSTREAM entity

				}

	        }

		}

		

	}

	

}