Commit 2d4f6603 authored by juvancic's avatar juvancic
Browse files

TP_REG_REJ02

parent 97ee9570
Loading
Loading
Loading
Loading
+80 −0
Original line number Diff line number Diff line
@@ -14,10 +14,13 @@ module NGAP_Steps {
    // LibNGAP
    import from LibNGAP_Steps  all;
    import from LibNGAP_Interface all;
    import from LibNGAP_Pixits all;
    import from LibNGAP_Templates all;

    // NGAP_Ats
    import from NGAP_Pixits all;
  

    group GlobalSteps {

        /**
@@ -58,6 +61,83 @@ module NGAP_Steps {
            vc_SUT_address := PX_NGAP_SUT_IPADDR;
            vc_SUT_port    := PX_NGAP_SUT_PORT;

            f_send_NGAP_PDU(
                m_ngap_initMsg(
                    m_n2_NGSetupRequest(
                            m_globalRANNodeID_globalGNB_ID(
                                m_ie_globalGnbId(
                                PX_PLMN_IDENTITY,
                                PX_GNB_ID,//'0000000000000000000000'B,//in template (value) bitstring p_gnbId,
                                -//in template (omit) GlobalGNB_ID.iE_Extensions p_iE_Extensions := omit
                        )),
                        {
                            m_supportedTAItem(
                                PX_TACode,
                                {
                                    m_ie_broadcastPLMNItem(
                                        PX_PLMN_IDENTITY,//m_ie_pLMNIdentity('00f110'O),
                                        {
                                            m_sliceSupportItem(
                                                    m_s_NSSAI(
                                                        PX_SST,
                                                        PX_SD,//      in template (omit) SD p_sD := omit,
                                                        -//      in template (omit) S_NSSAI.iE_Extensions p_iE_Extensions := omit
                                                    ),
                                                    -//in template (omit) SliceSupportItem.iE_Extensions p_iE_Extensions := omit
                                                )
                                        }
                                    )
                                },//in template (value) BroadcastPLMNList p_broadcastPLMNList,
                                -//in template (omit) SupportedTAItem.iE_Extensions p_iE_Extensions := omit
                            )
                        },
                        PX_PAGING_DRX
                    )
                )
            );               

            f_recv_NGAP_PDU(
                mw_ngap_succMsg(
                    mw_n2_NGSetupResponse(-,-,-,-)
                    )
            );
            // f_recv_NGAP_PDU(
            //     mw_ngap_succMsg(
            //         mw_n2_NGSetupResponse(
            //         ?,
            //         {
            //             mw_servedGUAMIItem(
            //             mw_gUAMI(
            //                 ?,//template (present) PLMNIdentity p_pLMNIdentity := ?,
            //                 ?,//template (present) AMFRegionID p_aMFRegionID := ?,
            //                 ?,//template (present) AMFSetID p_aMFSetID := ?,
            //                 ?,//template (present) AMFPointer p_aMFPointer := ?,
            //                 *//template GUAMI.iE_Extensions p_iE_Extensions := *
            //             ),//template (present) GUAMI p_gUAMI := ?,
            //             *,//template AMFName p_backupAMFName := *,
            //             *//template ServedGUAMIItem.iE_Extensions p_iE_Extensions := *
            //             )
            //         },//template (present) ServedGUAMIList p_servedGUAMIList := ?,
            //         ?,//template (present) RelativeAMFCapacity p_relativeAmfCap:= ?,
            //         {
            //             mw_pLMNSupportItem(
            //             ?,//template (present) PLMNIdentity p_pLMNIdentity := ?,
            //             {
            //                 mw_sliceSupportItem(
            //                 mw_s_NSSAI(
            //                     ?,//template (present) SST p_sST := ?,
            //                     *,//template SD p_sD := *,
            //                     *//template S_NSSAI.iE_Extensions p_iE_Extensions := *
            //                 ),//template (present) S_NSSAI p_s_NSSAI := ?,
            //                 ?//template SliceSupportItem.iE_Extensions p_iE_Extensions := *
            //                 )
            //             },//template (present) SliceSupportList p_sliceSupportList := ?,
            //             *//template PLMNSupportItem.iE_Extensions p_iE_Extensions := *
            //             )
            //         }//template (present) PLMNSupportList p_plmnSuppList := ?
            //         )
            //     )
            // );
        } // End of function f_NGAP_gnb_init

        /**
+6 −6
Original line number Diff line number Diff line
@@ -910,13 +910,13 @@ module NG_NAS_TCFunctions {
                            {'1'B,'001'B},//in template (value) RegistrationType p_RegistrationType,
                            '111'B,//in template (value) NAS_KsiValue p_KeySetId,
                            '0'B,//in template (value) B1_Type p_Tsc,
                            m_NG_MobileIdentitySUCI('0000'B,'00f110214300014444330302'O)//in template (value) NG_MobileIdentity p_MobileId,
                            m_NG_MobileIdentitySUCI('0000'B,'00f110214300014444330302'O),//in template (value) NG_MobileIdentity p_MobileId,
                            
                            /* in template (omit) NAS_KeySetIdentifier p_NonCurrentKSI := omit,
                            in template (omit) NG_GMM_Cap p_GMM_Cap := omit,
                            in template (omit) NG_UE_SecurityCapability p_UESecurityCap := omit,
                            in template (omit) NSSAI p_ReqNSSAI := omit,
                            in template (omit) NG_TrackingAreaId p_TAI := omit,
                            omit, // in template (omit) NAS_KeySetIdentifier p_NonCurrentKSI := omit,
                            omit, // in template (omit) NG_GMM_Cap p_GMM_Cap := omit,
                            omit //in template (omit) NG_UE_SecurityCapability p_UESecurityCap := omit,
                            //in template (omit) NSSAI p_ReqNSSAI := omit,
                            /*in template (omit) NG_TrackingAreaId p_TAI := omit,
                            in template (omit) UE_NetworkCap p_UE_NetworkCap := omit,
                            in template (omit) ULDataStatus p_ULDataStatus := omit,
                            in template (omit) PDU_SessionStatus p_PDU_SessionStatus := omit,