Loading test_purposes/Gm/TP_GM.tplan2 +19 −19 Original line number Diff line number Diff line Loading @@ -44,7 +44,7 @@ Package TP_GM { To indicating value PX_UE_A_SIP_URI, CallId indicating value PX_UE_A_CALLID, Via indicating value PX_UE_A_VIA, ContentLength indicating value greater than 1300 bytes; ContentLength indicating value greater than 1_300 bytes; to the IMS_P_CSCF_A entity } then { Loading @@ -53,7 +53,7 @@ Package TP_GM { To indicating value PX_UE_A_SIP_URI, CallId indicating value PX_UE_A_CALLID, Via indicating value PX_UE_A_VIA, ContentLength indicating value greater than 1300 bytes; ContentLength indicating value greater than 1_300 bytes; from the UE_A entity and the IMS_P_CSCF_A entity sends a 200_Ok containing From indicating value PX_UE_A_SIP_URI, Loading Loading @@ -147,7 +147,7 @@ Package TP_GM { the UE_A entity isAttachedTo the EPC_A and the UE_A entity isNotRegisteredTo the IMS_A and the UE_B entity isNotRegisteredTo the IMS_B and the UE_A entity hasAchieveFirstRegistration the UE_A entity hasAchievedFirstRegistration } Expected behaviour Loading Loading @@ -316,7 +316,7 @@ Package TP_GM { the UE_A entity isAttachedTo the EPC_B and the UE_A entity isNotRegisteredTo the IMS_B and the UE_B entity isNotRegisteredTo the IMS_B and the UE_A entity hasAchieveFirstRegistration the UE_A entity hasAchievedFirstRegistration } Expected behaviour Loading Loading @@ -879,7 +879,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } then { the IMS_P_CSCF_A entity sends a 100_Trying Loading Loading @@ -960,7 +960,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } then { the IMS_P_CSCF_B entity sends a 100_Trying Loading Loading @@ -1041,7 +1041,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } then { the IMS_P_CSCF_A entity sends a 180_Ringing containing Loading Loading @@ -1129,7 +1129,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } then { the IMS_P_CSCF_B entity sends a 180_Ringing containing Loading Loading @@ -1217,7 +1217,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } then { the IMS_P_CSCF_A entity sends a 200_Ok containing Loading Loading @@ -1305,7 +1305,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } then { the IMS_P_CSCF_B entity sends a 200_Ok containing Loading Loading @@ -1393,7 +1393,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveINVITE the UE_A entity hasAchievedINVITE } then { the IMS_P_CSCF_A entity receives an ACK containing Loading Loading @@ -1433,7 +1433,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_B entity hasAchieveInitialINVITE the UE_B entity hasAchievedInitialINVITE } then { the UE_B entity receives an ACK containing Loading Loading @@ -1473,7 +1473,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveINVITE the UE_A entity hasAchievedINVITE } then { the IMS_P_CSCF_B entity receives an ACK containing Loading Loading @@ -2224,7 +2224,7 @@ Package TP_GM { 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_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } Expected behaviour Loading Loading @@ -2263,7 +2263,7 @@ Package TP_GM { 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_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } Expected behaviour Loading Loading @@ -2303,7 +2303,7 @@ Package TP_GM { 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 the UE_A entity hasAchievedInitialINVITE } Expected behaviour Loading Loading @@ -2343,7 +2343,7 @@ Package TP_GM { 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 the UE_B entity hasAchievedInitialINVITE } Expected behaviour Loading Loading @@ -2781,7 +2781,7 @@ Package TP_GM { 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 the UE_A entity hasAchievedInitialINVITE } Expected behaviour Loading Loading
test_purposes/Gm/TP_GM.tplan2 +19 −19 Original line number Diff line number Diff line Loading @@ -44,7 +44,7 @@ Package TP_GM { To indicating value PX_UE_A_SIP_URI, CallId indicating value PX_UE_A_CALLID, Via indicating value PX_UE_A_VIA, ContentLength indicating value greater than 1300 bytes; ContentLength indicating value greater than 1_300 bytes; to the IMS_P_CSCF_A entity } then { Loading @@ -53,7 +53,7 @@ Package TP_GM { To indicating value PX_UE_A_SIP_URI, CallId indicating value PX_UE_A_CALLID, Via indicating value PX_UE_A_VIA, ContentLength indicating value greater than 1300 bytes; ContentLength indicating value greater than 1_300 bytes; from the UE_A entity and the IMS_P_CSCF_A entity sends a 200_Ok containing From indicating value PX_UE_A_SIP_URI, Loading Loading @@ -147,7 +147,7 @@ Package TP_GM { the UE_A entity isAttachedTo the EPC_A and the UE_A entity isNotRegisteredTo the IMS_A and the UE_B entity isNotRegisteredTo the IMS_B and the UE_A entity hasAchieveFirstRegistration the UE_A entity hasAchievedFirstRegistration } Expected behaviour Loading Loading @@ -316,7 +316,7 @@ Package TP_GM { the UE_A entity isAttachedTo the EPC_B and the UE_A entity isNotRegisteredTo the IMS_B and the UE_B entity isNotRegisteredTo the IMS_B and the UE_A entity hasAchieveFirstRegistration the UE_A entity hasAchievedFirstRegistration } Expected behaviour Loading Loading @@ -879,7 +879,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } then { the IMS_P_CSCF_A entity sends a 100_Trying Loading Loading @@ -960,7 +960,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } then { the IMS_P_CSCF_B entity sends a 100_Trying Loading Loading @@ -1041,7 +1041,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } then { the IMS_P_CSCF_A entity sends a 180_Ringing containing Loading Loading @@ -1129,7 +1129,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } then { the IMS_P_CSCF_B entity sends a 180_Ringing containing Loading Loading @@ -1217,7 +1217,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } then { the IMS_P_CSCF_A entity sends a 200_Ok containing Loading Loading @@ -1305,7 +1305,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } then { the IMS_P_CSCF_B entity sends a 200_Ok containing Loading Loading @@ -1393,7 +1393,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveINVITE the UE_A entity hasAchievedINVITE } then { the IMS_P_CSCF_A entity receives an ACK containing Loading Loading @@ -1433,7 +1433,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_B entity hasAchieveInitialINVITE the UE_B entity hasAchievedInitialINVITE } then { the UE_B entity receives an ACK containing Loading Loading @@ -1473,7 +1473,7 @@ Package TP_GM { Expected behaviour ensure that { when { the UE_A entity hasAchieveINVITE the UE_A entity hasAchievedINVITE } then { the IMS_P_CSCF_B entity receives an ACK containing Loading Loading @@ -2224,7 +2224,7 @@ Package TP_GM { 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_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } Expected behaviour Loading Loading @@ -2263,7 +2263,7 @@ Package TP_GM { 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_A entity hasAchieveInitialINVITE the UE_A entity hasAchievedInitialINVITE } Expected behaviour Loading Loading @@ -2303,7 +2303,7 @@ Package TP_GM { 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 the UE_A entity hasAchievedInitialINVITE } Expected behaviour Loading Loading @@ -2343,7 +2343,7 @@ Package TP_GM { 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 the UE_B entity hasAchievedInitialINVITE } Expected behaviour Loading Loading @@ -2781,7 +2781,7 @@ Package TP_GM { 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 the UE_A entity hasAchievedInitialINVITE } Expected behaviour Loading