Commit b5a0fb5e authored by pintar's avatar pintar
Browse files

New functions and templates used in existing test cases

parent 01d6fbee
Loading
Loading
Loading
Loading
+115 −70
Original line number Diff line number Diff line
@@ -43,39 +43,55 @@ module S1AP_TCFunctions {
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                
                f_send_S1AP_initiatingMessage(
                    m_initiatingMessage_E_RABSetup(
                    {
                        m_E_RAB_IE_MME(1),
                        m_E_RAB_IE_ENB(1),
                        m_E_RAB_IE_ERAB(
                        {
                            m_E_RABToBeSetupItemBearerSUReq
                            (
//                f_send_S1AP_initiatingMessage(
//                    m_E_RABSetupRequest(
//                    {
//                        m_MME_UE_S1AP_ID(vc_MME_UE_ID),
//                        m_ENB_UE_S1AP_ID(vc_ENB_UE_ID),
//                        m_E_RABToBeSetupList(
//                        {
//                            m_E_RABToBeSetupItemBearerSUReq
//                            (
//                                -,
//                                m_e_RABlevelQoSParameters
//                                (5)
//                            )
//                        }
//                        )
//                    }
//                    )
//                );
                f_send_E_RABSetupRequest(m_E_RABSetupReqIEs(
                    vc_MME_UE_ID,
                    vc_ENB_UE_ID,
                    {m_E_RABToBeSetupItemBearerSUReq (
                        -,
                        m_e_RABlevelQoSParameters
                        (5)
                            )
                        }
                        )
                    }
                    )
                );
                    )}
                ));

                f_recv_S1AP_successfulOutcome(
                    mw_successfulOutcome_E_RABSetupResponse(
                        -,
                        {
                            mw_E_RAB_IE_MME(1),
                            mw_E_RAB_IE_ENB(1),
                            mw_E_RAB_IE_ERAB(
                f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs(
                    vc_MME_UE_ID,
                    vc_ENB_UE_ID,
                    {
                        mw_E_RABSetupItemBearerSURes
                    }
                            )
                        }
                    )
                );
                ));
                
//                f_recv_S1AP_successfulOutcome(
//                    mw_E_RABSetupResponse(
//                        {
//                            mw_MME_UE_S1AP_ID(vc_MME_UE_ID,ignore),
//                            mw_ENB_UE_S1AP_ID(vc_ENB_UE_ID,ignore),
//                            mw_E_RABSetupList(
//                            {
//                                mw_E_RABSetupItemBearerSURes
//                            }
//                            )
//                        }
//                    )
//                );
                
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 
                
@@ -93,12 +109,10 @@ module S1AP_TCFunctions {
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                
                f_send_S1AP_initiatingMessage(
                    m_initiatingMessage_E_RABSetup(
                    {
                         m_E_RAB_IE_MME(1),
                         m_E_RAB_IE_ENB(1),
                         m_E_RAB_IE_ERAB(

                f_send_E_RABSetupRequest(m_E_RABSetupReqIEs(
                    vc_MME_UE_ID,
                    vc_ENB_UE_ID,
                    {
                         m_E_RABToBeSetupItemBearerSUReq(1),
                         m_E_RABToBeSetupItemBearerSUReq(
@@ -107,24 +121,34 @@ module S1AP_TCFunctions {
                            (255)
                         )
                     }
                         )
                     }
                     )
                     
                );
                
                f_recv_S1AP_successfulOutcome(
                    mw_successfulOutcome_E_RABSetupResponse(
                        -,
                        {
                            mw_E_RAB_IE_MME(1),
                            mw_E_RAB_IE_ENB(1),
                            mw_E_RAB_IE_ERAB(
                ));
                
//                f_send_S1AP_initiatingMessage(
//                    m_E_RABSetupRequest(
//                    {
//                         m_MME_UE_S1AP_ID(vc_MME_UE_ID),
//                         m_ENB_UE_S1AP_ID(vc_ENB_UE_ID),
//                         m_E_RABToBeSetupList(
//                         {
//                             m_E_RABToBeSetupItemBearerSUReq(1),
//                             m_E_RABToBeSetupItemBearerSUReq(
//                                2,
//                                m_e_RABlevelQoSParameters
//                                (255)
//                             )
//                         }
//                         )
//                     }
//                     )
//                     
//                );

                f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs_FailedToSetupList(
                    vc_MME_UE_ID,
                    vc_ENB_UE_ID,
                    {
                          mw_E_RABSetupItemBearerSURes(1)
                            }
                            ),
                            mw_E_RAB_IE_fSUL(
                    },
                    {
                        mw_E_RABItem(
                            2,
@@ -133,10 +157,31 @@ module S1AP_TCFunctions {
                            }
                        )
                    }
                            )
                        }
                    )
                );
                ));
                
//                f_recv_S1AP_successfulOutcome(
//                    mw_E_RABSetupResponse(
//                        {
//                            mw_MME_UE_S1AP_ID(vc_MME_UE_ID,ignore),
//                            mw_ENB_UE_S1AP_ID(vc_ENB_UE_ID,ignore),
//                            mw_E_RABSetupList(
//                            {
//                                  mw_E_RABSetupItemBearerSURes(1)
//                            }
//                            ),
//                            mw_E_RABFailedToSetupList(
//                            {
//                                mw_E_RABItem(
//                                    2,
//                                    {
//                                        radioNetwork :=not_supported_QCI_value
//                                    }
//                                )
//                            }
//                            )
//                        }
//                    )
//                );
                
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());