Commit d936eab8 authored by Yann Garcia's avatar Yann Garcia
Browse files

Finalyse TC_NGAP_AMF_CMP_01 against Open5GS

parent d68aed56
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -12,7 +12,7 @@ LibNGAP_Pixits.PX_RAN_UE_NGAP_ID := 1
LibNGAP_Pixits.PX_AMF_UE_NGAP_ID   := 2
LibNGAP_Pixits.PX_PLMN_IDENTITY    := '99f907'O
LibNGAP_Pixits.PX_AMF_REGION_ID    := '00000010'B
LibNGAP_Pixits.PX_AMF_SET_ID       := '0000000100'B
LibNGAP_Pixits.PX_AMF_SET_ID       := '0000000001'B
LibNGAP_Pixits.PX_AMF_POINTER      := '000000'B
LibNGAP_Pixits.PX_GNB_ID           := '00000000000000000000000000000001'B
LibNGAP_Pixits.PX_RAN_NODE_NAME    := "UERANSIM-gnb-999-70-1"
+22 −0
Original line number Diff line number Diff line
@@ -299,6 +299,28 @@ module NGAP_Steps {
            }
        }

        /**
         * @desc
         */
        function f_NGAP_amf_UE_PDU_InitialContextSetupFailure() runs on aMFNGAPComponent {
            if (PICS_OFFLINE_MODE) {
                f_await_initial_context_setup_failure();
            } else {
                f_send_initial_context_setup_failure();
            }
        } // End of function f_NGAP_amf_UE_PDU_InitialContextSetupFailure

        /**
         * @desc
         */
        function f_NGAP_amf_UE_ContextRealease() runs on aMFNGAPComponent {
            if (PICS_OFFLINE_MODE) {
                f_await_ue_context_release_command_await_ue_context_release_complete();
            } else {
                f_await_ue_context_release_command_send_ue_context_release_complete();
            }
        } // End of function f_await_ue_context_release_command_send_ue_context_release_complete

        /**
         * @desc
         */
+22 −2
Original line number Diff line number Diff line
@@ -16,15 +16,22 @@ module NGAP_TCFunctions {
    import from LibCommon_VerdictControl all;
    import from LibCommon_Time all;

    // NG_NAS
    import from NG_NAS_MsgContainers all;

    // LibNGAP
    import from NGAP_IEs language "ASN.1:2002" all;
    import from NGAP_Constants language "ASN.1:2002" all;

    import from LibNGAP_Pixits all;
    import from LibNGAP_Templates all;
    import from LibNGAP_Functions all;
    import from LibNGAP_Interface all;
    import from LibNGAP_Steps all;

    // LibNG_NAS
    import from Lib_NG_NAS_Templates all;
    import from Lib_NG_NAS_Security_Functions all;

    // AtsNGAP
    import from NGAP_TestSystem all;
    import from NGAP_Steps all;
@@ -4430,12 +4437,25 @@ module NGAP_TCFunctions {
                                                                                                          ?,
                                                                                                          ?     */
                                   )));
                  // TODO Check security
                  // Check security
                  f_NASPDU_Get(vc_recvNGAP_PDU);
                  var NG_NAS_DL_Message_Type v_message;
                  if (f_Check_5GAKA_NAS_DL_Message(vc_recvNAS_PDU, mw_NG_REGISTRATION_ACCEPT, vc_ng_nas_security_params_type, vc_previous_nas_count_dl, v_message) == false) {
                      log("*** " & __SCOPE__ & ": FAIL: mw_NG_REGISTRATION_ACCEPT mismatch. ***");
                      setverdict(fail);
                  } else {
                      log("*** " & __SCOPE__ & ": PASS: Expected mw_NG_REGISTRATION_ACCEPT ***");
                      setverdict(pass);
                  }
                  log("v_message: ", v_message);

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

                  // Postamble
                  // Send error response to release the UE context
                  f_NGAP_amf_UE_PDU_InitialContextSetupFailure();
                  f_NGAP_amf_UE_ContextRealease();
                  f_postamble_NGAP_AMF();
                  f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
                  log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
+130 −11
Original line number Diff line number Diff line
@@ -1439,12 +1439,12 @@ module LibNGAP_Templates {
                                                                                                    id := id_SecurityKey,
                                                                                                 criticality := reject,
                                                                                                 value_ := { SecurityKey := p_nextHopNH }
                                                                                             },
                                                                                             }/*,
                                                                                             {
                                                                                                     id := id_MaskedIMEISV,
                                                                                                  criticality := ignore,
                                                                                                  value_ := { MaskedIMEISV := p_maskedIMEISV }
                                                                                             },
                                                                                             }*/,
                                                                                             {
                                                                                                     id := id_NAS_PDU,
                                                                                                  criticality := ignore,
@@ -1730,6 +1730,39 @@ module LibNGAP_Templates {
                                             }
                         } // End of template m_n2_InitialContextSetupFailure
                        /**
                         * @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.2.2.3 INITIAL CONTEXT SETUP FAILURE
                         */
                        template (value) UnsuccessfulOutcome m_n2_InitialContextSetupFailure_noPDUSessionResourceFailedToSetupListCxtFail(
                                                                                                                                          in template (value) AMF_UE_NGAP_ID p_amfUeNgapID := PX_AMF_UE_NGAP_ID,
                                                                                                                                          in template (value) RAN_UE_NGAP_ID p_ranUeNgapID := PX_RAN_UE_NGAP_ID,
                                                                                                                                          in template (value) Cause p_cause := m_cause_radioNetwork(PX_CAUSE_INITIAL_SETUP_FAILURE)
                                                                                                                                          ) := {
                            procedureCode := id_InitialContextSetup,
                            criticality   := reject,
                            value_        := {
                                              InitialContextSetupFailure := {
                                                                             protocolIEs := {
                                                                                             {
                                                                                                 id := id_AMF_UE_NGAP_ID,
                                                                                                 criticality := reject,
                                                                                                 value_ := { AMF_UE_NGAP_ID := p_amfUeNgapID }
                                                                                             },
                                                                                             {
                                                                                                 id := id_RAN_UE_NGAP_ID,
                                                                                                 criticality := reject,
                                                                                                 value_ := { RAN_UE_NGAP_ID := p_ranUeNgapID }
                                                                                             },
                                                                                             {
                                                                                                 id := id_Cause,
                                                                                                 criticality := ignore,
                                                                                                 value_ := { Cause := p_cause }
                                                                                             }
                                                                                            }
                                                                            }
                                             }
                         } // End of template m_n2_InitialContextSetupFailure_noPDUSessionResourceFailedToSetupListCxtFail
                    } // End of group Send
                    group Receive {
@@ -1773,6 +1806,39 @@ module LibNGAP_Templates {
                                             }
                         } // End of template mw_n2_PDUInitialContextSetupFailure
                        /**
                         * @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.2.2.3 INITIAL CONTEXT SETUP FAILURE
                         */
                        template (present) UnsuccessfulOutcome mw_n2_InitialContextSetupFailure_noPDUSessionResourceFailedToSetupListCxtFail(
                                                                                                                                             template (present) AMF_UE_NGAP_ID p_amfUeNgapID := ?,
                                                                                                                                             template (present) RAN_UE_NGAP_ID p_ranUeNgapID := ?,
                                                                                                                                             template (present) Cause p_cause := ?
                                                                                                                                             ) := {
                            procedureCode := id_InitialContextSetup,
                            criticality   := reject,
                            value_        := {
                                              InitialContextSetupFailure := {
                                                                             protocolIEs := {
                                                                                             {
                                                                                                 id := id_AMF_UE_NGAP_ID,
                                                                                                 criticality := reject,
                                                                                                 value_ := { AMF_UE_NGAP_ID := p_amfUeNgapID }
                                                                                             },
                                                                                             {
                                                                                                 id := id_RAN_UE_NGAP_ID,
                                                                                                 criticality := reject,
                                                                                                 value_ := { RAN_UE_NGAP_ID := p_ranUeNgapID }
                                                                                             },
                                                                                             {
                                                                                                 id := id_Cause,
                                                                                                 criticality := ignore,
                                                                                                 value_ := { Cause := p_cause }
                                                                                             }
                                                                                            }
                                                                            }
                                             }
                         } // End of template mw_n2_PDUInitialContextSetupFailure_noPDUSessionResourceFailedToSetupListCxtFail
                    } // End of group Receive
                } // End of group INITIAL_CONTEXT_SETUP_FAILURE
@@ -1933,7 +1999,7 @@ module LibNGAP_Templates {
                                                                                         in template (value) RAN_UE_NGAP_ID p_ranUeNgapID := PX_RAN_UE_NGAP_ID,
                                                                                         in template (value) PDUSessionResourceSetupListSURes p_pDUSessionResourceSetupListSURes
                                                                                         ) := {
                            procedureCode := id_InitialContextSetup,
                            procedureCode := id_UEContextRelease,
                            criticality   := reject,
                            value_        := {
                                              PDUSessionResourceSetupResponse := {
@@ -1958,6 +2024,33 @@ module LibNGAP_Templates {
                                             }
                         } // End of template m_n2_UEContextReleaseComplete
                        /**
                         * @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.2.2.6 UE CONTEXT RELEASE COMPLETE
                         */
                        template (value) SuccessfulOutcome m_n2_UEContextReleaseComplete_noPDUSessionResourceSetupListSURes(
                                                                                                                            in template (value) AMF_UE_NGAP_ID p_amfUeNgapID := PX_AMF_UE_NGAP_ID,
                                                                                                                            in template (value) RAN_UE_NGAP_ID p_ranUeNgapID := PX_RAN_UE_NGAP_ID
                                                                                                                            ) := {
                            procedureCode := id_UEContextRelease,
                            criticality   := reject,
                            value_        := {
                                              PDUSessionResourceSetupResponse := {
                                                                                  protocolIEs := {
                                                                                                  {
                                                                                                      id := id_AMF_UE_NGAP_ID,
                                                                                                      criticality := reject,
                                                                                                      value_ := { AMF_UE_NGAP_ID := p_amfUeNgapID }
                                                                                                  },
                                                                                                  {
                                                                                                      id := id_RAN_UE_NGAP_ID,
                                                                                                      criticality := reject,
                                                                                                      value_ := { RAN_UE_NGAP_ID := p_ranUeNgapID }
                                                                                                  }
                                                                                                 }
                                                                                 }
                                             }
                         } // End of template m_n2_UEContextReleaseComplete_noPDUSessionResourceSetupListSURes
                    } // End of group Send
                    group Receive {
@@ -1995,6 +2088,33 @@ module LibNGAP_Templates {
                                             }
                         } // End of template mw_n2_UEContextReleaseComplete
                        /**
                         * @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.2.2.6 UE CONTEXT RELEASE COMPLETE
                         */
                        template (present) SuccessfulOutcome mw_n2_UEContextReleaseComplete_noPDUSessionResourceSetupListSURes(
                                                                                                                               template (present) AMF_UE_NGAP_ID p_amfUeNgapID := ?,
                                                                                                                               template (present) RAN_UE_NGAP_ID p_ranUeNgapID := ?
                                                                                                                               ) := {
                            procedureCode := id_InitialContextSetup,
                            criticality   := reject,
                            value_        := {
                                              PDUSessionResourceSetupResponse := {
                                                                                  protocolIEs := {
                                                                                                  {
                                                                                                      id := id_AMF_UE_NGAP_ID,
                                                                                                      criticality := reject,
                                                                                                      value_ := { AMF_UE_NGAP_ID := p_amfUeNgapID }
                                                                                                  },
                                                                                                  {
                                                                                                      id := id_RAN_UE_NGAP_ID,
                                                                                                      criticality := reject,
                                                                                                      value_ := { RAN_UE_NGAP_ID := p_ranUeNgapID }
                                                                                                  }
                                                                                                 }
                                                                                 }
                                             }
                         } // End of template mw_n2_UEContextReleaseComplete_noPDUSessionResourceSetupListSURes
                    } // End of group Receive
                } // End of group UE_CONTEXT_RELEASE_COMPLETE
@@ -5234,7 +5354,7 @@ module LibNGAP_Templates {
                                                                                    id := id_RRCEstablishmentCause,
                                                                                    criticality := ignore,
                                                                                    value_ := { RRCEstablishmentCause := p_rrcEstCause }
                                                                                   }//,
                                                                                   },
                                                                                   /*{
                                                                                   id := NGAP_Constants.id_FiveG_S_TMSI,
                                                                                   criticality := NGAP_CommonDataTypes.reject,
@@ -5246,14 +5366,13 @@ module LibNGAP_Templates {
                                                                                   criticality := NGAP_CommonDataTypes.ignore,
                                                                                   Value := "NGAP_IEs.AMFSetID",
                                                                                   presence := NGAP_CommonDataTypes.optional_
                                                                                   },
                                                                                   },*/
                                                                                   {
                                                                                    id := NGAP_Constants.id_UEContextRequest,
                                                                                   criticality := NGAP_CommonDataTypes.ignore,
                                                                                   Value := "NGAP_IEs.",
                                                                                   presence := NGAP_CommonDataTypes.optional_
                                                                                   },
                                                                                   {
                                                                                    criticality := ignore,
                                                                                    value_ := { UEContextRequest := requested}
                                                                                   }//,
                                                                                   /*{
                                                                                   id := NGAP_Constants.id_AllowedNSSAI,
                                                                                   criticality := NGAP_CommonDataTypes.reject,
                                                                                   Value := "NGAP_IEs.AllowedNSSAI",
+61 −0

File changed.

Preview size limit exceeded, changes collapsed.