added tp contents (383af870) · Commits · INT - Core Network and Interoperability Testing / 5G Core / NAS

ttcn/Ats_NG_NAS/NG_NAS_TCFunctions.ttcn

+203 −0

Original line number	Diff line number	Diff line
		@@ -1042,6 +1042,46 @@ module NG_NAS_TCFunctions {
		log("* " & __SCOPE__ & ": INFO: Preamble done. *");

		// Body
		vt_NgNasUl_Msg :=
		m_NG_DEREGISTRATION_REQUEST_MO(
		crs_DeregisterType ('0'B,//B1_Type p_SwitchOff,
		'0'B,//B1_Type p_ReReg,
		'01'B//B2_Type p_Access := '01'B),//in template (value) DeregisterType p_DeregisterType,
		),
		m_NAS_KeySetIdentifier('111'B,'1'B),//in template (value) NAS_KeySetIdentifier p_KSI,
		m_NG_MobileIdentitySUCI('0000'B,'00f110214300014444330302'O)//in template (value) NG_MobileIdentity p_MobileId,
		);
		f_send_NGAP_PDU(
		m_ngap_initMsg(
		m_n2_initialUeMessage(
		-,
		bit2oct(encvalue( vt_NgNasUl_Msg )),//vc_sendNAS_PDU
		m_uPTransportLayerInformation_userLocationInformationNR(
		m_userLocationInformationNR(
		m_nR_CGI,
		m_tAI
		))
		))
		);

		f_recv_NGAP_PDU(
		mw_ngap_initMsg(
		mw_n2_DownlinkNASTransport(
		PX_AMF_UE_NGAP_ID,
		PX_RAN_UE_NGAP_ID,
		?//template (present) NAS_PDU p_nasPdu := ?
		))
		);

		f_NASPDU_Get(vc_recvNGAP_PDU);
		if (f_Check_5GAKA_NAS_DL_Message(vc_recvNAS_PDU,
		mw_NG_DEREGISTRATION_ACCEPT_MO
		) == false) {

		log("* " & __SCOPE__ & ": FAIL: NG_DEREGISTRATION_ACCEPT mismatch. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}

		f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
		log("* " & __SCOPE__ & ": INFO: Testbody done. *");

		@@ -1064,6 +1104,46 @@ module NG_NAS_TCFunctions {
		log("* " & __SCOPE__ & ": INFO: Preamble done. *");

		// Body
		vt_NgNasUl_Msg :=
		m_NG_DEREGISTRATION_REQUEST_MO(
		crs_DeregisterType ('1'B,//B1_Type p_SwitchOff,
		'0'B,//B1_Type p_ReReg,
		'01'B//B2_Type p_Access := '01'B),//in template (value) DeregisterType p_DeregisterType,
		),
		m_NAS_KeySetIdentifier('111'B,'1'B),//in template (value) NAS_KeySetIdentifier p_KSI,
		m_NG_MobileIdentitySUCI('0000'B,'00f110214300014444330302'O)//in template (value) NG_MobileIdentity p_MobileId,
		);
		f_send_NGAP_PDU(
		m_ngap_initMsg(
		m_n2_initialUeMessage(
		-,
		bit2oct(encvalue( vt_NgNasUl_Msg )),//vc_sendNAS_PDU
		m_uPTransportLayerInformation_userLocationInformationNR(
		m_userLocationInformationNR(
		m_nR_CGI,
		m_tAI
		))
		))
		);

		f_recv_NGAP_PDU(
		mw_ngap_initMsg(
		mw_n2_DownlinkNASTransport(
		PX_AMF_UE_NGAP_ID,
		PX_RAN_UE_NGAP_ID,
		?//template (present) NAS_PDU p_nasPdu := ?
		))
		);

		f_NASPDU_Get(vc_recvNGAP_PDU);
		if (f_Check_5GAKA_NAS_DL_Message(vc_recvNAS_PDU,
		mw_NG_DEREGISTRATION_ACCEPT_MO
		) == false) {

		log("* " & __SCOPE__ & ": FAIL: NG_DEREGISTRATION_ACCEPT mismatch. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}

		f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
		log("* " & __SCOPE__ & ": INFO: Testbody done. *");

		@@ -1087,9 +1167,41 @@ module NG_NAS_TCFunctions {
		// Preamble
		f_NGAP_gnb_init();
		f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
		//USER REGISTRATION
		log("* " & __SCOPE__ & ": INFO: Preamble done. *");

		// Body
		f_recv_NGAP_PDU(
		mw_ngap_initMsg(
		mw_n2_DownlinkNASTransport(
		PX_AMF_UE_NGAP_ID,
		PX_RAN_UE_NGAP_ID,
		?//template (present) NAS_PDU p_nasPdu := ?
		))
		);

		f_NASPDU_Get(vc_recvNGAP_PDU);
		if (f_Check_5GAKA_NAS_DL_Message(vc_recvNAS_PDU,
		mw_NG_DEREGISTRATION_REQUEST_MT(
		crs_DeregisterType ('0'B,//B1_Type p_SwitchOff,
		'0'B,//B1_Type p_ReReg,
		'01'B//B2_Type p_Access := '01'B),//in template (value) DeregisterType p_DeregisterType,
		)//template (present) DeregisterType p_Type := ?,
		//template GMM_GSM_Cause p_Cause := *,
		//template GPRS_Timer2 p_T3346 := *,
		//template RejectedNSSAI p_RejectedNSSAI := *,
		//template CAGInfoList p_CAGInfoList := *,
		//template ExtdRejectedNSSAI p_ExtdRejectedNSSAI := *,
		//template RegistrationWaitRange p_DisasterReturnWaitRange := *,
		//template ExtdCAGInfoList p_ExtdCAGInfoList := *,
		//template GPRS_Timer3 p_LowerBoundTimerValue := *,
		//template NG_TrackingAreaIdList p_ForbidTAIList_Roaming := *,
		//template NG_TrackingAreaIdList p_ForbidTAIList_RegProvService := *
		)) == false) {

		log("* " & __SCOPE__ & ": FAIL: NG_DEREGISTRATION_REQUEST_MT mismatch. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}
		f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
		log("* " & __SCOPE__ & ": INFO: Testbody done. *");

		@@ -1112,6 +1224,66 @@ module NG_NAS_TCFunctions {
		log("* " & __SCOPE__ & ": INFO: Preamble done. *");

		// Body
		f_recv_NGAP_PDU(
		mw_ngap_initMsg(
		mw_n2_DownlinkNASTransport(
		PX_AMF_UE_NGAP_ID,
		PX_RAN_UE_NGAP_ID,
		?//template (present) NAS_PDU p_nasPdu := ?
		))
		);

		f_NASPDU_Get(vc_recvNGAP_PDU);
		if (f_Check_5GAKA_NAS_DL_Message(vc_recvNAS_PDU,
		mw_NG_DEREGISTRATION_REQUEST_MT(
		//template (present) DeregisterType p_Type := ?,
		//template GMM_GSM_Cause p_Cause := *,
		//template GPRS_Timer2 p_T3346 := *,
		//template RejectedNSSAI p_RejectedNSSAI := *,
		//template CAGInfoList p_CAGInfoList := *,
		//template ExtdRejectedNSSAI p_ExtdRejectedNSSAI := *,
		//template RegistrationWaitRange p_DisasterReturnWaitRange := *,
		//template ExtdCAGInfoList p_ExtdCAGInfoList := *,
		//template GPRS_Timer3 p_LowerBoundTimerValue := *,
		//template NG_TrackingAreaIdList p_ForbidTAIList_Roaming := *,
		//template NG_TrackingAreaIdList p_ForbidTAIList_RegProvService := *
		)) == false) {

		log("* " & __SCOPE__ & ": FAIL: NG_DEREGISTRATION_REQUEST_MT mismatch. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}
		//Not sent sesponse and again wait for deregistration_request
		f_recv_NGAP_PDU(
		mw_ngap_initMsg(
		mw_n2_DownlinkNASTransport(
		PX_AMF_UE_NGAP_ID,
		PX_RAN_UE_NGAP_ID,
		?//template (present) NAS_PDU p_nasPdu := ?
		))
		);

		f_NASPDU_Get(vc_recvNGAP_PDU);
		if (f_Check_5GAKA_NAS_DL_Message(vc_recvNAS_PDU,
		mw_NG_DEREGISTRATION_REQUEST_MT(
		crs_DeregisterType ('0'B,//B1_Type p_SwitchOff,
		'0'B,//B1_Type p_ReReg,
		'01'B//B2_Type p_Access := '01'B),//in template (value) DeregisterType p_DeregisterType,
		)//template (present) DeregisterType p_Type := ?,
		//template GMM_GSM_Cause p_Cause := *,
		//template GPRS_Timer2 p_T3346 := *,
		//template RejectedNSSAI p_RejectedNSSAI := *,
		//template CAGInfoList p_CAGInfoList := *,
		//template ExtdRejectedNSSAI p_ExtdRejectedNSSAI := *,
		//template RegistrationWaitRange p_DisasterReturnWaitRange := *,
		//template ExtdCAGInfoList p_ExtdCAGInfoList := *,
		//template GPRS_Timer3 p_LowerBoundTimerValue := *,
		//template NG_TrackingAreaIdList p_ForbidTAIList_Roaming := *,
		//template NG_TrackingAreaIdList p_ForbidTAIList_RegProvService := *
		)) == false) {

		log("* " & __SCOPE__ & ": FAIL: NG_DEREGISTRATION_REQUEST_MT mismatch. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}
		f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
		log("* " & __SCOPE__ & ": INFO: Testbody done. *");

		@@ -1134,6 +1306,37 @@ module NG_NAS_TCFunctions {
		log("* " & __SCOPE__ & ": INFO: Preamble done. *");

		// Body
		f_recv_NGAP_PDU(
		mw_ngap_initMsg(
		mw_n2_DownlinkNASTransport(
		PX_AMF_UE_NGAP_ID,
		PX_RAN_UE_NGAP_ID,
		?//template (present) NAS_PDU p_nasPdu := ?
		))
		);

		f_NASPDU_Get(vc_recvNGAP_PDU);
		if (f_Check_5GAKA_NAS_DL_Message(vc_recvNAS_PDU,
		mw_NG_DEREGISTRATION_REQUEST_MT(
		crs_DeregisterType ('0'B,//B1_Type p_SwitchOff,
		'1'B,//B1_Type p_ReReg,
		'01'B//B2_Type p_Access := '01'B),//in template (value) DeregisterType p_DeregisterType,
		)//template (present) DeregisterType p_Type := ?,
		//template GMM_GSM_Cause p_Cause := *,
		//template GPRS_Timer2 p_T3346 := *,
		//template RejectedNSSAI p_RejectedNSSAI := *,
		//template CAGInfoList p_CAGInfoList := *,
		//template ExtdRejectedNSSAI p_ExtdRejectedNSSAI := *,
		//template RegistrationWaitRange p_DisasterReturnWaitRange := *,
		//template ExtdCAGInfoList p_ExtdCAGInfoList := *,
		//template GPRS_Timer3 p_LowerBoundTimerValue := *,
		//template NG_TrackingAreaIdList p_ForbidTAIList_Roaming := *,
		//template NG_TrackingAreaIdList p_ForbidTAIList_RegProvService := *
		)) == false) {

		log("* " & __SCOPE__ & ": FAIL: NG_DEREGISTRATION_REQUEST_MT mismatch. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}
		f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
		log("* " & __SCOPE__ & ": INFO: Testbody done. *");