Newer
Older
"ETSI TS 124 229 [1], Clauses 5.1.5 and 6.1"
Config Id CF_VxLTE_INT
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_A and
the UE_B entity isRegisteredTo the IMS_B
}
Expected behaviour
ensure that {
when {
the IMS_P_CSCF_B entity receives a 200_Ok containing
From indicating value PX_UE_A_SIP_URI,
To indicating value PX_UE_B_SIP_URI,
CallId indicating value PX_UE_A_CALLID,
Via indicating value PX_UE_A_VIA,
Route indicating value PX_UE_A_SERVICE_ROUTE;
}
then {
the IMS_P_CSCF_B entity sends a 200_Ok containing
From indicating value PX_UE_A_SIP_URI,
To indicating value PX_UE_B_SIP_URI,
CallId indicating value PX_UE_A_CALLID,
Via indicating value PX_UE_A_VIA,
Route indicating value PX_UE_A_SERVICE_ROUTE,
not PChargingVector,
not PChargingFunctionAddresses,
not PPreferredIdentity;
to the UE_B entity
}
}
} // End of TP_GM_PCSCF_200OK_02
Test Purpose {
TP Id TP_GM_PCSCF_200OK_BYE_03
Test objective "Verify that the P-CSCF successfully processes a 200 (OK) BYE (Network initiated)."
"ETSI TS 124 229 [1], Clauses 5.1.5 and 6.1"
2051
2052
2053
2054
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
Config Id CF_VxLTE_INT
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_A and
the UE_B entity isRegisteredTo the IMS_B
}
Expected behaviour
ensure that {
when {
the IMS_P_CSCF_A entity receives a 200_Ok
}
then {
the IMS_P_CSCF_A entity sends a 200_Ok containing
not PChargingVector,
not PChargingFunctionAddresses,
not PPreferredIdentity;
}
}
} // End of TP_GM_PCSCF_200OK_03
Test Purpose {
TP Id TP_GM_PCSCF_200OK_BYE_04
Test objective "Verify that the P-CSCF successfully processes a 200 (OK) BYE (Originating Leg)."
Reference
"ETSI TS 124 229 [1], Clauses 5.1.5 and 6.1"
Config Id CF_VxLTE_RMI_B
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_B and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_B and
the UE_B entity isRegisteredTo the IMS_B
}
Expected behaviour
ensure that {
when {
the IMS_P_CSCF_B entity receives a 200_Ok containing
From indicating value PX_UE_B_SIP_URI,
To indicating value PX_UE_A_SIP_URI,
CallId indicating value PX_UE_B_CALLID,
Via indicating value PX_UE_B_VIA,
Route indicating value PX_UE_B_SERVICE_ROUTE;
from the IMS_S_CSCF_B entity
}
then {
the IMS_P_CSCF_B entity sends a 200_Ok containing
From indicating value PX_UE_B_SIP_URI,
To indicating value PX_UE_A_SIP_URI,
CallId indicating value PX_UE_B_CALLID,
Via indicating value PX_UE_B_VIA,
Route indicating value PX_UE_B_SERVICE_ROUTE,
not PChargingVector,
not PChargingFunctionAddresses,
not PPreferredIdentity;
to the UE_A entity
}
}
} // End of TP_GM_PCSCF_200OK_04
Test Purpose {
TP Id TP_GM_PCSCF_200OK_BYE_05
Test objective "Verify that the P-CSCF successfully processes a 200 (OK) BYE (Terminating Leg)."
Reference
"ETSI TS 124 229 [1], Clauses 5.1.5 and 6.1"
Config Id CF_VxLTE_RMI_A
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_A and
the UE_B entity isRegisteredTo the IMS_B
}
Expected behaviour
ensure that {
when {
the IMS_P_CSCF_A entity receives a 200_Ok containing
From indicating value PX_UE_A_SIP_URI,
To indicating value PX_UE_B_SIP_URI,
CallId indicating value PX_UE_A_CALLID,
Via indicating value PX_UE_A_VIA,
Route indicating value PX_UE_A_SERVICE_ROUTE;
from the IMS_S_CSCF_A entity
}
then {
the IMS_P_CSCF_A entity sends a 200_Ok containing
From indicating value PX_UE_A_SIP_URI,
To indicating value PX_UE_B_SIP_URI,
CallId indicating value PX_UE_A_CALLID,
Via indicating value PX_UE_A_VIA,
Route indicating value PX_UE_A_SERVICE_ROUTE,
not PChargingVector,
not PChargingFunctionAddresses,
not PPreferredIdentity;
to the UE_B entity
}
}
} // End of TP_GM_PCSCF_200OK_05
Test Purpose {
TP Id TP_GM_PCSCF_200OK_BYE_06
Test objective "Verify that the P-CSCF successfully processes a 200 (OK) BYE (Network initiated)."
Reference
"ETSI TS 124 229 [1], Clauses 5.1.5 and 6.1"
2181
2182
2183
2184
2185
2186
2187
2188
2189
2190
2191
2192
2193
2194
2195
2196
2197
2198
2199
2200
2201
Config Id CF_VxLTE_RMI_A
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_A and
the UE_B entity isRegisteredTo the IMS_B
}
Expected behaviour
ensure that {
when {
the IMS_P_CSCF_A entity receives a 200_Ok
}
then {
the IMS_P_CSCF_A entity sends a 200_Ok containing
not PChargingVector,
not PChargingFunctionAddresses,
not PPreferredIdentity;
to the IMS_S_CSCF_A entity
}
}
} // End of TP_GM_PCSCF_200OK_06
Test Purpose {
TP Id TP_GM_PCSCF_CANCEL_01
Test objective "Verify that the P-CSCF successfully processes a CANCEL (Originating Leg)."
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_A and
the UE_B entity isRegisteredTo the IMS_B and
}
Expected behaviour
ensure that {
when {
the UE_A entity isRequestedToSend a CANCEL
}
then {
From indicating value PX_UE_A_SIP_URI,
To indicating value PX_UE_B_SIP_URI,
CallId indicating value PX_UE_A_CALLID,
Via indicating value PX_UE_A_VIA,
Route indicating value PX_UE_A_SERVICE_ROUTE;
from the UE_A entity
}
}
} // End of TP_GM_PCSCF_CANCEL_01
Test Purpose {
TP Id TP_GM_PCSCF_CANCEL_02
Test objective "Verify that the P-CSCF successfully processes a CANCEL (Terminating Leg)."
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_A and
the UE_B entity isRegisteredTo the IMS_B and
}
Expected behaviour
ensure that {
when {
From indicating value PX_UE_A_SIP_URI,
To indicating value PX_UE_B_SIP_URI,
CallId indicating value PX_UE_A_CALLID,
Via indicating value PX_UE_A_VIA,
Route indicating value PX_UE_A_SERVICE_ROUTE;
}
}
} // End of TP_GM_PCSCF_CANCEL_02
Test Purpose {
TP Id TP_GM_PCSCF_CANCEL_03
// ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
Test objective "Verify that the P-CSCF successfully processes a CANCEL (Originating Leg)."
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_B and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_B and
the UE_B entity isRegisteredTo the IMS_B and
the UE_A entity hasAchieveInitialINVITE
}
Expected behaviour
ensure that {
when {
the UE_A entity isRequestedToSend a CANCEL
}
then {
the IMS_P_CSCF_B entity receives an CANCEL containing
From indicating value PX_UE_A_SIP_URI,
To indicating value PX_UE_B_SIP_URI,
CallId indicating value PX_UE_A_CALLID,
Via indicating value PX_UE_A_VIA,
Route indicating value PX_UE_A_SERVICE_ROUTE;
from the UE_A entity
}
}
} // End of TP_GM_PCSCF_CANCEL_03
Test Purpose {
TP Id TP_GM_PCSCF_CANCEL_04
// ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
Test objective "Verify that the P-CSCF successfully processes a CANCEL (Terminating Leg)."
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
Config Id CF_VxLTE_RMI_B
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_B and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_B and
the UE_B entity isRegisteredTo the IMS_B and
the UE_B entity hasAchieveInitialINVITE
}
Expected behaviour
ensure that {
when {
the UE_A entity isRequestedToSend a CANCEL
}
then {
the IMS_P_CSCF_A entity sends an CANCEL containing
From indicating value PX_UE_A_SIP_URI,
To indicating value PX_UE_B_SIP_URI,
CallId indicating value PX_UE_A_CALLID,
Via indicating value PX_UE_A_VIA,
Route indicating value PX_UE_A_SERVICE_ROUTE;
to the UE_B entity
}
}
} // End of TP_GM_PCSCF_CANCEL_04
Test Purpose {
TP Id TP_GM_PCSCF_200OK_CANCEL_01
// TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
// TP_IMST2_GM_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
Test objective "Verify that the P-CSCF successfully processes a 200 (OK) CANCEL (Originating Leg)."
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
2377
2378
2379
2380
2381
2382
2383
2384
2385
2386
2387
2388
2389
2390
2391
2392
2393
2394
2395
2396
2397
Config Id CF_VxLTE_INT
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_A and
the UE_B entity isRegisteredTo the IMS_B
}
Expected behaviour
ensure that {
when {
the UE_A entity isRequestedToSend a CANCEL
}
then {
the IMS_P_CSCF_A entity receives a 200_Ok containing
not PChargingVector,
not PChargingFunctionAddresses,
not PPreferredIdentity;
}
}
} // End of TP_GM_PCSCF_200OK_CANCEL_01
Test Purpose {
TP Id TP_GM_PCSCF_200OK_CANCEL_02
// TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
// TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
Test objective "Verify that the P-CSCF successfully processes a 200 (OK) CANCEL (Terminating Leg)."
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
Config Id CF_VxLTE_INT
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_A and
the UE_B entity isRegisteredTo the IMS_B
}
Expected behaviour
ensure that {
when {
the UE_B entity isRequestedToSend a CANCEL
}
then {
the IMS_P_CSCF_B entity receives a 200_Ok containing
From indicating value PX_UE_B_SIP_URI,
To indicating value PX_UE_A_SIP_URI,
CallId indicating value PX_UE_B_CALLID,
Via indicating value PX_UE_B_VIA,
Route indicating value PX_UE_B_SERVICE_ROUTE,
not PChargingVector,
not PChargingFunctionAddresses,
not PPreferredIdentity;
from the UE_B entity
}
}
} // End of TP_GM_PCSCF_200OK_CANCEL_02
Test Purpose {
TP Id TP_GM_PCSCF_200OK_CANCEL_03
// TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
// TP_IMST2_GM_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
Test objective "Verify that the P-CSCF successfully processes a 200 (OK) CANCEL (Originating Leg)."
"ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
Config Id CF_VxLTE_RMI_B
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_B and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_B and
the UE_B entity isRegisteredTo the IMS_B
}
Expected behaviour
ensure that {
when {
the IMS_P_CSCF_B entity isRequestedToSend a 200_Ok
the IMS_P_CSCF_B entity sends a 200_Ok containing
not PChargingVector,
not PChargingFunctionAddresses,
not PPreferredIdentity;
}
}
} // End of TP_GM_PCSCF_200OK_CANCEL_03
Test Purpose {
TP Id TP_GM_PCSCF_200OK_CANCEL_04
// TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
// TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
Test objective "Verify that the P-CSCF successfully processes a 200 (OK) CANCEL (Terminating Leg)."
"ETSI TS 124 229 [1], clauses 5.1.4 and 6.1.1"
Config Id CF_VxLTE_RMI_A
2498
2499
2500
2501
2502
2503
2504
2505
2506
2507
2508
2509
2510
2511
2512
2513
2514
2515
2516
2517
2518
2519
2520
2521
2522
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_A and
the UE_A entity isRegisteredTo the IMS_A and
the UE_B entity isRegisteredTo the IMS_A
}
Expected behaviour
ensure that {
when {
the UE_A entity receives a CANCEL
from the IMS_P_CSCF_A entity
}
then {
the UE_B entity sends a 200_Ok containing
From indicating value PX_UE_B_SIP_URI,
To indicating value PX_UE_A_SIP_URI,
CallId indicating value PX_UE_B_CALLID,
Via indicating value PX_UE_B_VIA,
Route indicating value PX_UE_B_SERVICE_ROUTE,
not PChargingVector,
not PChargingFunctionAddresses,
not PPreferredIdentity;
to the IMS_P_CSCF_A entity
}
}
} // End of TP_GM_PCSCF_200OK_CANCEL_04
Test Purpose {
TP Id TP_GM_PCSCF_486INVITE_01
Test objective "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_A and
the UE_B entity isRegisteredTo the IMS_B and
the UE_B entity isBusy
}
Expected behaviour
ensure that {
when {
the UE_B entity isRequestedToSend an 486_INVITE
the IMS_P_CSCF_A entity sends a 486_INVITE containing
From indicating value PX_UE_B_SIP_URI,
To indicating value PX_UE_A_SIP_URI,
CallId indicating value PX_UE_B_CALLID,
Via indicating value PX_UE_B_VIA,
Route indicating value PX_UE_B_SERVICE_ROUTE;
to the UE_A entity
}
}
} // End of TP_GM_PCSCF_486INVITE_01
Test Purpose {
TP Id TP_GM_PCSCF_486INVITE_02
Test objective "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Terminating Leg)."
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_A and
}
Expected behaviour
ensure that {
when {
the IMS_P_CSCF_B entity receives a 486_INVITE containing
From indicating value PX_UE_A_SIP_URI,
To indicating value PX_UE_B_SIP_URI,
CallId indicating value PX_UE_A_CALLID,
Via indicating value PX_UE_A_VIA,
Route indicating value PX_UE_A_SERVICE_ROUTE;
Test Purpose {
TP Id TP_GM_PCSCF_486INVITE_03
Test objective "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."
Reference
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_B and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_B and
the UE_B entity isRegisteredTo the IMS_B and
the UE_B entity isBusy
}
Expected behaviour
ensure that {
when {
the UE_B entity isRequestedToSend an 486_INVITE
the IMS_P_CSCF_B entity sends a 486_INVITE containing
From indicating value PX_UE_B_SIP_URI,
To indicating value PX_UE_A_SIP_URI,
CallId indicating value PX_UE_B_CALLID,
Via indicating value PX_UE_B_VIA,
Route indicating value PX_UE_B_SERVICE_ROUTE;
to the UE_A entity
}
}
} // End of TP_GM_PCSCF_486INVITE_03
Test Purpose {
TP Id TP_GM_PCSCF_486INVITE_04
// ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
Test objective "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Terminating Leg)."
Reference
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_A and
the UE_A entity isRegisteredTo the IMS_A and
the UE_B entity isRegisteredTo the IMS_A and
the UE_A entity isBusy
}
Expected behaviour
ensure that {
when {
the UE_A entity isRequestedToSend a 486_INVITE
the IMS_P_CSCF_A entity receives a 486_INVITE containing
From indicating value PX_UE_A_SIP_URI,
To indicating value PX_UE_B_SIP_URI,
CallId indicating value PX_UE_A_CALLID,
Via indicating value PX_UE_A_VIA,
Route indicating value PX_UE_A_SERVICE_ROUTE;
from the UE_B entity
}
}
} // End of TP_GM_PCSCF_486INVITE_04
Test Purpose {
TP Id TP_GM_PCSCF_487INVITE_01
Test objective "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) (Originating Leg)."
Reference
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
Config Id CF_VxLTE_INT
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_A and
}
Expected behaviour
ensure that {
when {
the UE_A entity isRequestedToSend an CANCEL
}
then {
the IMS_P_CSCF_A entity sends a 487_INVITE containing
From indicating value PX_UE_B_SIP_URI,
To indicating value PX_UE_A_SIP_URI,
CallId indicating value PX_UE_B_CALLID,
Via indicating value PX_UE_B_VIA,
Route indicating value PX_UE_B_SERVICE_ROUTE;
to the UE_A entity
}
}
} // End of TP_GM_PCSCF_487INVITE_01
Test Purpose {
TP Id TP_GM_PCSCF_487INVITE_02
Test objective "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) (Terminating Leg)."
Reference
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
Config Id CF_VxLTE_INT
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_A and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_A and
}
Expected behaviour
ensure that {
when {
the UE_A entity isRequestedToSend a CANCEL
}
then {
the IMS_P_CSCF_B entity receives a 487_INVITE containing
From indicating value PX_UE_B_SIP_URI,
To indicating value PX_UE_A_SIP_URI,
CallId indicating value PX_UE_B_CALLID,
Via indicating value PX_UE_B_VIA,
Route indicating value PX_UE_B_SERVICE_ROUTE,
not PChargingVector,
not PChargingFunctionAddresses,
not PPreferredIdentity;
from the UE_B entity
}
}
} // End of TP_GM_PCSCF_487INVITE_02
Test Purpose {
TP Id TP_GM_PCSCF_487INVITE_03
Test objective "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) (Originating Leg)."
Reference
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
Config Id CF_VxLTE_RMI_B
2776
2777
2778
2779
2780
2781
2782
2783
2784
2785
2786
2787
2788
2789
2790
2791
2792
2793
2794
2795
2796
2797
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_B and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_B and
the UE_B entity isRegisteredTo the IMS_B and
the UE_A entity hasAchieveInitialINVITE
}
Expected behaviour
ensure that {
when {
the UE_A entity isRequestedToSend an CANCEL
}
then {
the IMS_P_CSCF_B entity sends a 487_INVITE containing
From indicating value PX_UE_B_SIP_URI,
To indicating value PX_UE_A_SIP_URI,
CallId indicating value PX_UE_B_CALLID,
Via indicating value PX_UE_B_VIA,
Route indicating value PX_UE_B_SERVICE_ROUTE;
to the UE_A entity
}
}
} // End of TP_GM_PCSCF_487INVITE_03
Test Purpose {
TP Id TP_GM_PCSCF_487INVITE_04
Test objective "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) (Terminating Leg)."
Reference
"ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
Config Id CF_VxLTE_RMI_B
2815
2816
2817
2818
2819
2820
2821
2822
2823
2824
2825
2826
2827
2828
2829
2830
2831
2832
2833
2834
2835
2836
2837
2838
2839
PICS Selection NONE
Initial conditions with {
the UE_A entity isAttachedTo the EPC_B and
the UE_B entity isAttachedTo the EPC_B and
the UE_A entity isRegisteredTo the IMS_B and
the UE_B entity isRegisteredTo the IMS_B and
the UE_A entity isRequestedToSend a CANCEL
}
Expected behaviour
ensure that {
when {
the UE_A entity isRequestedToSend a CANCEL
}
then {
the IMS_P_CSCF_A entity receives a 487_INVITE containing
From indicating value PX_UE_B_SIP_URI,
To indicating value PX_UE_A_SIP_URI,
CallId indicating value PX_UE_B_CALLID,
Via indicating value PX_UE_B_VIA,
Route indicating value PX_UE_B_SERVICE_ROUTE,
not PChargingVector,
not PChargingFunctionAddresses,
not PPreferredIdentity;
from the UE_B entity
}
}
} // End of TP_GM_PCSCF_487INVITE_04