BCF modifications and bcf_commons added (6f13b088) · Commits · EMTEL - Emergency Communications / NG112 Conformance Test Suites

test_purposes/bcf/bcf.tplan2

+59 −101

Original line number	Diff line number	Diff line
		@@ -20,48 +20,10 @@

		Package NG112_BCF {

		Domain {
		pics:
		- A_SIP_BSC1 //admin call
		- E_SIP_URN1 //em call with geolocation (value)
		- E_SIP_URN2 //em call with geolocation (token)
		- E_SIP_URN3 //em call without geolocation (id)
		- S_SIP_UDP1 //call via UDP
		- S_SIP_TCP1 //call via TCP
		- S_SIP_BYE1 //BYE handled
		- M_SIP_URN1 //SIP message with geolocation (value)
		- S_SIP_OPT1 //receive SIP OPTIONS - respond OK
		- M_SIP_CALL_INFO //SIP header Call-Info supported
		;
		entities:
		- IUT
		- CLIENT
		- PSAP
		;
		events:
		- acceptingIncomingCalls //BCF ready to receive incoming calls
		- receives //for packets coming from the network to the IUT
		- sends //for packets sent by the IUT to the network
		- establishesIncomingCall //[ref psap.txt:establishesIncomingCall] The IUT establishes the incoming call
		- inAnActiveIncomingCall //[ref psap.txt:inAnActiveIncomingCall] An incoming call is established
		;
		}

		Data {
		type PDU;
		}
		Configuration {
		Interface Type defaultGT accepts PDU;
		Component Type NG112Comp with gate g of type defaultGT;
		Test Configuration CFG_BCF_01
		containing
		Tester component CLIENT of type NG112Comp
		SUT component IUT of type NG112Comp
		connection between CLIENT.g and IUT.g;
		}
		import all from bcf_commons;

		Test Purpose {
		TP Id TP_BCF_FORWARD_INVITE_BV_01
		TP Id TP_BCF_SIP_INVITE_BV_01
		Test objective
		"IUT forwards well-formated INVITE to PSAP"
		Reference
		@@ -69,7 +31,7 @@ Package NG112_BCF {
		"ETSI TS 103 698 [11], clause 5.1.1",
		"EENA Next Generation 112 LTD [2], Clause 4.2"
		Config Id CFG_BCF_01
		PICS Selection S_SIP_TCP1
		PICS Selection PICS_BCF_S_SIP_TCP1
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		}
		@@ -77,7 +39,7 @@ Package NG112_BCF {
		ensure that {
		when {
		the IUT entity receives a TCP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_SERVICE_URN,
		Content_Type indicating value "application/sdp"
		;
		}
		@@ -88,16 +50,16 @@ Package NG112_BCF {
		;
		}
		}
		} // End of TP_BCF_FORWARD_INVITE_BV_01
		} // End of TP_BCF_SIP_INVITE_BV_01

		Test Purpose {
		TP Id TP_BCF_FORWARD_INVITE_BV_02
		TP Id TP_BCF_SIP_INVITE_BV_02
		Test objective
		"IUT adds EES-source to the INVITE message"
		Reference
		"EENA Next Generation 112 LTD [2], Clause 4.2 and 4.2.2"
		Config Id CFG_BCF_01
		PICS Selection S_SIP_TCP1
		PICS Selection PICS_BCF_S_SIP_TCP1
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		}
		@@ -105,30 +67,30 @@ Package NG112_BCF {
		ensure that {
		when {
		the IUT entity receives a TCP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_SERVICE_URN,
		Content_Type indicating value "application/sdp"
		;
		}
		then {
		the IUT entity sends a TCP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_REQUEST_URI,
		Content_Type indicating value "application/sdp",
		Via indicating value PX_BCF_ESS_SOURCE //e.g. a7123gc42@sbc22.example.net
		;
		to the PSAP entity
		}
		}
		} // End of TP_BCF_FORWARD_INVITE_BV_02
		} // End of TP_BCF_SIP_INVITE_BV_02

		Test Purpose {
		TP Id TP_BCF_FORWARD_INVITE_BV_03
		TP Id TP_BCF_SIP_INVITE_BV_03
		Test objective
		"IUT adds Incident Tracking ID within Call-Info header to the INVITE message."
		Reference
		"ETSI TS 103 479 [1], clause 5.1.1, 6.1.2.7",
		"ETSI TS 103 698 [11], clause 5.1.1"
		Config Id CFG_BCF_01
		PICS Selection S_SIP_TCP1 and M_SIP_CALL_INFO
		PICS Selection PICS_BCF_S_SIP_TCP1 and PICS_BCF_M_SIP_CALL_INFO
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		}
		@@ -136,13 +98,13 @@ Package NG112_BCF {
		ensure that {
		when {
		the IUT entity receives a TCP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_SERVICE_URN,
		Content_Type indicating value "application/sdp"
		;
		}
		then {
		the IUT entity sends a TCP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_REQUEST_URI,
		Content_Type indicating value "application/sdp",
		Call_Info indicating value PX_CALL_INFO_INCIDENT_TRACKING_ID,
		Call_Id indicating value "SIP call id"
		@@ -150,17 +112,17 @@ Package NG112_BCF {
		to the PSAP entity
		}
		}
		} // End of TP_BCF_FORWARD_INVITE_BV_03
		} // End of TP_BCF_SIP_INVITE_BV_03

		Test Purpose {
		TP Id TP_BCF_FORWARD_INVITE_BV_04
		TP Id TP_BCF_SIP_INVITE_BV_04
		Test objective
		"IUT adds Call ID within Call-Info header to the INVITE message."
		Reference
		"ETSI TS 103 479 [1], clauses 5.1.1 and 6.1.2.7",
		"ETSI TS 103 698 [11], clauses 5.1.1 and 6.1.2.7"
		Config Id CFG_BCF_01
		PICS Selection S_SIP_TCP1 and M_SIP_CALL_INFO
		PICS Selection PICS_BCF_S_SIP_TCP1 and PICS_BCF_M_SIP_CALL_INFO
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		}
		@@ -168,31 +130,30 @@ Package NG112_BCF {
		ensure that {
		when {
		the IUT entity receives a TCP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_SERVICE_URN,
		Content_Type indicating value "application/sdp"
		;
		}
		then {
		the IUT entity sends a TCP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_REQUEST_URI,
		Content_Type indicating value "application/sdp",
		Call_Info indicating value PX_CALL_INFO_CALL_ID,
		Call_Id indicating value "SIP call id"
		Call_Info indicating value PX_CALL_INFO_CALL_ID
		;
		to the PSAP entity
		}
		}
		} // End of TP_BCF_FORWARD_INVITE_BV_04
		} // End of TP_BCF_SIP_INVITE_BV_04

		Test Purpose {
		TP Id TP_BCF_FORWARD_INVITE_BV_05
		TP Id TP_BCF_SIP_INVITE_BV_05
		Test objective
		"IUT adds Source ID within Call-Info header to the INVITE message."
		Reference
		"ETSI TS 103 479 [1], clause 5.1.1, 6.1.2.7",
		"ETSI TS 103 698 [11], clause 5.1.1"
		Config Id CFG_BCF_01
		PICS Selection S_SIP_TCP1 and M_SIP_CALL_INFO
		PICS Selection PICS_BCF_S_SIP_TCP1 and PICS_BCF_M_SIP_CALL_INFO
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		}
		@@ -200,24 +161,23 @@ Package NG112_BCF {
		ensure that {
		when {
		the IUT entity receives a TCP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_SERVICE_URN,
		Content_Type indicating value "application/sdp"
		;
		}
		then {
		the IUT entity sends a TCP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_REQUEST_URI,
		Content_Type indicating value "application/sdp",
		Call_Info indicating value PX_CALL_INFO_SOURCE_ID,
		Call_Id indicating value "SIP call id"
		Call_Info indicating value PX_CALL_INFO_SOURCE_ID
		;
		to the PSAP entity
		}
		}
		} // End of TP_BCF_FORWARD_INVITE_BV_05
		} // End of TP_BCF_SIP_INVITE_BV_05

		Test Purpose {
		TP Id TP_BCF_FORWARD_MESSAGE_BV_01
		TP Id TP_BCF_SIP_MESSAGE_BV_01
		Test objective
		"IUT forwards well-formated MESSAGE to PSAP"
		Reference
		@@ -225,15 +185,15 @@ Package NG112_BCF {
		"ETSI TS 103 698 [11], clause 5.1.1",
		"EENA Next Generation 112 LTD [2], Clause 4.2"
		Config Id CFG_BCF_01
		PICS Selection S_SIP_TCP1
		PICS Selection PICS_BCF_S_SIP_TCP1
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		the IUT entity acceptingIM
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a TCP SIP_MESSAGE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_SERVICE_URN,
		Content_Type indicating value "application/sdp"
		;
		}
		@@ -244,61 +204,61 @@ Package NG112_BCF {
		;
		}
		}
		} // End of TP_BCF_FORWARD_MESSAGE_BV_01
		} // End of TP_BCF_SIP_MESSAGE_BV_01

		Test Purpose {
		TP Id TP_BCF_FORWARD_MESSAGE_BV_02
		TP Id TP_BCF_SIP_MESSAGE_BV_02
		Test objective
		"IUT adds EES-source to the MESSAGE message"
		Reference
		"EENA Next Generation 112 LTD [2], Clause 4.2 and 4.2.2"
		Config Id CFG_BCF_01
		PICS Selection S_SIP_TCP1
		PICS Selection PICS_BCF_S_SIP_TCP1
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		the IUT entity acceptingIM
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a TCP SIP_MESSAGE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_SERVICE_URN,
		Content_Type indicating value "application/sdp"
		;
		}
		then {
		the IUT entity sends a TCP SIP_MESSAGE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_REQUEST_URI,
		Content_Type indicating value "application/sdp",
		Via indicating value PX_BCF_ESS_SOURCE //e.g. a7123gc42@sbc22.example.net
		;
		to the PSAP entity
		}
		}
		} // End of TP_BCF_FORWARD_MESSAGE_BV_02
		} // End of TP_BCF_SIP_MESSAGE_BV_02

		Test Purpose {
		TP Id TP_BCF_FORWARD_MESSAGE_BV_03
		TP Id TP_BCF_SIP_MESSAGE_BV_03
		Test objective
		"IUT adds Incident Tracking ID within Call-Info header to the MESSAGE message."
		Reference
		"ETSI TS 103 479 [1], clause 5.1.1, 6.1.2.7",
		"ETSI TS 103 698 [11], clause 5.1.1"
		Config Id CFG_BCF_01
		PICS Selection S_SIP_TCP1 and M_SIP_CALL_INFO
		PICS Selection PICS_BCF_S_SIP_TCP1 and PICS_BCF_M_SIP_CALL_INFO
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		the IUT entity acceptingIM
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a TCP SIP_MESSAGE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_SERVICE_URN,
		Content_Type indicating value "application/sdp"
		;
		}
		then {
		the IUT entity sends a TCP SIP_MESSAGE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_REQUEST_URI,
		Content_Type indicating value "application/sdp",
		Call_Info indicating value PX_CALL_INFO_INCIDENT_TRACKING_ID,
		Call_Id indicating value "SIP call id"
		@@ -306,70 +266,68 @@ Package NG112_BCF {
		to the PSAP entity
		}
		}
		} // End of TP_BCF_FORWARD_MESSAGE_BV_03
		} // End of TP_BCF_SIP_MESSAGE_BV_03

		Test Purpose {
		TP Id TP_BCF_FORWARD_MESSAGE_BV_04
		TP Id TP_BCF_SIP_MESSAGE_BV_04
		Test objective
		"IUT adds Call ID within Call-Info header to the MESSAGE message."
		Reference
		"ETSI TS 103 479 [1], clauses 5.1.1 and 6.1.2.7",
		"ETSI TS 103 698 [11], clauses 5.1.1 and 6.1.2.7"
		Config Id CFG_BCF_01
		PICS Selection S_SIP_TCP1 and M_SIP_CALL_INFO
		PICS Selection PICS_BCF_S_SIP_TCP1 and PICS_BCF_M_SIP_CALL_INFO
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		the IUT entity acceptingIM
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a TCP SIP_MESSAGE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_SERVICE_URN,
		Content_Type indicating value "application/sdp"
		;
		}
		then {
		the IUT entity sends a TCP SIP_MESSAGE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_REQUEST_URI,
		Content_Type indicating value "application/sdp",
		Call_Info indicating value PX_CALL_INFO_CALL_ID,
		Call_Id indicating value "SIP call id"
		Call_Info indicating value PX_CALL_INFO_CALL_ID
		;
		to the PSAP entity
		}
		}
		} // End of TP_BCF_FORWARD_MESSAGE_BV_04
		} // End of TP_BCF_SIP_MESSAGE_BV_04

		Test Purpose {
		TP Id TP_BCF_FORWARD_MESSAGE_BV_05
		TP Id TP_BCF_SIP_MESSAGE_BV_05
		Test objective
		"IUT adds Source ID within Call-Info header to the MESSAGE message."
		Reference
		"ETSI TS 103 479 [1], clause 5.1.1, 6.1.2.7",
		"ETSI TS 103 698 [11], clause 5.1.1"
		Config Id CFG_BCF_01
		PICS Selection S_SIP_TCP1 and M_SIP_CALL_INFO
		PICS Selection PICS_BCF_S_SIP_TCP1 and PICS_BCF_M_SIP_CALL_INFO
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		the IUT entity acceptingIM
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a TCP SIP_MESSAGE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_SERVICE_URN,
		Content_Type indicating value "application/sdp"
		;
		}
		then {
		the IUT entity sends a TCP SIP_MESSAGE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value PX_BCF_REQUEST_URI,
		Content_Type indicating value "application/sdp",
		Call_Info indicating value PX_CALL_INFO_SOURCE_ID,
		Call_Id indicating value "SIP call id"
		Call_Info indicating value PX_CALL_INFO_SOURCE_ID
		;
		to the PSAP entity
		}
		}
		} // End of TP_BCF_FORWARD_MESSAGE_BV_05
		} // End of TP_BCF_SIP_MESSAGE_BV_05

		} // End of package NG112_BCF

test_purposes/bcf/bcf_commons.tplan2

0 → 100644

+61 −0

Original line number	Diff line number	Diff line
		Package bcf_commons {

		Domain {
		pics:
		//- PICS_BCF_A_SIP_BSC1 //admin call
		//- PICS_BCF_E_SIP_URN1 //em call with geolocation (value)
		//- PICS_BCF_E_SIP_URN2 //em call with geolocation (token)
		//- PICS_BCF_E_SIP_URN3 //em call without geolocation (id)
		//- PICS_BCF_S_SIP_UDP1 //call via UDP
		- PICS_BCF_S_SIP_TCP1 //call via TCP
		//- PICS_BCF_S_SIP_BYE1 //BYE handled
		//- PICS_BCF_M_SIP_URN1 //SIP message with geolocation (value)
		//- PICS_BCF_S_SIP_OPT1 //receive SIP OPTIONS - respond OK
		- PICS_BCF_M_SIP_CALL_INFO //SIP header Call-Info supported
		;
		entities:
		- IUT
		- CLIENT
		- PSAP
		;
		events:
		- acceptingIncomingCalls //BCF ready to receive incoming calls
		- receives //for packets coming from the network to the IUT
		- sends //for packets sent by the IUT to the network
		- establishesIncomingCall //[ref psap.txt:establishesIncomingCall] The IUT establishes the incoming call
		- inAnActiveIncomingCall //[ref psap.txt:inAnActiveIncomingCall] An incoming call is established
		- acceptingIM // PSAP ready to receive IM(Instant messaging)
		;
		}

		Data {
		type PDU;

		type Request_URI;
		type Via;
		type Call_Info;

		// ######
		// PIXITS
		Request_URI PX_BCF_SERVICE_URN; //"urn:service:sos.police"
		Request_URI PX_BCF_REQUEST_URI; //PSAP Request_URI
		Via PX_BCF_ESS_SOURCE; //e.g. a7123gc42@sbc22.example.net
		Call_Info PX_CALL_INFO_INCIDENT_TRACKING_ID; //<urn:emergency:uid:incidentid:56..3f:bcf.at>;purpose=EmergencyCallData.IncidentId
		Call_Info PX_CALL_INFO_CALL_ID; //<urn:emergency:uid:callid:a56e556d871:bcf.at>;purpose=EmergencyCallData.CallId
		Call_Info PX_CALL_INFO_SOURCE_ID; //<urn:emergency:uid:sourceid:a7231gc42:bcf.com>;purpose=EmergencyCallData.SourceId


		}
		Configuration {
		Interface Type defaultGT accepts PDU;
		Component Type NG112Comp with gate g of type defaultGT;
		Test Configuration CFG_BCF_01
		containing
		Tester component CLIENT of type NG112Comp
		Tester component PSAP of type NG112Comp
		SUT component IUT of type NG112Comp
		connection between CLIENT.g and IUT.g
		connection between PSAP.g and IUT.g;
		}

		}