Context Navigation

AtsImsIot_Templates.ttcn @ 18

Last change on this file since 18 was 18, checked in by phdmakk, 14 years ago

File size: 51.4 KB

Line
1	/*
2	* @author STF 370
3	* @version $Id: $
4	* @desc This module provides the templates for Interoperability tests.
5	*/
6
7	module AtsImsIot_Templates {
8
9	import from LibCommon_BasicTypesAndValues {type UInt16;}
10
11	import from LibCommon_VerdictControl {type FncRetCode;}
12
13	import from LibIot_TypesAndValues {
14	type
15	InterfaceInfoList,
16	ProtocolFilter,
17	GeneralConfigurationReq,
18	GeneralConfigurationRsp,
19	SetFilterReq,
20	SetFilterRsp,
21	StartTrafficCaptureReq,
22	StartTrafficCaptureRsp,
23	StopTrafficCaptureReq,
24	StopTrafficCaptureRsp,
25	IpAddress,
26	Status;
27	}
28	import from AtsImsIot_TypesAndValues {type SipMessage;}
29
30	import from LibSip_SIPTypesAndValues all;
31
32	import from LibSip_Templates all;
33
34	import from LibIot_PIXITS {
35	modulepar
36	PX_IOT_TIMESTAMP_OFFSET,
37	PX_IOT_PCAP_SESSIONS_PATH,
38	PX_IOT_RECORD_MODE,
39	PX_IOT_EUTs_IFACE_INFO_LIST,
40	PX_IOT_FILE_MERGE_LIST,
41	PX_IOT_FILE_MERGE_PATH,
42	PX_IOT_MERGE_TOOL_PATH,
43	PX_IOT_IFACES;
44	}
45
46	group adapterMsgTemplates {
47	template SetFilterReq m_SetFilterReq(ProtocolFilter p_protocol, InterfaceInfoList p_iterfaces) := {
48	protocol := p_protocol,
49	interfaceInfos := p_iterfaces
50	}
51
52	template SetFilterRsp mw_SetFilterRsp(template Status p_status) := {
53	status := p_status
54	}
55	}
56
57
58	group sipTemplates {
59
60	/**
61	* @desc SIP request template
62	* @param p_request SIP request
63	*/
64	template SipMessage mw_SipRequest(in template (present) Request p_request) := {
65	request := p_request
66	}
67
68	/**
69	* @desc SIP response template
70	* @param p_response SIP response
71	*/
72	template SipMessage mw_SipResponse(in template (present) Response p_response) := {
73	response := p_response
74	}
75	}//end group
76
77	group modifiedSIPBaseTemplates {
78
79	/**
80	*
81	* @desc Message Request containing a message body greater than 1500 bytes.
82	*/
83	template MESSAGE_Request mdw_TP_IMS_4002_01(template CallId p_callId) modifies mw_MESSAGE_Request_Base := {
84	msgHeader := {
85	contact := *
86	},
87	messageBody := {
88	textplain := pattern "?#(1500,)"
89	}
90	}
91
92	/**
93	*
94	* @desc REGISTER Request containing secuity client header.
95	*/
96	template REGISTER_Request mdw_TP_IMS_5011_01_gm modifies mw_REGISTER_Request_Base := {
97	msgHeader := {
98	securityClient := ?
99	}
100	}
101
102	/**
103	*
104	* @desc REGISTER Request containing secuity client header.
105	*/
106	template REGISTER_Request mdw_TP_IMS_5011_02_gm modifies mw_REGISTER_Request_Base := {
107	msgHeader := {
108	securityClient := ?
109	}
110	}
111
112	/**
113	*
114	* @desc REGISTER Request checking TP_IMS_5011_01.
115	*/
116	template REGISTER_Request mdw_TP_IMS_5011_01p_ic ( charstring p_EUTHostname ) modifies mw_REGISTER_Request_Base := {
117	msgHeader := {
118	path := mw_PathDef (p_EUTHostname),
119	require := mw_Require ({"path", *}),
120	pChargingVector := {
121	fieldName := P_CHARGING_VECTOR_E,
122	chargeParams := {
123	{id := "icid-value", paramValue := ?},
124	{id := "orig-ioi", paramValue := ?},
125	*
126	}
127	},
128	authorization := m_Authorization(mw_credentialIntegrityNo),
129	securityClient := omit,
130	securityVerify :=omit,
131	pVisitedNetworkID := mw_PVisitedNetworkIDAny
132	}
133	}
134
135	/**
136	*
137	* @desc REGISTER Request checking TP_IMS_5011_01.
138	*/
139	template REGISTER_Request mdw_TP_IMS_5011_01f_ic modifies mw_REGISTER_Request_Base := {
140	msgHeader := {
141	pChargingVector := {
142	fieldName := P_CHARGING_VECTOR_E,
143	chargeParams := {
144	{id := "term-ioi", paramValue := ?},
145	*
146	}
147	}
148	}
149	}
150
151	/**
152	*
153	* @desc REGISTER Request checking TP_IMS_5134_01.
154	*/
155	template REGISTER_Request mdw_TP_IMS_5134_01_ic ( charstring p_EUTHostname ) modifies mw_REGISTER_Request_Base := {
156	msgHeader := {
157	path := mw_PathDef (p_EUTHostname)
158	}
159	}
160
161	/**
162	*
163	* @desc REGISTER Request checking TP_IMS_5011_02.
164	*/
165	template REGISTER_Request mdw_TP_IMS_5011_02p_ic ( charstring p_EUTHostname ) modifies mw_REGISTER_Request_Base := {
166	msgHeader := {
167	path := mw_PathDef (p_EUTHostname),
168	require := mw_Require ({"path", *}),
169	pChargingVector := mw_PChargingVector({
170	{id := "icid-value", paramValue := ?},
171	{id := "orig-ioi", paramValue := ?},
172	*
173	}),
174	authorization := m_Authorization(mw_credentialIntegrityYes),
175	securityClient := omit,
176	securityVerify :=omit,
177	pVisitedNetworkID := mw_PVisitedNetworkIDAny
178	}
179	}
180
181	/**
182	*
183	* @desc REGISTER Request checking TP_IMS_5011_02.
184	*/
185	template REGISTER_Request mdw_TP_IMS_5011_02f_ic modifies mw_REGISTER_Request_Base := {
186	msgHeader := {
187	pChargingVector := mw_PChargingVector({
188	{id := "term-ioi", paramValue := ?},
189	*
190	})
191	}
192	}
193
194	/**
195	*
196	* @desc REGISTER Request checking TP_IMS_5089_01.
197	*/
198	template REGISTER_Request mdw_TP_IMS_5089_01_ic_when modifies mw_REGISTER_Request_Base := {
199	msgHeader := {
200	authorization := m_Authorization(mw_credentialIntegrityNo)
201	}
202	}
203
204	/**
205	*
206	* @desc REGISTER Request checking TP_IMS_5092_01.
207	*/
208	template REGISTER_Request mdw_TP_IMS_5092_01_ic_when modifies mw_REGISTER_Request_Base := {
209	msgHeader := {
210	authorization := m_Authorization(mw_credentialIntegrityNo)
211	}
212	}
213
214	/**
215	*
216	* @desc 200 OK message for TP_IMS_5092_01
217	*/
218	template Response mdw_TP_IMS_5092_01_ic (charstring p_EUTHostname, template SipUrl p_eutBUri) modifies mw_200OK_Base := {
219	msgHeader := {
220	path := mw_PathDef (p_EUTHostname),
221	pAssociatedURI := {
222	fieldName := P_ASSOCIATED_URI_E,
223	nameAddrList := ?
224	},
225	pChargingVector := mw_PChargingVector({ // @TODO indicating operator_identifier of IMS_? (IUT_?)?
226	{id := "term-ioi", paramValue := ?},
227	*
228	}),
229	serviceRoute := mw_ServiceRoute (p_eutBUri),
230	contact := {
231	fieldName := CONTACT_E,
232	contactBody := {
233	contactAddresses := ?
234	}
235	}
236	}
237	}
238	/**
239	*
240	* @desc 401 Unauthorized message checking f_mtc_check_TP_IMS_5089_01_ic.
241	*/
242	template Response mdw_TP_IMS_5089_01_ic modifies mw_401Unauthorized_Base := {
243	msgHeader := {
244	wwwAuthenticate := mw_WwwAuthenticate
245	}
246	}
247
248
249	/**
250	*
251	* @desc SUBSCRIBE checking TP_IMS_5044_01.
252	*/
253	template SUBSCRIBE_Request mdw_TP_IMS_5044_01_ic(
254	template SipUrl p_subscribe_uri,
255	template SipUrl p_eutAUri,
256	template charstring p_EUTB_PublicId
257	) modifies mw_SUBSCRIBE_Request_Base := {
258
259	requestLine := {
260	method := SUBSCRIBE_E,
261	requestUri := p_subscribe_uri, // @TODO
262	sipVersion := c_sipNameVersion
263	},
264	msgHeader := {
265	fromField := mw_From (p_eutAUri),
266	toField := mw_To_NameAddr_SipUrl (p_EUTB_PublicId, ?, ?),
267	event := m_Event_reg,
268	expires := ?, // checked outside the template
269	pAssertedID := mw_PAssertedID(mw_PAssertedIDValue(p_eutAUri)),
270	pChargingVector := mw_PChargingVector({
271	{id := "icid-value", paramValue := *},
272	*
273	})
274	}
275	}
276
277	template SUBSCRIBE_Request mdw_TP_IMS_5405_01_ic
278	modifies mw_SUBSCRIBE_Request_Base := {
279
280	requestLine := {
281	method := SUBSCRIBE_E,
282	requestUri := ?,
283	sipVersion := c_sipNameVersion
284	},
285	msgHeader := {
286	via := mw_Via (?), // TODO
287	recordRoute := mw_recordroute(?), // @TODO
288	route := mw_route(?), // TODO
289	pChargingVector := omit
290	}
291	}
292
293	/**
294	*
295	* @desc INVITE Request checking TP_IMS_5046_01
296	*/
297	template INVITE_Request mdw_TP_IMS_5046_01_ic (template SipUrl p_pcscfEutAUri, template SipUrl p_userEutBUrl)
298	modifies mw_INVITE_Request_Base := {
299	msgHeader := {
300	route := {
301	fieldName := ROUTE_E,
302	routeBody := ? // complement (mw_routeBody(p_pcscfEutAUri)) // to be checked outside template
303	},
304	via := {
305	fieldName := VIA_E,
306	viaBody := ? // superset(mw_ViaBody_interface(p_pcscfEutAUri.hostPort)) // to be checked outside template
307	},
308	recordRoute := {
309	fieldName := RECORD_ROUTE_E,
310	routeBody := {mw_routeBody(p_pcscfEutAUri), *}
311	},
312	pPreferredID := omit,
313	pAssertedID := mw_PAssertedID(mw_PAssertedIDValue(p_userEutBUrl)),
314	pChargingVector := mw_PChargingVector({
315	{id := "icid-value", paramValue := *},
316	*
317	})
318	}
319	}
320
321	/**
322	*
323	* @desc INVITE Request checking TP_IMS_5048_01
324	*/
325	template INVITE_Request mdw_TP_IMS_5048_01_ic (template SipUrl p_pcscfEutAUri)
326	modifies mw_INVITE_Request_Base := {
327	msgHeader := {
328	route := {
329	fieldName := ROUTE_E,
330	routeBody := {
331	*,
332	complement(mw_routeBody(p_pcscfEutAUri)),
333	*
334	}
335	},
336	via := {
337	fieldName := VIA_E,
338	viaBody := ? // superset(mw_ViaBody_interface(p_pcscfEutAUri.hostPort)) // to be checked outside template
339	},
340	recordRoute := {
341	fieldName := RECORD_ROUTE_E,
342	routeBody := {mw_routeBody(p_pcscfEutAUri), *}
343	}
344	}
345	}
346
347	/**
348	*
349	* @desc BYE Request checking TP_IMS_5052_01 on MW
350	*/
351	template BYE_Request mdw_TP_IMS_5052_01_p_ic(template CallId p_callId, template RecordRoute p_route)
352	modifies mw_BYE_Request_Base := {
353	msgHeader := {
354	route := {
355	fieldName := ROUTE_E,
356	routeBody := *
357	},
358	recordRoute := p_route
359	}
360	}
361
362	template BYE_Request mdw_TP_IMS_5052_01_f_ic(
363	template CallId p_callId,
364	template SipUrl p_pcscfEutAUri)
365	modifies mw_BYE_Request_Base := {
366	msgHeader := {
367	route := {
368	fieldName := ROUTE_E,
369	routeBody := {
370	*,
371	mw_routeBody(p_pcscfEutAUri),
372	*
373	}
374	}
375	}
376	}
377
378
379	/**
380	*
381	* @desc 180 Ringing Response checking TP_IMS_5055_01 on MW
382	*/
383	template Response mdw_TP_IMS_5055_01_ic(template SipUrl p_pcscfEutAUri, template SipUrl p_userEutAUri)
384	modifies mw_180Ringing_Base := {
385	msgHeader := {
386	recordRoute := {
387	fieldName := RECORD_ROUTE_E,
388	routeBody := {mw_routeBody(p_pcscfEutAUri), *}
389	},
390	pPreferredID := omit,
391	pAssertedID := mw_PAssertedID(mw_PAssertedIDValue(p_userEutAUri))//TODO containing public identitiy sent in P-Called_Party-ID header in the initial request
392	}
393	}
394
395	/**
396	*
397	* @desc 200 OK Response checking TP_IMS_5055_02 on MW
398	*/
399	template Response mdw_TP_IMS_5055_02_ic(template SipUrl p_pcscfEutAUri, template SipUrl p_userEutAUri)
400	modifies mw_200OK_Base := {
401	msgHeader := {
402	recordRoute := {
403	fieldName := RECORD_ROUTE_E,
404	routeBody := {mw_routeBody(p_pcscfEutAUri), *}
405	},
406	pPreferredID := omit,
407	pAssertedID := mw_PAssertedID(mw_PAssertedIDValue(p_userEutAUri))//TODO containing public identitiy sent in P-Called_Party-ID header in the initial request
408	}
409	}
410
411	/**
412	*
413	* @desc INVITE Request checking TP_IMS_5067_01 on MW
414	*/
415	template INVITE_Request mdw_TP_IMS_5067_01_ic
416	modifies mw_INVITE_Request_Base := {
417	msgHeader := {
418	pChargingVector := mw_PChargingVector({
419	{id := "access-network-charging-info", paramValue := ?},
420	*
421	})
422	}
423	}
424
425	/**
426	*
427	* @desc CANCEL Request checking TP_IMS_572_02 on gm
428	*/
429	template CANCEL_Request mdw_TP_IMS_5072_02_gm (template CallId p_callId)
430	modifies mw_CANCEL_Request_Base := {
431	msgHeader := {
432	reason := {
433	fieldName := REASON_E,
434	reasonValues := {
435	{
436	token := "503 Service Unavailable",
437	reasonParams := *
438	},
439	*
440	}
441	}
442	}
443	}
444
445	/**
446	*
447	* @desc INVITE Request checking TP_IMS_5080_01 on MW
448	*/
449	template INVITE_Request mdw_TP_IMS_5080_01_ic
450	modifies mw_INVITE_Request_Base := {
451	msgHeader := {
452	pChargingVector := mw_PChargingVector({
453	{id := "access-network-charging-info", paramValue := ?}, //note access-network-charging-info should be updated
454	*
455	})
456	}
457	}
458
459	/**
460	*
461	* @desc 200 OK Response checking TP_IMS_5082_01 on MW
462	*/
463	template Response mdw_TP_IMS_5082_01_ic
464	modifies mw_200OK_Base := {
465	msgHeader := {
466	pChargingVector := mw_PChargingVector({
467	{id := "access-network-charging-info", paramValue := ?},
468	*
469	})
470	}
471	}
472
473	/**
474	*
475	* @desc SUBSCRIBE checking TP_IMS_5096_01.
476	*/
477	template SUBSCRIBE_Request mdw_TP_IMS_5096_01_ic_when modifies mw_SUBSCRIBE_Request_Base := {
478	msgHeader := {
479	event := m_Event_reg
480	}
481	}
482
483	/**
484	* @desc INVITE Request checking TP_IMS_5097_01
485	*/
486	template INVITE_Request mdw_TP_IMS_5097_01_ic (template SipUrl p_SCSCF_SIP_URI)
487	modifies mw_INVITE_Request_Base := {
488	msgHeader := {
489	route := ({
490	fieldName := ROUTE_E,
491	routeBody := {
492	*,
493	complement(mw_routeBody(p_SCSCF_SIP_URI)),
494	*
495	}
496	}, omit),
497	recordRoute := {
498	fieldName := RECORD_ROUTE_E,
499	routeBody := {mw_routeBody(p_SCSCF_SIP_URI), *}
500	},
501	pChargingVector := {
502	fieldName := P_CHARGING_VECTOR_E,
503	chargeParams := {
504	*,
505	{id := "icid-value", paramValue := ?},
506	*,
507	{id := "orig-ioi", paramValue := ?},
508	*,
509	complement({id := "term-ioi", paramValue := ?}),
510	*,
511	complement({id := "access-network-charging-info", paramValue := ?}),
512	*
513	}
514	}
515	}
516	}
517
518
519	/**
520	* @desc INVITE Request checking TP_IMS_5097_02
521	*/
522	template INVITE_Request mdw_TP_IMS_5097_02_ic (
523	template SipUrl p_SIP_URI,
524	template SipUrl p_TEL_URI)
525	modifies mw_INVITE_Request_Base := {
526	msgHeader := {
527	pAssertedID := {
528	fieldName := P_ASSERTED_ID_E,
529	pAssertedIDValueList := {
530	*,
531	({ nameAddr := mw_NameAddr(p_SIP_URI)}, {addrSpecUnion := mw_SIP_URI_Base}),
532	*,
533	({nameAddr := mw_NameAddr(p_TEL_URI)}, {addrSpecUnion := mw_TEL_URI_Base}),
534	*
535	}
536	}
537	}
538	}
539
540	/**
541	* @desc INVITE Request checking TP_IMS_5097_04
542	*/
543	template INVITE_Request mdw_TP_IMS_5097_04_gm(template SipUrl p_requestUri)
544	modifies mw_INVITE_Request_Base := {
545	requestLine := {
546	requestUri := p_requestUri
547	}
548	}
549
550	/**
551	* @desc INVITE Request checking TP_IMS_5097_04
552	*/
553	template INVITE_Request mdw_TP_IMS_5097_04_ic(template SipUrl p_requestUri)
554	modifies mw_INVITE_Request_Base := {
555	requestLine := {
556	requestUri := p_requestUri
557	},
558	msgHeader := {
559	pChargingVector := {
560	fieldName := P_CHARGING_VECTOR_E,
561	chargeParams := {
562	*,
563	complement({id := "access-network-charging-info", paramValue := ?}),
564	*
565	}
566	}
567
568	}
569	}
570
571	/**
572	*
573	* @desc BYE Request checking TP_IMS_5107_01 on MW
574	*/
575	template BYE_Request mdw_TP_IMS_5107_01_ic(template CallId p_callId, template SipUrl p_SCSCF_SIP_URI)
576	modifies mw_BYE_Request_Base := {
577	msgHeader := {
578	route := {
579	fieldName := ROUTE_E,
580	routeBody := {
581	*,
582	complement(mw_routeBody(p_SCSCF_SIP_URI)),
583	*
584	}
585	}
586	}
587	}
588
589	/**
590	*
591	* @desc ACK Request checking TP_IMS_5107_02 on MW
592	*/
593	template ACK_Request mdw_TP_IMS_5107_02_ic(template CallId p_callId, template SipUrl p_SCSCF_SIP_URI)
594	modifies mw_ACK_Request_Base := {
595	msgHeader := {
596	route := {
597	fieldName := ROUTE_E,
598	routeBody := {
599	*,
600	complement(mw_routeBody(p_SCSCF_SIP_URI)),
601	*
602	}
603	}
604	}
605	}
606
607	/**
608	*
609	* @desc CANCEL Request checking TP_IMS_5107_03 on MW
610	*/
611	template CANCEL_Request mdw_TP_IMS_5107_03_ic (template CallId p_callId, template SipUrl p_SCSCF_SIP_URI)
612	modifies mw_CANCEL_Request_Base := {
613	msgHeader := {
614	route := (
615	omit,
616	{
617	fieldName := ROUTE_E,
618	routeBody := {
619	*,
620	complement(mw_routeBody(p_SCSCF_SIP_URI)),
621	*
622	}
623	}
624	)
625	}
626	}
627
628	/**
629	*
630	* @desc INVITE Request checking TP_IMS_5108_01 on MW
631	*/
632	template INVITE_Request mdw_TP_IMS_5108_01_ic(
633	template SipUrl p_SCSCF_Uri,
634	template GenericParam p_param
635	) modifies mw_INVITE_Request_Base := {
636	msgHeader := {
637	route := (omit,
638	{
639	fieldName := ROUTE_E,
640	routeBody := {
641	*,
642	complement(mw_routeBody(p_SCSCF_Uri)),
643	*
644	}
645	}
646	),
647	recordRoute := {
648	fieldName := RECORD_ROUTE_E,
649	routeBody := {{
650	nameAddr := {
651	displayName := *,
652	addrSpec := p_SCSCF_Uri
653	},
654	rrParam := *
655	}, *}
656	},
657	pChargingVector := {
658	fieldName := P_CHARGING_VECTOR_E,
659	chargeParams := {
660	p_param,
661	*
662	}
663	}
664	}
665	}
666
667	/**
668	*
669	* @desc INVITE Request checking TP_IMS_5108_01_f on MW
670	* ifpresent ioi params than fail
671	*/
672	template INVITE_Request mdw_TP_IMS_5108_01_f_ic
673	modifies mw_INVITE_Request_Base := {
674	msgHeader := {
675	pChargingVector := {
676	fieldName := P_CHARGING_VECTOR_E,
677	chargeParams := {
678	{id := "orig-ioi", paramValue := ?},
679	{id := "term-ioi", paramValue := ?},
680	*
681	}
682	}
683	}
684	}
685
686	/**
687	*
688	* @desc INVITE Request checking TP_IMS_5108_03 on ISC
689	*/
690	template INVITE_Request mdw_TP_IMS_5108_03_isc(
691	template SipUrl p_ASB_Uri,
692	template SipUrl p_SCSCF_Uri
693	) modifies mw_INVITE_Request_Base := {
694	msgHeader := {
695	route := {
696	fieldName := ROUTE_E,
697	routeBody := {
698	{
699	nameAddr := {
700	displayName := *,
701	addrSpec := p_ASB_Uri
702	},
703	rrParam := *
704	},
705	{
706	nameAddr := {
707	displayName := *,
708	addrSpec := p_SCSCF_Uri
709	},
710	rrParam := *
711	},
712	*
713
714	}
715	},
716	pChargingVector := {
717	fieldName := P_CHARGING_VECTOR_E,
718	chargeParams := {
719	{id := "orig-ioi", paramValue := ?},
720	*
721	}
722	}
723	}
724	}
725
726	/**
727	*
728	* @desc INVITE Request checking TP_IMS_5108_03_f on ISC
729	* ifpresent ioi params than fail
730	*/
731	template INVITE_Request mdw_TP_IMS_5108_03_f_isc
732	modifies mw_INVITE_Request_Base := {
733	msgHeader := {
734	pChargingVector := {
735	fieldName := P_CHARGING_VECTOR_E,
736	chargeParams := {
737	{id := "term-ioi", paramValue := *},
738	*
739	}
740	}
741	}
742	}
743
744	/**
745	*
746	* @desc 180 Ringing Response checking TP_IMS_5115_01 on MW
747	*/
748	template Response mdw_TP_IMS_5115_01_ic
749	modifies mw_180Ringing_Base := {
750	msgHeader := {
751	pChargingVector := mw_PChargingVector({
752	{id := "orig-ioi", paramValue := ?},
753	{id := "term-ioi", paramValue := ?},
754	*
755	})
756	}
757	}
758
759	/**
760	*
761	* @desc 200 OK Response checking TP_IMS_5115_02 on MW
762	*/
763	template Response mdw_TP_IMS_5115_02_ic
764	modifies mw_200OK_Base := {
765	msgHeader := {
766	pChargingVector := mw_PChargingVector({
767	{id := "orig-ioi", paramValue := ?},
768	{id := "term-ioi", paramValue := ?},
769	*
770	})
771	}
772	}
773
774	/**
775	*
776	* @desc 180 Ringing Response checking TP_IMS_5115_03 on MW
777	*/
778	template Response mdw_TP_IMS_5115_03_ic(
779	template SipUrl p_SIP_URI,
780	template SipUrl p_TEL_URI)
781	modifies mw_180Ringing_Base := {
782	msgHeader := {
783	pAssertedID := {
784	fieldName := P_ASSERTED_ID_E,
785	pAssertedIDValueList := {
786	*,
787	{ nameAddr := mw_NameAddr(p_SIP_URI)},
788	*,
789	{nameAddr := mw_NameAddr(p_TEL_URI)},
790	*
791	}
792	}
793	}
794	}
795
796	/**
797	*
798	* @desc 200 OK Response checking TP_IMS_5115_04 on MW
799	*/
800	template Response mdw_TP_IMS_5115_04_ic(
801	template SipUrl p_SIP_URI,
802	template SipUrl p_TEL_URI)
803	modifies mw_200OK_Base := {
804	msgHeader := {
805	pAssertedID := {
806	fieldName := P_ASSERTED_ID_E,
807	pAssertedIDValueList := {
808	*,
809	{ nameAddr := mw_NameAddr(p_SIP_URI)},
810	*,
811	{nameAddr := mw_NameAddr(p_TEL_URI)},
812	*
813	}
814	}
815	}
816	}
817
818	/**
819	*
820	* @desc 200 OK Response checking TP_IMS_5115_08 on MW
821	*/
822	template Response mdw_TP_IMS_5115_08_ic
823	modifies mw_200OK_Base := {
824	msgHeader := {
825	pChargingVector := mw_PChargingVector({
826	{id := "orig-ioi", paramValue := ?},
827	{id := "term-ioi", paramValue := ?},
828	*
829	})
830	}
831	}
832
833	/**
834	*
835	* @desc 180 Ringing Response checking TP_IMS_5131_01 on MW
836	*/
837	template Response mdw_TP_IMS_5131_01_ic
838	modifies mw_180Ringing_Base := {
839	msgHeader := {
840	pChargingFunctionAddresses := omit
841	}
842	}
843
844	/**
845	*
846	* @desc 200 OK Response checking TP_IMS_5131_02 on MW
847	*/
848	template Response mdw_TP_IMS_5131_02_ic
849	modifies mw_200OK_Base := {
850	msgHeader := {
851	pChargingFunctionAddresses := omit
852	}
853	}
854
855	/**
856	*
857	* @desc INVITE Request checking TP_IMS_5135_01
858	*/
859	template INVITE_Request mdw_TP_IMS_5135_01_ic (template SipUrl p_ibcfEutAUri)
860	modifies mw_INVITE_Request_Base := {
861	msgHeader := {
862	recordRoute := {
863	fieldName := RECORD_ROUTE_E,
864	routeBody := {mw_routeBody(p_ibcfEutAUri), *}
865	}
866	}
867	}
868
869	/**
870	*
871	* @desc INVITE Request checking TP_IMS_5137_01
872	*/
873	template INVITE_Request mdw_TP_IMS_5137_01_ic (template SipUrl p_ibcfEutAUri)
874	modifies mw_INVITE_Request_Base := {
875	msgHeader := {
876	route := {
877	fieldName := ROUTE_E,
878	routeBody := {
879	mw_routeBodyTH(p_ibcfEutAUri),
880	*
881	}
882	},
883	via := {
884	fieldName := VIA_E,
885	viaBody := {{
886	sentProtocol := *,
887	sentBy := *,
888	viaParams :={{
889	id:="tokenized-by",
890	paramValue := *
891	}}
892	}}
893	},
894	recordRoute := {
895	fieldName := RECORD_ROUTE_E,
896	routeBody := {mw_routeBodyTH(), }
897	}
898	}
899	}
900
901	/**
902	*
903	* @desc 180 Ringing Response checking TP_IMS_5137_02 on MW
904	*/
905	template Response mdw_TP_IMS_5137_02_ic
906	modifies mw_180Ringing_Base := {
907	msgHeader := {
908	via := {
909	fieldName := VIA_E,
910	viaBody := {{
911	sentProtocol := *,
912	sentBy := *,
913	viaParams :={{
914	id:="tokenized-by",
915	paramValue := *
916	}}
917	}}
918	},
919	recordRoute := {
920	fieldName := RECORD_ROUTE_E,
921	routeBody := {mw_routeBodyTH(), }
922	}
923	}
924	}
925
926	/**
927	*
928	* @desc 200 OK Response checking TP_IMS_5137_03 on MW
929	*/
930	template Response mdw_TP_IMS_5137_03_ic
931	modifies mw_200OK_Base := {
932	msgHeader := {
933	via := {
934	fieldName := VIA_E,
935	viaBody := {{
936	sentProtocol := *,
937	sentBy := *,
938	viaParams :={{
939	id:="tokenized-by",
940	paramValue := *
941	}}
942	}}
943	},
944	recordRoute := {
945	fieldName := RECORD_ROUTE_E,
946	routeBody := {mw_routeBodyTH(), }
947	}
948	}
949	}
950
951	/**
952	*
953	* @desc BYE Request checking TP_IMS_5139_01 on MW
954	*/
955	template BYE_Request mdw_TP_IMS_5139_01_ic(
956	template CallId p_callId,
957	template SipUrl p_UE_URI,
958	template To p_to,
959	template From p_from,
960	template CSeq p_cSeq,
961	template Route p_route
962	) modifies mw_BYE_Request_Base := {
963	requestLine := {
964	requestUri := p_UE_URI
965	},
966	msgHeader := {
967	callId := p_callId,
968	cSeq := p_cSeq,
969	fromField := p_from,
970	reason := ?,
971	route := p_route,
972	toField := p_to
973	}
974	}
975
976
977	/**
978	*
979	* @desc BYE Request checking TP_IMS_5301_01 on MW
980	*/
981	template BYE_Request mdw_TP_IMS_5301_01_ic(template CallId p_callId, template SipUrl p_SCSCF_SIP_URI)
982	modifies mw_BYE_Request_Base := {
983	msgHeader := {
984	route := {
985	fieldName := ROUTE_E,
986	routeBody := {
987	*,
988	complement(mw_routeBody(p_SCSCF_SIP_URI)),
989	*
990	}
991	},
992	recordRoute := {
993	fieldName := RECORD_ROUTE_E,
994	routeBody := {mw_routeBody(p_SCSCF_SIP_URI), *}
995	}
996	}
997	}
998
999	/**
1000	*
1001	* @desc 180 Ringing Response checking TP_IMS_5308_01 on GM
1002	*/
1003	template Response mdw_TP_IMS_5308_01_gm
1004	modifies mw_180Ringing_Base := {
1005	msgHeader := {
1006	pChargingFunctionAddresses := ?
1007	}
1008	}
1009
1010	/**
1011	*
1012	* @desc 180 Ringing Response checking TP_IMS_5308_01 on ISC
1013	*/
1014	template Response mdw_TP_IMS_5308_01_isc
1015	modifies mw_180Ringing_Base := {
1016	msgHeader := {
1017	pChargingFunctionAddresses :=?
1018	}
1019	}
1020
1021	/**
1022	*
1023	* @desc 200 OK Response checking TP_IMS_5308_02 on GM
1024	*/
1025	template Response mdw_TP_IMS_5308_02_gm
1026	modifies mw_200OK_Base := {
1027	msgHeader := {
1028	pChargingFunctionAddresses := ?
1029	}
1030	}
1031
1032	/**
1033	*
1034	* @desc 200 OK Response checking TP_IMS_5308_02 on ISC
1035	*/
1036	template Response mdw_TP_IMS_5308_02_isc
1037	modifies mw_200OK_Base := {
1038	msgHeader := {
1039	pChargingFunctionAddresses := ?
1040	}
1041	}
1042
1043	/**
1044	*
1045	* @desc INVITE Request checking TP_IMS_5310_01 on GM
1046	*/
1047	template INVITE_Request mdw_TP_IMS_5310_01_gm
1048	modifies mw_INVITE_Request_Base := {
1049	msgHeader := {
1050	pChargingVector := mw_PChargingVector({
1051	{id := "access-network-charging-info", paramValue := ?},
1052	*
1053	})
1054	}
1055	}
1056
1057	/**
1058	*
1059	* @desc INVITE Request checking TP_IMS_5310_01 on AS
1060	*/
1061	template INVITE_Request mdw_TP_IMS_5310_01_isc
1062	modifies mw_INVITE_Request_Base := {
1063	msgHeader := {
1064	pChargingVector := mw_PChargingVector({
1065	{id := "access-network-charging-info", paramValue := ?},
1066	*
1067	})
1068	}
1069	}
1070
1071	/**
1072	*
1073	* @desc 200 OK Response checking TP_IMS_5312_01 on MW
1074	*/
1075	template Response mdw_TP_IMS_5312_01_ic
1076	modifies mw_200OK_Base := {
1077	msgHeader := {
1078	pChargingVector := mw_PChargingVector({
1079	{id := "access-network-charging-info", paramValue := ?},
1080	*
1081	})
1082	}
1083	}
1084	/**
1085	*
1086	* @desc 200 OK Response checking TP_IMS_5312_01 on AS
1087	*/
1088	template Response mdw_TP_IMS_5312_01_isc
1089	modifies mw_200OK_Base := {
1090	msgHeader := {
1091	pChargingVector := mw_PChargingVector({
1092	{id := "access-network-charging-info", paramValue := ?},
1093	*
1094	})
1095	}
1096	}
1097
1098	/**
1099	*
1100	* @desc 433 Anonymity Disallowe Response checking TP_IMS_5313_01 on MW
1101	*/
1102	template Response mdw_TP_IMS_5313_01_ic
1103	modifies mw_433Anony_Base := {
1104	msgHeader := {
1105	pChargingVector := mw_PChargingVector({
1106	{id := "access-network-charging-info", paramValue := ?},
1107	*
1108	})
1109	}
1110	}
1111
1112	/**
1113	*
1114	* @desc 433 Anonymity Disallowe Response checking TP_IMS_5313_01 on AS
1115	*/
1116	template Response mdw_TP_IMS_5313_01_isc
1117	modifies mw_433Anony_Base := {
1118	msgHeader := {
1119	pChargingVector := mw_PChargingVector({
1120	{id := "access-network-charging-info", paramValue := ?},
1121	*
1122	})
1123	}
1124	}
1125
1126	/**
1127	*
1128	* @desc INVITE Request checking TP_IMS_5404_01 on GM
1129	*/
1130	template INVITE_Request mdw_TP_IMS_5404_01_gm
1131	modifies mw_INVITE_Request_Base := {
1132	msgHeader := {
1133	pChargingFunctionAddresses := ?
1134	}
1135	}
1136
1137	/**
1138	*
1139	* @desc INVITE Request checking TP_IMS_5404_01 on MW
1140	*/
1141	template INVITE_Request mdw_TP_IMS_5404_01_ic
1142	modifies mw_INVITE_Request_Base := {
1143	msgHeader := {
1144	pChargingFunctionAddresses := omit
1145	}
1146	}
1147
1148	/**
1149	*
1150	* @desc ACK Request checking TP_IMS_5408_01 on MW
1151	*/
1152	template ACK_Request mdw_TP_IMS_5408_01_ic(template CallId p_callId, template SipUrl p_IBCF_SIP_URI)
1153	modifies mw_ACK_Request_Base := {
1154	msgHeader := {
1155	route := {
1156	fieldName := ROUTE_E,
1157	routeBody := {
1158	mw_routeBodyTH(p_IBCF_SIP_URI),
1159	*
1160	}
1161	},
1162	via := {
1163	fieldName := VIA_E,
1164	viaBody := {{
1165	sentProtocol := *,
1166	sentBy := *,
1167	viaParams :={{
1168	id:="tokenized-by",
1169	paramValue := *
1170	}}
1171	}}
1172	}
1173	}
1174	}
1175
1176	/**
1177	*
1178	* @desc BYE Request checking TP_IMS_5408_02 on MW
1179	*/
1180	template CANCEL_Request mdw_TP_IMS_5408_02_ic(template CallId p_callId, template SipUrl p_IBCF_SIP_URI)
1181	modifies mw_CANCEL_Request_Base := {
1182	msgHeader := {
1183	route := {
1184	fieldName := ROUTE_E,
1185	routeBody := {
1186	mw_routeBodyTH(p_IBCF_SIP_URI),
1187	*
1188	}
1189	},
1190	via := {
1191	fieldName := VIA_E,
1192	viaBody := {{
1193	sentProtocol := *,
1194	sentBy := *,
1195	viaParams :={{
1196	id:="tokenized-by",
1197	paramValue := *
1198	}}
1199	}}
1200	},
1201	recordRoute := {
1202	fieldName := RECORD_ROUTE_E,
1203	routeBody := {mw_routeBodyTH(), }
1204	}
1205	}
1206	}
1207
1208	/**
1209	*
1210	* @desc BYE Request checking TP_IMS_5408_03 on MW
1211	*/
1212	template BYE_Request mdw_TP_IMS_5408_03_ic(template CallId p_callId, template SipUrl p_IBCF_SIP_URI)
1213	modifies mw_BYE_Request_Base := {
1214	msgHeader := {
1215	route := {
1216	fieldName := ROUTE_E,
1217	routeBody := {
1218	mw_routeBodyTH(p_IBCF_SIP_URI),
1219	*
1220	}
1221	},
1222	via := {
1223	fieldName := VIA_E,
1224	viaBody := {{
1225	sentProtocol := *,
1226	sentBy := *,
1227	viaParams :={{
1228	id:="tokenized-by",
1229	paramValue := *
1230	}}
1231	}}
1232	},
1233	recordRoute := {
1234	fieldName := RECORD_ROUTE_E,
1235	routeBody := {mw_routeBodyTH(), }
1236	}
1237	}
1238	}
1239
1240	/**
1241	*
1242	* @desc INVITE Request checking TP_IMS_5408_04
1243	*/
1244	template INVITE_Request mdw_TP_IMS_5408_04_ic (template SipUrl p_ibcfEutAUri)
1245	modifies mw_INVITE_Request_Base := {
1246	msgHeader := {
1247	route := {
1248	fieldName := ROUTE_E,
1249	routeBody := {
1250	mw_routeBodyTH(p_ibcfEutAUri),
1251	*
1252	}
1253	},
1254	via := {
1255	fieldName := VIA_E,
1256	viaBody := {{
1257	sentProtocol := *,
1258	sentBy := *,
1259	viaParams :={{
1260	id:="tokenized-by",
1261	paramValue := *
1262	}}
1263	}}
1264	},
1265	recordRoute := {
1266	fieldName := RECORD_ROUTE_E,
1267	routeBody := {mw_routeBodyTH(), }
1268	}
1269	}
1270	}
1271
1272	/**
1273	*
1274	* @desc INVITE Request checking TP_IMS_5097_09
1275	*/
1276	template INVITE_Request mdw_TP_IMS_5097_09_isc (template SipUrl p_EutB_ASUri)
1277	modifies mw_INVITE_Request_Base := {
1278	msgHeader := {
1279	route := {
1280	fieldName := ROUTE_E,
1281	routeBody := {mw_routeBody(p_EutB_ASUri), *}
1282	},
1283	pChargingFunctionAddresses := ?,
1284	pChargingVector := mw_PChargingVector({
1285	{id := "orig-ioi", paramValue := *}, // NOTE indicating also operator identifier for IMSA
1286	*
1287	})
1288	}
1289	}
1290
1291	/**
1292	* @desc INVITE Request checking TP_IMS_5097_09 false
1293	*/
1294	template INVITE_Request mdw_TP_IMS_5097_09_f_isc
1295	modifies mw_INVITE_Request_Base := {
1296
1297	msgHeader := {
1298	pChargingVector := {
1299	fieldName := P_CHARGING_VECTOR_E,
1300	chargeParams := {
1301	{id := "term-ioi", paramValue := *},
1302	*
1303	}
1304	}
1305	}
1306	}
1307
1308	template MESSAGE_Request mdw_TP_IMS_5097_05_p_ic(
1309	template CallId p_callId
1310	) modifies mw_MESSAGE_Request_Base := {
1311	msgHeader := {
1312	pChargingVector := {
1313	fieldName := P_CHARGING_VECTOR_E,
1314	chargeParams := {
1315	{id := "icid-value", paramValue := ?},
1316	{id := "orig-ioi", paramValue := ?},
1317	*
1318	}
1319	},
1320	pAccessNetworkInfo := omit
1321	}
1322	}
1323
1324	template MESSAGE_Request mdw_TP_IMS_5097_05_f2_ic(
1325	template CallId p_callId,
1326	template SipUrl p_SCSCF_SIP_URI
1327	) modifies mw_MESSAGE_Request_Base := {
1328	msgHeader := {
1329	route := {
1330	fieldName := ROUTE_E,
1331	routeBody := {
1332	mw_routeBody(p_SCSCF_SIP_URI),
1333	*
1334	}
1335	}
1336	}
1337	}
1338
1339	template MESSAGE_Request mdw_TP_IMS_5097_05_f_ic(
1340	template CallId p_callId
1341	) modifies mw_MESSAGE_Request_Base := {
1342	msgHeader := {
1343	pChargingVector := {
1344	fieldName := P_CHARGING_VECTOR_E,
1345	chargeParams := {
1346	{id := "term-ioi", paramValue := ?},
1347	{id := "access-network-charging-info", paramValue := ?},
1348	*
1349	}
1350	}
1351	}
1352	}
1353
1354	template MESSAGE_Request mdw_TP_IMS_5097_08_gm(
1355	template CallId p_callId
1356	) modifies mw_MESSAGE_Request_Base := {
1357	requestLine := { requestUri := mw_TEL_URI_Base }
1358	}
1359
1360	template MESSAGE_Request mdw_TP_IMS_5097_08_ic(
1361	template CallId p_callId
1362	) modifies mw_MESSAGE_Request_Base := {
1363	requestLine := {
1364	requestUri := mw_SIP_URI_Base
1365	},
1366	msgHeader := {
1367	pChargingVector := {
1368	fieldName := P_CHARGING_VECTOR_E,
1369	chargeParams := {
1370	complement({id := "access-network-charging-info", paramValue := ?}),
1371	*
1372	}
1373	}
1374	}
1375	}
1376
1377	template MESSAGE_Request mdw_TP_IMS_5097_07_ic(
1378	template CallId p_callId,
1379	template SipUrl p_SIP_URI,
1380	template SipUrl p_TEL_URI)
1381	modifies mw_MESSAGE_Request_Base := {
1382	msgHeader := {
1383	pAssertedID := {
1384	fieldName := P_ASSERTED_ID_E,
1385	pAssertedIDValueList := {
1386	({nameAddr := mw_NameAddr(p_SIP_URI)}, {addrSpecUnion := mw_SIP_URI_Base}),
1387	({nameAddr := mw_NameAddr(p_TEL_URI)}, {addrSpecUnion := mw_TEL_URI_Base}),
1388	*
1389	}
1390	}
1391	}
1392	}
1393
1394	template MESSAGE_Request mdw_TP_IMS_5108_02a_ic(
1395	template CallId p_callId
1396	) modifies mw_MESSAGE_Request_Base := {
1397	msgHeader := {
1398	pChargingVector := {
1399	fieldName := P_CHARGING_VECTOR_E,
1400	chargeParams := {
1401	{id := "icid-value", paramValue := ?},
1402	*
1403	}
1404	}
1405	}
1406	}
1407
1408	template MESSAGE_Request mdw_TP_IMS_5108_02b_p_ic(
1409	template CallId p_callId,
1410	template SipUrl p_SCSCF_Uri,
1411	template GenericParam p_param
1412	) modifies mw_MESSAGE_Request_Base := {
1413	msgHeader := {
1414	route := omit, // TODO TP is not clear please double check
1415	recordRoute := {
1416	fieldName := RECORD_ROUTE_E,
1417	routeBody := {{
1418	nameAddr := {
1419	displayName := *,
1420	addrSpec := p_SCSCF_Uri
1421	},
1422	rrParam := *
1423	}}
1424	},
1425	pChargingVector := {
1426	fieldName := P_CHARGING_VECTOR_E,
1427	chargeParams := {
1428	p_param,
1429	*
1430	}
1431	}
1432	}
1433	}
1434
1435	template MESSAGE_Request mdw_TP_IMS_5108_02b_f_ic(
1436	template CallId p_callId
1437	) modifies mw_MESSAGE_Request_Base := {
1438	msgHeader := {
1439	pChargingVector := {
1440	fieldName := P_CHARGING_VECTOR_E,
1441	chargeParams := {
1442	{id := "orig-ioi", paramValue := ?},
1443	{id := "term-ioi", paramValue := ?},
1444	*
1445	}
1446	}
1447	}
1448	}
1449
1450
1451	/**
1452	* @desc INVITE Request checking TP_IMS_5120_01
1453	*/
1454	template INVITE_Request mdw_TP_IMS_5120_01_ic(
1455	template SipUrl p_SCSCF_URI
1456	) modifies mw_INVITE_Request_Base := {
1457	msgHeader := {
1458	route := {
1459	fieldName := ROUTE_E,
1460	routeBody := {
1461	complement(mw_routeBody(p_SCSCF_URI)),
1462	*
1463	}
1464	},
1465	recordRoute := {
1466	fieldName := RECORD_ROUTE_E,
1467	routeBody := {
1468	mw_routeBody(p_SCSCF_URI),
1469	*
1470	}
1471	}
1472	}
1473	}
1474
1475	template Response mw_TP_IMS_5121_02_ic modifies mdw_2XX_Base := {
1476	msgHeader := {
1477	pChargingVector := {
1478	fieldName := P_CHARGING_VECTOR_E,
1479	chargeParams := {
1480	complement({id := "access-network-charging-info", paramValue := ?}),
1481	*
1482	}
1483	}
1484	}
1485	}
1486
1487	template Response mw_TP_IMS_5117_02_ic modifies mdw_2XX_Base := {
1488	msgHeader := {
1489	pChargingVector := {
1490	fieldName := P_CHARGING_VECTOR_E,
1491	chargeParams := {
1492	complement({id := "access-network-charging-info", paramValue := ?}),
1493	*
1494	}
1495	}
1496	}
1497	}
1498
1499	template Response mw_TP_IMS_5117_06_ic modifies mdw_2XX_Base := {
1500	msgHeader := {
1501	pAssertedID := {
1502	fieldName := P_ASSERTED_ID_E,
1503	pAssertedIDValueList := {
1504	{nameAddr := mw_NameAddr(mw_SIP_URI_Base)},
1505	{nameAddr := mw_NameAddr(mw_TEL_URI_Base)},
1506	*
1507	}
1508	}
1509	}
1510	}
1511
1512	template Response mw_TP_IMS_5118_01_ic modifies mw_200OK_Base := {
1513	msgHeader := {
1514	pChargingVector := {
1515	fieldName := P_CHARGING_VECTOR_E,
1516	chargeParams := {
1517	{id := "orig-ioi", paramValue := ?},
1518	{id := "term-ioi", paramValue := ?},
1519	*
1520	}
1521	}
1522	}
1523	}
1524
1525	template MESSAGE_Request mdw_TP_IMS_5050_01_ic(
1526	template CallId p_callId,
1527	template SipUrl p_PCSCF_URI,
1528	template SipUrl p_UE_A_URI
1529	) modifies mw_MESSAGE_Request_Base := {
1530	msgHeader := {
1531	route := {
1532	fieldName := ROUTE_E,
1533	routeBody := {
1534	{
1535	nameAddr := {
1536	displayName := *,
1537	addrSpec := complement(p_PCSCF_URI)
1538	},
1539	rrParam := *
1540	},*
1541	}
1542	},
1543	pPreferredID := omit,
1544	pAssertedID := mw_PAssertedID(mw_PAssertedIDValue(p_UE_A_URI)),
1545	pChargingVector := {
1546	fieldName := P_CHARGING_VECTOR_E,
1547	chargeParams := {
1548	{id := "icid-value", paramValue := ?},
1549	*
1550	}
1551	}
1552	}
1553	}
1554
1555	template Response mdw_2XX_Base modifies m_Response_Dummy := {
1556	statusLine := {c_sipNameVersion, (200..299), *},
1557	msgHeader := ?,
1558	messageBody := *,
1559	payload := *
1560	}
1561
1562	template Response mw_100Trying_Base modifies m_Response_Dummy :=
1563	{
1564	statusLine := c_statusLine100,
1565	msgHeader := ?,
1566	messageBody := *,
1567	payload := *
1568	}
1569
1570	template Response mw_180Ringing_Base modifies m_Response_Dummy :=
1571	{
1572	statusLine := c_statusLine180,
1573	msgHeader := ?,
1574	messageBody := *,
1575	payload := *
1576	}
1577	template Response mw_200OK_Base modifies m_Response_Dummy :=
1578	{
1579	statusLine := c_statusLine200,
1580	msgHeader := ?,
1581	messageBody := *,
1582	payload := *
1583	}
1584	template Response mw_202Accepted_Base modifies m_Response_Dummy :=
1585	{
1586	statusLine := c_statusLine202,
1587	msgHeader := ?,
1588	messageBody := *,
1589	payload := *
1590	}
1591	template Response mw_401Unauthorized_Base modifies m_Response_Dummy :=
1592	{
1593	statusLine := {c_sipNameVersion, 401, ?},
1594	msgHeader := ?,
1595	messageBody := *,
1596	payload := *
1597	}
1598
1599	template Response mdw_4XX_Base modifies m_Response_Dummy :=
1600	{
1601	statusLine := {c_sipNameVersion, (400..499), *},
1602	msgHeader := ?,
1603	messageBody := *,
1604	payload := *
1605	}
1606	template Response mw_403Forbidden_Base modifies m_Response_Dummy :=
1607	{
1608	statusLine := {c_sipNameVersion, 403, ?},
1609	msgHeader := ?,
1610	messageBody := *,
1611	payload := *
1612	}
1613
1614	template Response mw_404NotFound_Base modifies m_Response_Dummy :=
1615	{
1616	statusLine := {c_sipNameVersion, 404, ?},
1617	msgHeader := ?,
1618	messageBody := *,
1619	payload := *
1620	}
1621
1622	template Response mdw_404Or604NotFound_Base modifies m_Response_Dummy :=
1623	{
1624	statusLine := ({c_sipNameVersion, 404, ?}, {c_sipNameVersion, 604, ?}),
1625	msgHeader := ?,
1626	messageBody := *,
1627	payload := *
1628	}
1629
1630	template Response mdw_408Or5XX_Base modifies m_Response_Dummy :=
1631	{
1632	statusLine := {c_sipNameVersion, (408,(500..599)), *},
1633	msgHeader := ?,
1634	messageBody := *,
1635	payload := *
1636	}
1637
1638	template Response mw_433Anony_Base modifies m_Response_Dummy :=
1639	{
1640	statusLine := c_statusLine433,
1641	msgHeader := ?,
1642	messageBody := *,
1643	payload := *
1644	}
1645
1646	template REGISTER_Request mdw_TP_IMS_5088_01_gm modifies mw_REGISTER_Request_Base := {
1647	msgHeader := {authorization := m_Authorization(mw_credentialIntegrityYes)}
1648	}
1649
1650	template NOTIFY_Request mdw_TP_IMS_5088_01_ic(template CallId p_callId, template SipUrl p_PCSCF_SIP_URI) modifies mw_NOTIFY_Request_Base := {
1651	requestLine := { requestUri := p_PCSCF_SIP_URI },
1652	msgHeader := {
1653	event := {
1654	fieldName := EVENT_E,
1655	eventType := pattern "reg",
1656	eventParams := *},
1657	route := ? }, // TODO route header indicating the original Route_header from SUBSCRIBE (SUBSCRIBE not defined in the test description)
1658	messageBody := ? // TODO
1659	}
1660
1661	template NOTIFY_Request mdw_TP_IMS_5093_01_UE_ic(template CallId p_callId, template SipUrl p_UE_SIP_URI) modifies mw_NOTIFY_Request_Base := {
1662	requestLine := { requestUri := p_UE_SIP_URI },
1663	msgHeader := {
1664	event := {
1665	fieldName := EVENT_E,
1666	eventType := pattern "reg",
1667	eventParams := *},
1668	route := ? }, // TODO route header indicating the original Route_header from SUBSCRIBE (SUBSCRIBE not defined in the test description)
1669	messageBody := ? // TODO
1670	}
1671
1672	template NOTIFY_Request mdw_TP_IMS_5093_01_IMS_ic(template CallId p_callId, template SipUrl p_PCSCF_SIP_URI) modifies mw_NOTIFY_Request_Base := {
1673	requestLine := { requestUri := p_PCSCF_SIP_URI },
1674	msgHeader := {
1675	event := {
1676	fieldName := EVENT_E,
1677	eventType := pattern "reg",
1678	eventParams := *},
1679	route := ? }, // TODO route header indicating the original Route_header from SUBSCRIBE (SUBSCRIBE not defined in the test description)
1680	messageBody := ? // TODO
1681	}
1682
1683	template NOTIFY_Request mdw_TP_IMS_5094_01_UE(template CallId p_callId, template SipUrl p_UE_SIP_URI) modifies mw_NOTIFY_Request_Base := {
1684	requestLine := { requestUri := p_UE_SIP_URI },
1685	msgHeader := {
1686	event := {
1687	fieldName := EVENT_E,
1688	eventType := pattern "reg",
1689	eventParams := *},
1690	route := ? }, // TODO route header indicating the original Route_header from SUBSCRIBE (SUBSCRIBE not defined in the test description)
1691	messageBody := ? // TODO
1692	}
1693
1694	template NOTIFY_Request mdw_TP_IMS_5094_01_IMS_ic(template CallId p_callId, template SipUrl p_PCSCF_SIP_URI) modifies mw_NOTIFY_Request_Base := {
1695	requestLine := { requestUri := p_PCSCF_SIP_URI },
1696	msgHeader := {
1697	event := {
1698	fieldName := EVENT_E,
1699	eventType := pattern "reg",
1700	eventParams := *},
1701	route := ? }, // TODO route header indicating the original Route_header from SUBSCRIBE (SUBSCRIBE not defined in the test description)
1702	messageBody := ? // TODO
1703	}
1704
1705
1706	/**
1707	* @desc INVITE Request checking TP_IMS_5106_01
1708	*/
1709	template INVITE_Request mdw_TP_IMS_5106_01_ic(
1710	template SipUrl p_SCSCF_URI
1711	) modifies mw_INVITE_Request_Base := {
1712	msgHeader := {
1713	route := {
1714	fieldName := ROUTE_E,
1715	routeBody := {
1716	complement(mw_routeBody(p_SCSCF_URI)),
1717	*
1718	}
1719	},
1720	recordRoute := {
1721	fieldName := RECORD_ROUTE_E,
1722	routeBody := {
1723	mw_routeBody(p_SCSCF_URI),
1724	*
1725	}
1726	},
1727	pAccessNetworkInfo := omit,
1728	pChargingVector := mw_PChargingVector({
1729	{id := "icid-value", paramValue := *},
1730	*
1731	})
1732	}
1733	}
1734
1735	/**
1736	* @desc VYE Request checking TP_IMS_5074_01
1737	*/
1738	template BYE_Request mdw_TP_IMS_5074_01_ic(
1739	template CallId p_callId,
1740	template SipUrl p_UE_URI // must be the IP address
1741	) modifies mw_BYE_Request_Base := {
1742	requestLine := {
1743	requestUri := p_UE_URI
1744	},
1745	msgHeader := {
1746	toField := ?,
1747	fromField := ?,
1748	cSeq := ?,
1749	route := ?,
1750	reason := {
1751	fieldName := REASON_E,
1752	reasonValues := {
1753	{
1754	token := "503 Service Unavailable",
1755	reasonParams := *
1756	},
1757	*
1758	}
1759	}
1760	}
1761	}
1762
1763
1764	/**
1765	* @desc UPDATE Request checking TP_IMS_5106_02
1766	*/
1767	template UPDATE_Request mdw_TP_IMS_5106_02_p_ic(
1768	template CallId p_callId,
1769	template SipUrl p_SCSCF_URI
1770	) modifies mw_UPDATE_Request_Base := {
1771	msgHeader := {
1772	route := {
1773	fieldName := ROUTE_E,
1774	routeBody := *
1775	},
1776	recordRoute := {
1777	fieldName := RECORD_ROUTE_E,
1778	routeBody := {
1779	*,
1780	mw_routeBody(p_SCSCF_URI),
1781	*
1782	}
1783	},
1784	pChargingVector := mw_PChargingVector({
1785	{id := "icid-value", paramValue := *},
1786	*
1787	})
1788	}
1789	}
1790
1791
1792	template UPDATE_Request mdw_TP_IMS_5106_02_f_ic(
1793	template CallId p_callId,
1794	template SipUrl p_SCSCF_URI
1795	) modifies mw_UPDATE_Request_Base := {
1796	msgHeader := {
1797	route := {
1798	fieldName := ROUTE_E,
1799	routeBody := {
1800	mw_routeBody(p_SCSCF_URI),
1801	*
1802	}
1803	}
1804	}
1805	}
1806
1807	}//end group
1808	group HeaderTemplates {
1809
1810	template Path mw_PathDef (charstring p_Host) := {
1811	fieldName := PATH_E,
1812	pathValues := {{
1813	nameAddr:= {
1814	displayName := *,
1815	addrSpec := {
1816	scheme := "sip",
1817	userInfo := *,
1818	hostPort := {
1819	host := p_Host,
1820	portField := *},
1821	urlParameters := *,
1822	headers := omit}
1823	},
1824	rrParam := omit
1825	}}
1826	} // template
1827
1828	template Require mw_Require (template OptionTag_List p_optionsList) := {
1829	fieldName := REQUIRE_E,
1830	optionsTags := p_optionsList
1831	} // template
1832
1833	template PChargingVector mw_PChargingVector (template SemicolonParam_List p_List) := {
1834	fieldName := P_CHARGING_VECTOR_E,
1835	chargeParams := p_List
1836	} // template
1837
1838	template ServiceRoute mw_ServiceRoute (template SipUrl p_eutAddr) := {
1839	fieldName := SERVICE_ROUTE_E,
1840	routeBody := {
1841	{
1842	nameAddr := {
1843	displayName := *,
1844	addrSpec := p_eutAddr
1845	},
1846	rrParam := *
1847	},
1848	*
1849	}
1850	} // template
1851
1852
1853
1854	template PVisitedNetworkID mw_PVisitedNetworkIDAny := {
1855	fieldName := P_VISITED_NETWORK_E,
1856	vNetWorkSpec := ?
1857	} // template
1858
1859	template PAssociatedURI mw_PAssociatedURI (template SemicolonParam_List p_SemicolonParam_List):=
1860	{
1861	fieldName := P_ASSOCIATED_URI_E,
1862	nameAddrList:= {
1863	{nameAddr := *,
1864	genericParams := p_SemicolonParam_List
1865	},
1866	*
1867	}
1868	}
1869	template WwwAuthenticate mw_WwwAuthenticate := {
1870	fieldName := WWW_AUTHENTICATE_E,
1871	challenge := {
1872	digestCln := { //{id := "username", paramValue := ?},
1873	{id := "realm", paramValue := ?}, // TODO containing operator ID
1874	{id := "nonce", paramValue := ?},
1875	{id := "rand", paramValue := ?},
1876	{id := "autn", paramValue := ?},
1877	{id := "ik", paramValue := ?},
1878	{id := "ck", paramValue := ?},
1879	{id := "algorithm", paramValue := "AKAv1-MD5"},
1880	*}
1881
1882	}
1883	} // template
1884
1885
1886	} // end group HeaderTemplates
1887
1888	group AuxiliaryInformationElementTemplates {
1889
1890	template Credentials mw_credentialIntegrityYes := {
1891	otherResponse := {authScheme := ?, authParams := { {"integrity-protected", "yes"},*} // TODO
1892	}}
1893	template Credentials mw_credentialIntegrityNo := {
1894	otherResponse := {authScheme := ?, authParams := { {"integrity-protected", "no"},*} // TODO
1895	}}
1896
1897	template RouteBody mw_routeBodyTH (template SipUrl p_sipurl):= {
1898	nameAddr :=
1899	{
1900	displayName := *,
1901	addrSpec := p_sipurl
1902	},
1903	rrParam := {{
1904	id:="tokenized-by",
1905	paramValue := *
1906	}}
1907	}
1908
1909	template NameAddr mw_NameAddr(template SipUrl p_URI) := {
1910	displayName := *,
1911	addrSpec := p_URI
1912	}
1913
1914	template SipUrl mw_SIP_URI_Base := {
1915	scheme := "sip", // meaning "not tel"
1916	userInfo := ?,
1917	hostPort := ?,
1918	urlParameters := *,
1919	headers := *
1920	}
1921
1922	template SipUrl mw_TEL_URI_Base := {
1923	scheme := "tel",
1924	userInfo := ?,
1925	hostPort := *,
1926	urlParameters := *,
1927	headers := *
1928	}
1929
1930	} //end group
1931
1932	group adapterTemplates {
1933
1934	template GeneralConfigurationReq m_generalConfigurationReq_offline := {
1935	captureProcessIpAddress := "127.0.0.1",
1936	captureProcessPort := 5501,
1937	captureMode := {
1938	offlineCapture := {
1939	offset := PX_IOT_TIMESTAMP_OFFSET,
1940	captureSource := {
1941	sessionsPath := PX_IOT_PCAP_SESSIONS_PATH,
1942	mergeFileList := {
1943	mergeFileList := { },
1944	mergeFilePath := "",
1945	mergeToolPath := ""
1946	}
1947	}
1948	}
1949	},
1950	eutInfoList := omit
1951	}
1952	template GeneralConfigurationReq m_generalConfigurationReq_online := {
1953	captureProcessIpAddress := "127.0.0.1",
1954	captureProcessPort := 5501,
1955	captureMode := {
1956	liveCpature := {
1957	physicalInterfaces := {
1958	PX_IOT_IFACES
1959	},
1960	recordMode := PX_IOT_RECORD_MODE
1961	}
1962	},
1963	eutInfoList := PX_IOT_EUTs_IFACE_INFO_LIST
1964	}
1965	template GeneralConfigurationReq m_generalConfigurationReq_merge := {
1966	captureProcessIpAddress := "127.0.0.1",
1967	captureProcessPort := 5501,
1968	captureMode := {
1969	offlineCapture := {
1970	offset := PX_IOT_TIMESTAMP_OFFSET,
1971	captureSource := {
1972	sessionsPath := "",
1973	mergeFileList := {
1974	mergeFileList := PX_IOT_FILE_MERGE_LIST,
1975	mergeFilePath := PX_IOT_FILE_MERGE_PATH,
1976	mergeToolPath := PX_IOT_MERGE_TOOL_PATH
1977	}
1978	}
1979	}
1980	},
1981	eutInfoList := omit
1982	}
1983	template GeneralConfigurationRsp m_generalConfigurationRsp_success := {
1984	status := {
1985	code := e_success,
1986	reason := *
1987	}
1988	}
1989	template GeneralConfigurationRsp m_generalConfigurationRsp_timeout := {
1990	status := {
1991	code := e_timeout,
1992	reason := *
1993	}
1994	}
1995	template GeneralConfigurationRsp m_generalConfigurationRsp_error := {
1996	status := {
1997	code := e_error,
1998	reason := *
1999	}
2000	}
2001	template GeneralConfigurationRsp m_generalConfigurationRsp_any := {
2002	status := {
2003	code := *,
2004	reason := *
2005	}
2006	}
2007	template StartTrafficCaptureReq m_startTrafficCaptureReq := {
2008	}
2009	template StartTrafficCaptureRsp m_startTrafficCaptureRsp_any := {
2010	status := {
2011	code := *,
2012	reason := *
2013	}
2014	}
2015	template StopTrafficCaptureReq m_stopTrafficCaptureReq :={
2016	}
2017	template StopTrafficCaptureRsp m_stopTrafficCaptureRsp_any := {
2018	status := {
2019	code := *,
2020	reason := *
2021	}
2022	}
2023
2024	template SetFilterReq m_setFilterReq (ProtocolFilter p_proto, IpAddress p_addr1,
2025	IpAddress p_addr2, UInt16 p_port) :={
2026	protocol := p_proto,
2027	interfaceInfos := {
2028	{
2029	IpInterfaceInfo := {
2030	{
2031	domainName := omit,
2032	IpAddress := p_addr1,
2033	portNumbers := { p_port }
2034	},
2035	{
2036	domainName := omit,
2037	IpAddress := p_addr2,
2038	portNumbers := { p_port }
2039	}
2040	}
2041	}
2042	}
2043	}
2044
2045	template SetFilterRsp m_setFilterRspAny := {
2046	status := {
2047	code := *,
2048	reason := *
2049	}
2050	}
2051	} // adapterTemplates
2052
2053	}//end module
2054

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format