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

Validating TC_NGAP_AMF_CMP_02

parent 8b93f585
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -270,7 +270,7 @@ module NGAP_Steps {
            if (PICS_OFFLINE_MODE) {
                f_await_session_establishment_request();
            } else {
                f_send_session_establishment_request();
                f_send_pdu_session_establishment_request();
            }
        } // End of function f_NGAP_amf_UE_PDU_SessionEstablishmentRequest

+2 −1
Original line number Diff line number Diff line
@@ -4030,6 +4030,7 @@ module NGAP_TCFunctions {
                  // Local variables

                  // Preamble
                  f_NGAP_amf_init();
                  f_NGAP_amf_UE_Register(); // f_await_NGSetupRequest_send_NGSetupRespone();
                                            // f_send_registration_request();
                  f_NGAP_amf_UE_Authentication(); // f_await_authentication_request_send_authentication_response();
@@ -4042,7 +4043,7 @@ module NGAP_TCFunctions {

                  // Body
                  //action("Trigger PDU session resource SETUP!");
                  f_send_session_establishment_request();
                  f_NGAP_amf_UE_PDU_SessionEstablishmentRequest();

                  f_recv_NGAP_PDU(
                                  mw_ngap_initMsg(
+2 −2
Original line number Diff line number Diff line
@@ -851,8 +851,8 @@ module LibNGAP_Functions {
        }
    }

    function f_send_session_establishment_request() runs on NGNASComponent {
        log(">>> f_send_session_establishment_request");
    function f_send_pdu_session_establishment_request() runs on NGNASComponent {
        log(">>> f_send_pdu_session_establishment_request");

        // 1. Prepare PDUSessionEstablishmentRequest message
        var NG_NAS_UL_Message_Type v_ng_pdu_session_establishment_request := valueof(
+39 −23
Original line number Diff line number Diff line
@@ -157,29 +157,29 @@ module LibNGAP_Steps {
            f_NGAPPDU_Set(p_PDU);
            log("f_send_NGAP_PDU: vc_sendNGAP_PDU: ", vc_sendNGAP_PDU);
            N2_gNBaMF_P.send(p_PDU);
            tc_noac.start(3.0);
             alt {
                [] N2_gNBaMF_P.check(
                                     receive(
                                             mw_ngap_initMsg(
                                                             mw_n2_ErrorIndication_ids(
                                                                                       vc_AMF_UE_ID,
                                                                                       vc_RAN_UE_ID
                                             )))) {
                    // Let's the test case proceed with the error indication, but log it as inconclusive
                    setverdict(inconc,"*** " & __SCOPE__ & ": INCONC: Error indication received. ***");
                }
                [] N2_gNBaMF_P.check(
                                     receive(
                                             mw_ngap_initMsg
                                             )) {
                    tc_noac.stop;
                }
                [] tc_noac.timeout {
                    // No message received, let's consider the message was accepted and proceed with the test case execution
                    log("f_send_NGAP_PDU: Message accepted");
                }
            }
            // tc_noac.start(3.0);
            //  alt {
            //     [] N2_gNBaMF_P.check(
            //                          receive(
            //                                  mw_ngap_initMsg(
            //                                                  mw_n2_ErrorIndication_ids(
            //                                                                            vc_AMF_UE_ID,
            //                                                                            vc_RAN_UE_ID
            //                                  )))) {
            //         // Let's the test case proceed with the error indication, but log it as inconclusive
            //         setverdict(inconc,"*** " & __SCOPE__ & ": INCONC: Error indication received. ***");
            //     }
            //     [] N2_gNBaMF_P.check(
            //                          receive(
            //                                  NGAP_PDU:?
            //                                  )) {
            //         tc_noac.stop;
            //     }
            //     [] tc_noac.timeout {
            //         // No message received, let's consider the message was accepted and proceed with the test case execution
            //         log("f_send_NGAP_PDU: Message accepted");
            //     }
            // }
        } // End of function f_send_NGAPPDU

        /**
@@ -348,6 +348,22 @@ module LibNGAP_Steps {
                    stop;
                }
            }
            [] N2_gNBaMF_P.receive(
                                   mw_ngap_initMsg(
                                                   mw_n2_ErrorIndication_ids(
                                                                             vc_AMF_UE_ID,
                                                                             vc_RAN_UE_ID
                                   ))) {
                // Let's the test case proceed with the error indication, but log it as inconclusive
                setverdict(inconc,"*** " & __SCOPE__ & ": INCONC: Error indication received. ***");
                all timer.stop;
                if (vc_serverStop==false) {
                    f_selfOrClientSyncAndVerdict("error", e_timeout);
                }
                else {
                    stop;
                }
            }
            [] N2_gNBaMF_P.receive (NGAP_PDU:{initiatingMessage := ?}) -> value vc_recvNGAP_PDUDefault {
                repeat;
            }