Loading test_purposes/ngnas/TP_AMF_NGNAS.tplan2 +1 −1 Original line number Diff line number Diff line Loading @@ -566,7 +566,7 @@ Package TP_AMF { payload_container containing payload_container_type set to "N1 SM information", number_of_optional_IEs set to 1, optional_IE_1 set to "PDU SESSION RELEASE ACCEPT";;; optional_IE_1 set to "PDU SESSION RELEASE COMPLETE";;; to the GNB entity } } Loading ttcn/AtsIms5gIot/AtsImsIot_TP_behavior_N1N2.ttcn +110 −88 File changed.Preview size limit exceeded, changes collapsed. Show changes ttcn/Lib_NG_NAS/Lib_NG_NAS_Templates.ttcn +4 −4 Original line number Diff line number Diff line Loading @@ -845,7 +845,7 @@ module Lib_NG_NAS_Templates { template (present) NG_NAS_UL_Message_Type mw_NG_PDU_SESSION_ESTABLISHMENT_REQUEST( template (present) NG_PDU_SessionId p_PDU_SessionId := ?, template (present) ProcedureTransactionIdentifier p_PTI := ?, template PDU_SessionType p_PDU_SessionType, template PDU_SessionType p_PDU_SessionType := ?, template SSC_Mode p_SSC_Mode := *, template NG_UE_SM_Cap p_UECap := *, template MaxNumPacketFilters p_MaxNumPacketFilters := *, Loading @@ -862,7 +862,7 @@ module Lib_NG_NAS_Templates { template ServiceLvlAAContainer p_ServiceLvlAA := *, template RequestedMBSContainer p_RequestedMBS := *, template PDUSessionPairId p_PduSessionPairId := *, template RSN p_RSN template RSN p_RSN := * ) modifies cr_NG_PDU_SESSION_ESTABLISHMENT_REQUEST := { /* 24.501 cl. 8.3.1 */ /* @status APPROVED (IMS, NR5GC, NR5GC_IRAT, POS) */ pdu_Session_Establishment_Request := { Loading Loading @@ -1758,8 +1758,8 @@ module Lib_NG_NAS_Templates { } // End of template m_NG_PDU_SESSION_MODIFICATION_COMMAND template (present) NG_NAS_DL_Message_Type mw_NG_PDU_SESSION_MODIFICATION_COMMAND( template (present) NG_PDU_SessionId p_PDU_SessionId, template (present) ProcedureTransactionIdentifier p_PTI, template (present) NG_PDU_SessionId p_PDU_SessionId := ?, template (present) ProcedureTransactionIdentifier p_PTI := ?, template GMM_GSM_Cause p_Cause := *, template Session_AMBR p_Session_AMBR := *, template GPRS_Timer p_RQTimer := *, Loading ttcn/patch_lib_ims_titan/ttcn/LibIms_Steps.ttcn +14 −14 Original line number Diff line number Diff line Loading @@ -1378,7 +1378,7 @@ module LibIms_Steps { repeat; } // ignore 181 if flag is set (following TS 183004 ����4.5.2.1) [vc_ignore181] SIPP.receive(mw_Response_Base(c_statusLine181, vc_callId, vc_cSeq)) -> value v_response sender vc_sent_label { [vc_ignore181] SIPP.receive(mw_Response_Base(c_statusLine181, vc_callId, vc_cSeq)) -> value v_response /*sender vc_sent_label*/ { v_cSeq := valueof(v_response.msgHeader.cSeq); f_setHeadersOnReceiptOfResponse(v_response); repeat; Loading @@ -1391,7 +1391,7 @@ module LibIms_Steps { [vc_ignore484] SIPP.receive(mw_Response_Base(c_statusLine484, vc_callId, vc_cSeq)) { repeat; } [vc_ignore4xx] SIPP.receive(mw_Response_Base(mw_statusLine4xx, vc_callId, ?)) -> value v_response sender vc_sent_label { [vc_ignore4xx] SIPP.receive(mw_Response_Base(mw_statusLine4xx, vc_callId, ?)) -> value v_response /*sender vc_sent_label*/ { v_cSeq := valueof(v_response.msgHeader.cSeq); f_setHeadersOnReceiptOfResponse(v_response); f_SendACK(m_ACK_Request_route(vc_requestUri, vc_callId, v_response.msgHeader.cSeq, vc_from, vc_to, vc_via, vc_route)); Loading @@ -1400,25 +1400,25 @@ module LibIms_Steps { [vc_ignore200OKinv] SIPP.receive(mw_Response_Base(c_statusLine200, vc_callId, ?)) { repeat; } [] SIPP.receive(mw_INFO_Request_Base(vc_callId)) -> value v_info_request sender vc_sent_label { [] SIPP.receive(mw_INFO_Request_Base(vc_callId)) -> value v_info_request /*sender vc_sent_label*/ { f_setHeadersOnReceiptOfRequest(v_info_request); f_send200OK(); repeat; } // awaiting of Notify [] SIPP.receive(mw_NOTIFY_Request_Base(vc_callId)) -> value v_notify_request sender vc_sent_label { [] SIPP.receive(mw_NOTIFY_Request_Base(vc_callId)) -> value v_notify_request /*sender vc_sent_label*/ { f_setHeadersOnReceiptOfRequest(v_notify_request); f_send200OK(); repeat; } // awaiting of subscribe from UE [vc_ignore_subscribe] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_subscribe_request sender vc_sent_label { [vc_ignore_subscribe] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_subscribe_request /*sender vc_sent_label*/ { f_setHeadersOnReceiptOfSUBSCRIBE(v_subscribe_request); f_send200OK(); repeat; } // awaiting of subscribe on proxy [] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_subscribe_request sender vc_sent_label { [] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_subscribe_request /*sender vc_sent_label*/ { f_setHeadersOnReceiptOfRequest(v_subscribe_request); f_sendResponse(m_Response_Contact(c_statusLine200, vc_callId, vc_cSeq, vc_callee_From, vc_callee_To, vc_via, vc_contact)); f_SendNOTIFY(m_NOTIFY_Request_contact(v_subscribe_request.msgHeader.contact.contactBody.contactAddresses[0].addressField.nameAddr.addrSpec, vc_callId, vc_cSeq, vc_callee_From, vc_callee_To, vc_via, vc_contact)); Loading @@ -1426,7 +1426,7 @@ module LibIms_Steps { repeat; } // unexpected BYE is acknowledged to avoid retransmissions [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_bye_request sender vc_sent_label { [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_bye_request /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected BYE message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_bye_request); Loading @@ -1436,7 +1436,7 @@ module LibIms_Steps { f_componentStop(); } // unexpected CANCEL is acknowledged to avoid retransmissions [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_cancel_request sender vc_sent_label { [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_cancel_request /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected CANCEL message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_cancel_request); Loading @@ -1447,7 +1447,7 @@ module LibIms_Steps { f_componentStop(); } // catch 4xx response [] SIPP.receive(mw_Response_Base(mw_statusLine4xx, vc_callId, ?)) -> value v_response sender vc_sent_label { [] SIPP.receive(mw_Response_Base(mw_statusLine4xx, vc_callId, ?)) -> value v_response /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected 4xx response received. ***"); setverdict(fail); v_cSeq := valueof(v_response.msgHeader.cSeq); Loading @@ -1459,7 +1459,7 @@ module LibIms_Steps { f_componentStop(); } // catch 5xx response [] SIPP.receive(mw_Response_Base(mw_statusLine5xx, vc_callId, ?)) -> value v_response sender vc_sent_label { [] SIPP.receive(mw_Response_Base(mw_statusLine5xx, vc_callId, ?)) -> value v_response /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected 5xx response received. ***"); setverdict(fail); v_cSeq := valueof(v_response.msgHeader.cSeq); Loading @@ -1471,7 +1471,7 @@ module LibIms_Steps { f_componentStop(); } // catch invalid REGISTER [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_register_request sender vc_sent_label { [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_register_request /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected REGISTER received. ***"); setverdict(fail); f_componentStop(); Loading Loading @@ -1508,7 +1508,7 @@ module LibIms_Steps { repeat; } // handle REGISTER requests [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_register_request sender vc_sent_label { [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_register_request /*sender vc_sent_label*/ { f_setHeadersOnReceiptOfREGISTER(v_register_request); // vc_contact := vc_request.msgHeader.contact; f_sendResponse(m_Response_Contact(c_statusLine200, vc_callId, vc_cSeq, vc_caller_From, vc_caller_To, vc_via, vc_contact)); Loading @@ -1519,14 +1519,14 @@ module LibIms_Steps { repeat; } // unexpected CANCEL is acknowledged to avoid retransmissions [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_cancel_request sender vc_sent_label { [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_cancel_request /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected CANCEL message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_cancel_request); f_send200OK(); } // unexpected BYE is acknowledged to avoid retransmissions [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_bye_request sender vc_sent_label { [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_bye_request /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected BYE message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_bye_request); Loading Loading
test_purposes/ngnas/TP_AMF_NGNAS.tplan2 +1 −1 Original line number Diff line number Diff line Loading @@ -566,7 +566,7 @@ Package TP_AMF { payload_container containing payload_container_type set to "N1 SM information", number_of_optional_IEs set to 1, optional_IE_1 set to "PDU SESSION RELEASE ACCEPT";;; optional_IE_1 set to "PDU SESSION RELEASE COMPLETE";;; to the GNB entity } } Loading
ttcn/AtsIms5gIot/AtsImsIot_TP_behavior_N1N2.ttcn +110 −88 File changed.Preview size limit exceeded, changes collapsed. Show changes
ttcn/Lib_NG_NAS/Lib_NG_NAS_Templates.ttcn +4 −4 Original line number Diff line number Diff line Loading @@ -845,7 +845,7 @@ module Lib_NG_NAS_Templates { template (present) NG_NAS_UL_Message_Type mw_NG_PDU_SESSION_ESTABLISHMENT_REQUEST( template (present) NG_PDU_SessionId p_PDU_SessionId := ?, template (present) ProcedureTransactionIdentifier p_PTI := ?, template PDU_SessionType p_PDU_SessionType, template PDU_SessionType p_PDU_SessionType := ?, template SSC_Mode p_SSC_Mode := *, template NG_UE_SM_Cap p_UECap := *, template MaxNumPacketFilters p_MaxNumPacketFilters := *, Loading @@ -862,7 +862,7 @@ module Lib_NG_NAS_Templates { template ServiceLvlAAContainer p_ServiceLvlAA := *, template RequestedMBSContainer p_RequestedMBS := *, template PDUSessionPairId p_PduSessionPairId := *, template RSN p_RSN template RSN p_RSN := * ) modifies cr_NG_PDU_SESSION_ESTABLISHMENT_REQUEST := { /* 24.501 cl. 8.3.1 */ /* @status APPROVED (IMS, NR5GC, NR5GC_IRAT, POS) */ pdu_Session_Establishment_Request := { Loading Loading @@ -1758,8 +1758,8 @@ module Lib_NG_NAS_Templates { } // End of template m_NG_PDU_SESSION_MODIFICATION_COMMAND template (present) NG_NAS_DL_Message_Type mw_NG_PDU_SESSION_MODIFICATION_COMMAND( template (present) NG_PDU_SessionId p_PDU_SessionId, template (present) ProcedureTransactionIdentifier p_PTI, template (present) NG_PDU_SessionId p_PDU_SessionId := ?, template (present) ProcedureTransactionIdentifier p_PTI := ?, template GMM_GSM_Cause p_Cause := *, template Session_AMBR p_Session_AMBR := *, template GPRS_Timer p_RQTimer := *, Loading
ttcn/patch_lib_ims_titan/ttcn/LibIms_Steps.ttcn +14 −14 Original line number Diff line number Diff line Loading @@ -1378,7 +1378,7 @@ module LibIms_Steps { repeat; } // ignore 181 if flag is set (following TS 183004 ����4.5.2.1) [vc_ignore181] SIPP.receive(mw_Response_Base(c_statusLine181, vc_callId, vc_cSeq)) -> value v_response sender vc_sent_label { [vc_ignore181] SIPP.receive(mw_Response_Base(c_statusLine181, vc_callId, vc_cSeq)) -> value v_response /*sender vc_sent_label*/ { v_cSeq := valueof(v_response.msgHeader.cSeq); f_setHeadersOnReceiptOfResponse(v_response); repeat; Loading @@ -1391,7 +1391,7 @@ module LibIms_Steps { [vc_ignore484] SIPP.receive(mw_Response_Base(c_statusLine484, vc_callId, vc_cSeq)) { repeat; } [vc_ignore4xx] SIPP.receive(mw_Response_Base(mw_statusLine4xx, vc_callId, ?)) -> value v_response sender vc_sent_label { [vc_ignore4xx] SIPP.receive(mw_Response_Base(mw_statusLine4xx, vc_callId, ?)) -> value v_response /*sender vc_sent_label*/ { v_cSeq := valueof(v_response.msgHeader.cSeq); f_setHeadersOnReceiptOfResponse(v_response); f_SendACK(m_ACK_Request_route(vc_requestUri, vc_callId, v_response.msgHeader.cSeq, vc_from, vc_to, vc_via, vc_route)); Loading @@ -1400,25 +1400,25 @@ module LibIms_Steps { [vc_ignore200OKinv] SIPP.receive(mw_Response_Base(c_statusLine200, vc_callId, ?)) { repeat; } [] SIPP.receive(mw_INFO_Request_Base(vc_callId)) -> value v_info_request sender vc_sent_label { [] SIPP.receive(mw_INFO_Request_Base(vc_callId)) -> value v_info_request /*sender vc_sent_label*/ { f_setHeadersOnReceiptOfRequest(v_info_request); f_send200OK(); repeat; } // awaiting of Notify [] SIPP.receive(mw_NOTIFY_Request_Base(vc_callId)) -> value v_notify_request sender vc_sent_label { [] SIPP.receive(mw_NOTIFY_Request_Base(vc_callId)) -> value v_notify_request /*sender vc_sent_label*/ { f_setHeadersOnReceiptOfRequest(v_notify_request); f_send200OK(); repeat; } // awaiting of subscribe from UE [vc_ignore_subscribe] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_subscribe_request sender vc_sent_label { [vc_ignore_subscribe] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_subscribe_request /*sender vc_sent_label*/ { f_setHeadersOnReceiptOfSUBSCRIBE(v_subscribe_request); f_send200OK(); repeat; } // awaiting of subscribe on proxy [] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_subscribe_request sender vc_sent_label { [] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_subscribe_request /*sender vc_sent_label*/ { f_setHeadersOnReceiptOfRequest(v_subscribe_request); f_sendResponse(m_Response_Contact(c_statusLine200, vc_callId, vc_cSeq, vc_callee_From, vc_callee_To, vc_via, vc_contact)); f_SendNOTIFY(m_NOTIFY_Request_contact(v_subscribe_request.msgHeader.contact.contactBody.contactAddresses[0].addressField.nameAddr.addrSpec, vc_callId, vc_cSeq, vc_callee_From, vc_callee_To, vc_via, vc_contact)); Loading @@ -1426,7 +1426,7 @@ module LibIms_Steps { repeat; } // unexpected BYE is acknowledged to avoid retransmissions [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_bye_request sender vc_sent_label { [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_bye_request /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected BYE message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_bye_request); Loading @@ -1436,7 +1436,7 @@ module LibIms_Steps { f_componentStop(); } // unexpected CANCEL is acknowledged to avoid retransmissions [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_cancel_request sender vc_sent_label { [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_cancel_request /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected CANCEL message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_cancel_request); Loading @@ -1447,7 +1447,7 @@ module LibIms_Steps { f_componentStop(); } // catch 4xx response [] SIPP.receive(mw_Response_Base(mw_statusLine4xx, vc_callId, ?)) -> value v_response sender vc_sent_label { [] SIPP.receive(mw_Response_Base(mw_statusLine4xx, vc_callId, ?)) -> value v_response /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected 4xx response received. ***"); setverdict(fail); v_cSeq := valueof(v_response.msgHeader.cSeq); Loading @@ -1459,7 +1459,7 @@ module LibIms_Steps { f_componentStop(); } // catch 5xx response [] SIPP.receive(mw_Response_Base(mw_statusLine5xx, vc_callId, ?)) -> value v_response sender vc_sent_label { [] SIPP.receive(mw_Response_Base(mw_statusLine5xx, vc_callId, ?)) -> value v_response /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected 5xx response received. ***"); setverdict(fail); v_cSeq := valueof(v_response.msgHeader.cSeq); Loading @@ -1471,7 +1471,7 @@ module LibIms_Steps { f_componentStop(); } // catch invalid REGISTER [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_register_request sender vc_sent_label { [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_register_request /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected REGISTER received. ***"); setverdict(fail); f_componentStop(); Loading Loading @@ -1508,7 +1508,7 @@ module LibIms_Steps { repeat; } // handle REGISTER requests [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_register_request sender vc_sent_label { [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_register_request /*sender vc_sent_label*/ { f_setHeadersOnReceiptOfREGISTER(v_register_request); // vc_contact := vc_request.msgHeader.contact; f_sendResponse(m_Response_Contact(c_statusLine200, vc_callId, vc_cSeq, vc_caller_From, vc_caller_To, vc_via, vc_contact)); Loading @@ -1519,14 +1519,14 @@ module LibIms_Steps { repeat; } // unexpected CANCEL is acknowledged to avoid retransmissions [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_cancel_request sender vc_sent_label { [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_cancel_request /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected CANCEL message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_cancel_request); f_send200OK(); } // unexpected BYE is acknowledged to avoid retransmissions [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_bye_request sender vc_sent_label { [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_bye_request /*sender vc_sent_label*/ { log("*** " & testcasename() & ": FAIL: Unexpected BYE message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_bye_request); Loading