S1AP_TCFunctions.ttcn 303 KB
Newer Older
garciay's avatar
garciay committed
                        )},
                        m_UESecurityCapabilities(
                            PX_UNSUPPORTED_ENCRYPTION_ALGORITHM,
garciay's avatar
garciay committed
                        ),
                        m_securityKey
                    )
                );
                // 2. sends an ERROR_INDICATION
                f_recv_Error_Indication(
                    mw_error_IndicationIEs(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        mw_criticalityDiagnostics_IE(
                             mw_criticalityDiagnostics(
                                PX_PROCEURE_CODE,
                                PX_TRIGGERING_CODE,
                                PX_CRITICALITY,
                                { 
                                    mw_criticalityDiagnostics_IE_Item(
                                        reject, 
                                        -, 
                                        missing
                                    ) 
                                }
                            )
                        )
                ));
                
                // Postamble
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 
garciay's avatar
garciay committed
                f_postamble_S1AP_eNB();
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
garciay's avatar
garciay committed
            } // End of function f_TC_S1AP_ENB_ERR_03
garciay's avatar
garciay committed
            /**
             * @desc Testcase function for TC_S1AP_ENB_ERR_04
             */
            function f_TC_S1AP_ENB_ERR_04() runs on S1APComponent { 
                // Local variables
                
                // Preamble
                f_S1AP_enb_init();
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                
                // Test body
                // 1. on receipt of an INITIAL_CONTEXT_SETUP_REQUEST
                f_send_InitialContext_SetupRequest(
                    m_InitialContextSetupReqIEs_noENB(
                        vc_MME_UE_ID,
                        m_UEAggregateMaximumBitrate(1,1),
                        {
                            m_E_RABToBeSetupItemCtxtSUReq (
                                -,
                                m_e_RABlevelQoSParameters
                                (0),
                                -
                        )},
                        m_UESecurityCapabilities(
                            PX_UNSUPPORTED_ENCRYPTION_ALGORITHM,
garciay's avatar
garciay committed
                        ),
                        m_securityKey
                    )
                );
                // 2. sends an INITIAL_CONTEXT_SETUP_FAILURE
                f_recv_InitialContext_SetupResponse(
                    mw_InitialContextSetupFailureIEs_CriticalyDiagnostic(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        mw_cause_protocol(abstract_syntax_error_falsely_constructed_message), 
                        mw_criticalityDiagnostics(
                            PX_PROCEURE_CODE,
                            PX_TRIGGERING_CODE,
                            PX_CRITICALITY
                )));
                
                // Postamble
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 
                
                f_postamble_S1AP_eNB();
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                
            } // End of function f_TC_S1AP_ENB_ERR_04
garciay's avatar
garciay committed
            /**
             * @desc Testcase function for TC_S1AP_ENB_ERR_05
             */
            function f_TC_S1AP_ENB_ERR_05() runs on S1APComponent { 
                // Local variables
garciay's avatar
garciay committed
                // Preamble
                f_S1AP_enb_init();
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
garciay's avatar
garciay committed
                // Test body
                // 1. on receipt of an INITIAL_CONTEXT_SETUP_REQUEST
                f_send_E_RABSetupRequest(
garciay's avatar
garciay committed
                    m_E_RABSetupReqIEs_no_eNB(
garciay's avatar
garciay committed
                        vc_MME_UE_ID,
                        {
                            m_E_RABToBeSetupItemBearerSUReq (
                                -,
                                m_e_RABlevelQoSParameters(5)
                            )
                        }
                ));
                // 2. sends an ERROR_INDICATION
                f_recv_Error_Indication(
                    mw_error_IndicationIEs(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        mw_criticalityDiagnostics_IE(
                             mw_criticalityDiagnostics(
                                PX_PROCEURE_CODE,
                                PX_TRIGGERING_CODE,
                                PX_CRITICALITY,
                                { 
                                    mw_criticalityDiagnostics_IE_Item(
                                        reject, 
                                        -, 
                                        missing
                                    ) 
                                }
                            )
                        )
                ));
                
                // Postamble
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 
                
                f_postamble_S1AP_eNB();
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
garciay's avatar
garciay committed
            } // End of function f_TC_S1AP_ENB_ERR_05
garciay's avatar
garciay committed
            /**
             * @desc Testcase function for TC_S1AP_ENB_ERR_06
             */
            function f_TC_S1AP_ENB_ERR_06() runs on S1APComponent { 
                // Local variables
                
                // Preamble
                f_S1AP_enb_init();
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                
                // Test body
                // 1. on receipt of an INITIAL_CONTEXT_SETUP_REQUEST
                f_send_InitialContext_SetupRequest(
garciay's avatar
garciay committed
                    m_InitialContextSetupReqIEs_duplicate_eNB(
garciay's avatar
garciay committed
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        m_UEAggregateMaximumBitrate(1,1),
                        {
                            m_E_RABToBeSetupItemCtxtSUReq (
                                -,
                                m_e_RABlevelQoSParameters
                                (0),
                                -
                        )},
                        m_UESecurityCapabilities(
                            PX_UNSUPPORTED_ENCRYPTION_ALGORITHM,
garciay's avatar
garciay committed
                        ),
                        m_securityKey
                    )
                );
                // 2. sends an INITIAL_CONTEXT_SETUP_FAILURE
                f_recv_InitialContext_SetupResponse(
                    mw_InitialContextSetupFailureIEs_CriticalyDiagnostic(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        mw_cause_protocol(abstract_syntax_error_falsely_constructed_message),
                        mw_criticalityDiagnostics(
                            PX_PROCEURE_CODE,
                            PX_TRIGGERING_CODE,
                            PX_CRITICALITY
                )));
                
                // Postamble
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 
                
                f_postamble_S1AP_eNB();
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                
            } // End of function f_TC_S1AP_ENB_ERR_06
garciay's avatar
garciay committed
            /**
             * @desc Testcase function for TC_S1AP_ENB_ERR_07
             */
            function f_TC_S1AP_ENB_ERR_07() runs on S1APComponent { 
                // Local variables
garciay's avatar
garciay committed
                // Preamble
                f_S1AP_enb_init();
                // to indicate an ENB Configuration Transfer procedure
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
garciay's avatar
garciay committed
                // Test body
                // 1. on receipt of an INITIAL_CONTEXT_SETUP_REQUEST
                f_send_E_RABSetupRequest(
                    m_E_RABSetupReqIEs_duplicate_ENB(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        {
                            m_E_RABToBeSetupItemBearerSUReq (
                                -,
                                m_e_RABlevelQoSParameters(5)
                            )
                        }
                ));
                // 2. sends an ERROR_INDICATION
                f_recv_Error_Indication(
                    mw_error_IndicationIEs(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        mw_cause_IE(
                            mw_cause_protocol(abstract_syntax_error_falsely_constructed_message)
                        )
                ));
garciay's avatar
garciay committed
                // Postamble
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 
                
                f_postamble_S1AP_eNB();
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                
            } // End of function f_TC_S1AP_ENB_ERR_07
garciay's avatar
garciay committed
            /**
             * @desc Testcase function for TC_S1AP_ENB_ERR_08
             */
            function f_TC_S1AP_ENB_ERR_08() runs on S1APComponent { 
                // Local variables
garciay's avatar
garciay committed
                // Preamble
                f_S1AP_enb_init();
                // Preamble action: E-RAB Setup is exchanged
                f_rABSetupRequest();
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
garciay's avatar
garciay committed
                // Test body
                // 1. on receipt of an INITIAL_CONTEXT_SETUP_REQUEST
                f_send_E_RABSetupRequest(
                    m_E_RABSetupReqIEs_duplicate_ENB(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        {
                            m_E_RABToBeSetupItemBearerSUReq (
                                -,
                                m_e_RABlevelQoSParameters(5)
                            )
                        }
                ));
                // 2. sends an ERROR_INDICATION
                f_recv_Error_Indication(
                    mw_error_IndicationIEs(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        mw_cause_IE(
                            mw_cause_ran(unknown_enb_ue_s1ap_id)
                        )
                ));
                
                // Postamble
                f_rABSetupRelease();
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 
                
                f_postamble_S1AP_eNB();
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
garciay's avatar
garciay committed
            } // End of function f_TC_S1AP_ENB_ERR_08
        } // End of group Unknown_unforseen_errorneous_group
garciay's avatar
garciay committed
    } // End of group eNB_Role
garciay's avatar
garciay committed
    group MME_Role {
        
        /**
         * @desc E-RAB management group
         * @see ETSI DTS/INT-00135-2 Clause 5.2.2.1.2  E-RAB management group
         */
garciay's avatar
garciay committed
        group ERAB_management_group { 
            
            /**
garciay's avatar
garciay committed
             * @desc Testcase function for TC_S1AP_eNB_RAB_01
garciay's avatar
garciay committed
             */
            function f_TC_S1AP_MME_RAB_01() runs on S1APComponent { 
garciay's avatar
garciay committed
                // Local variables
                
                // Preamble
                f_S1AP_mme_init();
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                         
                // Test body
                action("trigger an Initial E-RAB Setup procedure");
              
                f_recv_E_RABSetupRequest(mw_E_RABSetupReqIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
garciay's avatar
garciay committed
                    { mw_E_RABToBeSetupItemBearerSUReq(?,?,?,?,?) }
garciay's avatar
garciay committed
                
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 

                // Postamble                                
                f_send_E_RABSetupResponse(m_E_RABSetupResIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    {m_E_RABSetupItemBearerSURes}
                ));  
garciay's avatar
garciay committed
                f_postamble_S1AP_MME();
garciay's avatar
garciay committed
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                
garciay's avatar
garciay committed
            } // End of function f_TC_S1AP_MME_RAB_01
rennoch's avatar
rennoch committed

            /**
             * @desc Testcase function for TC_S1AP_eNB_RAB_02
             */
            function f_TC_S1AP_MME_RAB_02() runs on S1APComponent { 
                // Local variables
                
                // Preamble
                f_S1AP_mme_init();
                f_rABSetupRequest();
                                
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                         
                // Test body
                action("trigger an E-RAB Modify request");
              
                f_recv_E_RABModifiedRequest(mw_E_RABModifiedReqIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
garciay's avatar
garciay committed
                    {mw_E_RABToBeModifiedItemBearerSUReq(?,mw_e_RABlevelQoSParameters(5),?)}
rennoch's avatar
rennoch committed
                ));
                
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 

                // Postamble                                

                f_postamble_S1AP_MME();
                
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                
            } // End of function f_TC_S1AP_MME_RAB_02

            /**
             * @desc Testcase function for TC_S1AP_eNB_RAB_03
             */
            function f_TC_S1AP_MME_RAB_03() runs on S1APComponent { 
                // Local variables
                
                // Preamble
                f_S1AP_mme_init();
                f_rABSetupRequest();
                                
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                         
                // Test body
                action("trigger an E-RAB Release request");
              
                f_recv_E_RABReleaseCommand(mw_E_RABReleaseCmdIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    {mw_E_RABItem}
                ));
                
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 

                // Postamble                                

                f_postamble_S1AP_MME();
                
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                
            } // End of function f_TC_S1AP_MME_RAB_03

            /**
             * @desc Testcase function for TC_S1AP_eNB_RAB_04
             */
            function f_TC_S1AP_MME_RAB_04() runs on S1APComponent { 
                // Local variables
                const E_RAB_ID c_E_RAB_ID_A := 0;
                
                // Preamble
                f_S1AP_mme_init();
                f_rABSetupRequest();
                                
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                         
                // Test body
                f_send_E_RABModifiedInd(
                   m_E_RABModifiedIndIEs(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        {
                            m_E_RABToBeModifiedItemBearerModInd(
                                c_E_RAB_ID_A,
                                -,
                                -
                            )
                        }
                )); 
                              
                f_recv_E_RABModificationConfirm(mw_E_RABModificationConfirmIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    {mw_E_RABItem}
                ));
                
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 

                // Postamble                                

                f_postamble_S1AP_MME();
                
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                
            } // End of function f_TC_S1AP_MME_RAB_04

            /**
             * @desc Testcase function for TC_S1AP_eNB_RAB_05
             */
            function f_TC_S1AP_MME_RAB_05() runs on S1APComponent { 
                // Local variables
                const E_RAB_ID c_E_RAB_ID_A := 0;
                
                // Preamble
                f_S1AP_mme_init();
                f_rABSetupRequest();
                                
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                         
                // Test body
                f_send_E_RABModifiedInd(
                   m_E_RABModifiedIndIEs(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        {
                            m_E_RABToBeModifiedItemBearerModInd(
                                c_E_RAB_ID_A,
garciay's avatar
garciay committed
                                PX_INVALID_TPORT_LAYER_ADDR,
                                -
                            )
                        }
                )); 
                              
                f_recv_E_RABModificationConfirm(mw_E_RABModificationConfirmIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    {mw_E_RABItem(-,mw_cause_transport((transport_resource_unavailable,unspecified)))}
                ));
                
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 

                // Postamble                                

                f_postamble_S1AP_MME();
                
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                
            } // End of function f_TC_S1AP_MME_RAB_05

            /**
             * @desc Testcase function for TC_S1AP_eNB_RAB_06
             */
            function f_TC_S1AP_MME_RAB_06() runs on S1APComponent { 
                // Local variables
                const E_RAB_ID c_E_RAB_ID_A := 0;
                
                // Preamble
                f_S1AP_mme_init();
                f_rABSetupRequest();
                                
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                         
                // Test body
                f_send_E_RABModifiedInd(
                   m_E_RABModifiedIndIEs(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        {
                            m_E_RABToBeModifiedItemBearerModInd(
                                c_E_RAB_ID_A,
                                PX_INVALID_TPORT_LAYER_ADDR,
                                -
                            )
                        }
                )); 
                              
                f_recv_E_RABModificationConfirm(mw_E_RABModificationConfirmIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    {mw_E_RABItem(-,?)}
                ));
                
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 

                // Postamble                                

                f_postamble_S1AP_MME();
                
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                
            } // End of function f_TC_S1AP_MME_RAB_06

            /**
             * @desc Testcase function for TC_S1AP_eNB_RAB_07
             */
            function f_TC_S1AP_MME_RAB_07() runs on S1APComponent { 
                // Local variables
                const E_RAB_ID c_E_RAB_ID_A := 0;
                
                // Preamble
                f_S1AP_mme_init();
                f_rABSetupRequest();
                                
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                         
                // Test body
                f_send_E_RABModifiedInd(
                  m_E_RABModifiedIndIEs_CSG(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        {
                            m_E_RABToBeModifiedItemBearerModInd(
                                c_E_RAB_ID_A,
                                -,
                                -
                            )
                        },
                        m_CSGMembershipInfo
                f_recv_E_RABModificationConfirm(mw_E_RABModificationConfirmIEsCSG(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    {mw_E_RABItem},
                    mw_CSGMembershipInfo
                ));
                
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 

                // Postamble                                

                f_postamble_S1AP_MME();
                
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                
            } // End of function f_TC_S1AP_MME_RAB_07
            
            /**
             * @desc Testcase function for TC_S1AP_eNB_RAB_08
             */
            function f_TC_S1AP_MME_RAB_08() runs on S1APComponent { 
                // Local variables
                const E_RAB_ID c_E_RAB_ID_A := 0;
                const E_RAB_ID c_E_RAB_ID_B := 1;
                // Preamble action: INITIAL_CONTEXT_SETUP_REQUEST
                // containing at least two E-RABs and
                // INITIAL_CONTEXT_SETUP_RESPONSE are exchanged.
                f_rABInitialContextSetup({
                                                  m_E_RABToBeSetupItemCtxtSUReq
                                                  (c_E_RAB_ID_A,
                                                   m_e_RABlevelQoSParameters),
                                                  m_E_RABToBeSetupItemCtxtSUReq
                                                  (c_E_RAB_ID_B,
                                                   m_e_RABlevelQoSParameters)
                                              });
                                                
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                         
                // Test body
                f_send_E_RABModifiedInd(
                    m_E_RABModifiedIndIEs(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        {
                            m_E_RABToBeModifiedItemBearerModInd(
                                c_E_RAB_ID_A,
                                -,
                                -
                            )
                        }
                )); 
                              
                f_recv_E_RABModificationConfirm(mw_E_RABModificationConfirmIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    {   
                        mw_E_RABItem(c_E_RAB_ID_A, {radioNetwork := unspecified })
                    }
                ));
                
                f_recv_UE_Context_Release_Request(mw_UeContextReleaseRequestIEs
                    (vc_MME_UE_ID, vc_eNB_UE_ID, {radioNetwork := unspecified }));               


                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 

                // Postamble                                

                f_postamble_S1AP_MME();
                
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                
            } // End of function f_TC_S1AP_MME_RAB_08            

            /**
             * @desc Testcase function for TC_S1AP_eNB_RAB_09
             */
            function f_TC_S1AP_MME_RAB_09() runs on S1APComponent { 
                // Local variables
                const E_RAB_ID c_E_RAB_ID_A := 0;
                const E_RAB_ID c_E_RAB_ID_B := 1;
                // Preamble action: INITIAL_CONTEXT_SETUP_REQUEST
                // containing at least two E-RABs and
                // INITIAL_CONTEXT_SETUP_RESPONSE are exchanged.
                f_rABInitialContextSetup({
                                                  m_E_RABToBeSetupItemCtxtSUReq
                                                  (c_E_RAB_ID_A,
                                                   m_e_RABlevelQoSParameters),
                                                  m_E_RABToBeSetupItemCtxtSUReq
                                                  (c_E_RAB_ID_B,
                                                   m_e_RABlevelQoSParameters)
                                              });               
                                
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                         
                // Test body
                f_send_E_RABModifiedInd(
                    m_E_RABModifiedIndIEs(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        {
                            m_E_RABToBeModifiedItemBearerModInd(
                                c_E_RAB_ID_A,
                                -,
                                -
                            ),
                            m_E_RABToBeModifiedItemBearerModInd(
                                c_E_RAB_ID_A,
                                -,
                                -
                            )
                            
                        }
                )); 
                              
                f_recv_E_RABModificationConfirm(mw_E_RABModificationConfirmIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    {   
                        mw_E_RABItem(c_E_RAB_ID_A, {radioNetwork := unspecified })
                    }
                ));
                
                f_recv_UE_Context_Release_Request(mw_UeContextReleaseRequestIEs
                    (vc_MME_UE_ID, vc_eNB_UE_ID, {radioNetwork := unspecified }));               
                
                
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 

                // Postamble                                

                f_postamble_S1AP_MME();
                
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                
            } // End of function f_TC_S1AP_MME_RAB_09            


            /**
             * @desc Testcase function for TC_S1AP_eNB_RAB_10
             */
            function f_TC_S1AP_MME_RAB_10() runs on S1APComponent { 
                // Local variables
                const E_RAB_ID c_E_RAB_ID_A := 0;
                
                // Preamble
                f_S1AP_mme_init();
                f_rABSetupRequest();
                                
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                         
                // Test body
                f_send_E_RABModifiedInd(
                  m_E_RABModifiedIndIEs_CSG(
                        vc_MME_UE_ID,
                        vc_eNB_UE_ID,
                        {
                            m_E_RABToBeModifiedItemBearerModInd(
                                c_E_RAB_ID_A,
                                -,
                                -
                            )
                        },
                        m_CSGMembershipInfo(-,-,omit)
                )); 
                              
                f_recv_E_RABModificationConfirm(mw_E_RABModificationConfirmIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    {mw_E_RABItem(-,?)}
                ));
                
                f_recv_InitialContext_SetupRequest((mw_UeContextReleaseCommandIEs_MME, mw_UeContextReleaseCommandIEs_ENB));                                
                
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 

                // Postamble                                

                f_postamble_S1AP_MME();
                
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                
            } // End of function f_TC_S1AP_MME_RAB_10
garciay's avatar
garciay committed
            
        } // End of group ERAB_management_group
        /**
         * @desc Context management group
         * @see ETSI DTS/INT-00135-2 Clause 5.2.2.2.3  Context management group
         */
        group Context_management_group {
garciay's avatar
garciay committed
            /**
             * @desc Testcase function for TC_S1AP_mME_CMP_01
             */
            function f_TC_S1AP_mME_CMP_01() runs on S1APComponent { 
                // Local variables
garciay's avatar
garciay committed
                // Preamble
                f_S1AP_mme_init();
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
garciay's avatar
garciay committed
                // Test body
                action("trigger an Initial Context Setup procedure");
garciay's avatar
garciay committed
                f_recv_InitialContext_SetupRequest(mw_InitialContextSetupRequestIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    mw_UEAggregateMaximumBitrate(?,?),
                    {
                        mw_E_RABToBeSetupItemCtxtSUReq(?,mw_e_RABlevelQoSParameters(5),?,?,?,omit)
                    },
                    ?,                       
                    ?
                ));
garciay's avatar
garciay committed
                // Postamble
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 
garciay's avatar
garciay committed
                f_postamble_S1AP_MME();
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
garciay's avatar
garciay committed
            } // End of function f_TC_S1AP_eNB_CMP_01

            /**
             * @desc Testcase function for TC_S1AP_mME_CMP_02
             */
            function f_TC_S1AP_mME_CMP_02() runs on S1APComponent { 
                // Local variables
                var template(value) Cause v_cause;
                select(PX_VA){
                    case(1){v_cause := m_cause_ran(user_inactivity)}
                    case(2){v_cause := m_cause_ran(radio_connection_with_ue_lost)}
                    case(3){v_cause := m_cause_nas(csg_subscription_expiry)}
                    case(4){v_cause := m_cause_ran(cs_fallback_triggered)}
                    case(5){v_cause := m_cause_ran(redirection_towards_1xRTT)}
                    case(6){v_cause := m_cause_ran(interrat_redirection)}
                    case(7){v_cause := m_cause_ran(ue_not_available_for_ps_service)}
                    case else {setverdict(fail, "undefined PIXIT value for variant")}
                }
garciay's avatar
garciay committed
                // Preamble
                f_S1AP_mme_init();
garciay's avatar
garciay committed
                f_rABSetupRequest();
garciay's avatar
garciay committed
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
garciay's avatar
garciay committed
                // Test body
garciay's avatar
garciay committed
                f_send_UE_Context_Release_Command(m_UeContextReleaseRequestIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    v_cause
                    ));
garciay's avatar
garciay committed
                f_recv_InitialContext_SetupRequest((mw_UeContextReleaseCommandIEs_MME, mw_UeContextReleaseCommandIEs_ENB));                
garciay's avatar
garciay committed
                // Postamble
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 
garciay's avatar
garciay committed
                f_send_UE_Context_Release_Complete(m_UeContextReleaseCompleteIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID
                    ));
garciay's avatar
garciay committed
                f_postamble_S1AP_MME();
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
garciay's avatar
garciay committed
            } // End of function f_TC_S1AP_eNB_CMP_02
garciay's avatar
garciay committed
            /**
             * @desc Testcase function for TC_S1AP_mME_CMP_03
             */
            function f_TC_S1AP_mME_CMP_03() runs on S1APComponent { 
                // Local variables
                var template(value) Cause v_cause;
garciay's avatar
garciay committed
                // Preamble
                f_S1AP_mme_init();
garciay's avatar
garciay committed
                f_rABSetupRequest();
garciay's avatar
garciay committed
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
garciay's avatar
garciay committed
                // Test body                    
                action("trigger a UE context modification request");
                f_recv_UE_Context_Modification_Request(mw_UeContextModificationRequestIEs);                
garciay's avatar
garciay committed
                // Postamble
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 
garciay's avatar
garciay committed
                f_postamble_S1AP_MME();
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
garciay's avatar
garciay committed
            } // End of function f_TC_S1AP_eNB_CMP_03
garciay's avatar
garciay committed
            /**
             * @desc Testcase function for TC_S1AP_mME_CMP_04
             */
            function f_TC_S1AP_mME_CMP_04() runs on S1APComponent { 
                // Local variables
                var template(value) Cause v_cause;
garciay's avatar
garciay committed
                // Preamble
                f_S1AP_mme_init();
garciay's avatar
garciay committed
                
garciay's avatar
garciay committed
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
garciay's avatar
garciay committed
                // Test body                    
                action("trigger a UE radio capability match request");
                f_recv_UE_Context_Modification_Request(mw_UeRadioCapabilityMatchRequestIEs);                
garciay's avatar
garciay committed
                // Postamble
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 
garciay's avatar
garciay committed
                f_postamble_S1AP_MME();
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
garciay's avatar
garciay committed
            } // End of function f_TC_S1AP_eNB_CMP_04
garciay's avatar
garciay committed
            /**
             * @desc Testcase function for TC_S1AP_mME_CMP_05
             */
            function f_TC_S1AP_mME_CMP_05() runs on S1APComponent { 
                // Local variables
                var template(value) Cause v_cause;
garciay's avatar
garciay committed
                // Preamble
                f_S1AP_mme_init();
garciay's avatar
garciay committed
                f_rABSetupRequest();
garciay's avatar
garciay committed
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
garciay's avatar
garciay committed
                // Test body
garciay's avatar
garciay committed
                f_send_UE_Context_Modification_Indication(m_UeContextModificationIndicationIEs(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID
                    ));
garciay's avatar
garciay committed
                f_recv_Ue_Context_Modification_Confirm(mw_UeContextModificationConfirmIEs);                
garciay's avatar
garciay committed
                // Postamble
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 
garciay's avatar
garciay committed
                f_postamble_S1AP_MME();
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
garciay's avatar
garciay committed
            } // End of function f_TC_S1AP_eNB_CMP_05
            
            function f_TC_S1AP_mME_CMP_06() runs on S1APComponent { 
                // Local variables
                var template(value) Cause v_cause;
rennoch's avatar
rennoch committed
                                
garciay's avatar
garciay committed
                // Preamble
                f_S1AP_mme_init();
rennoch's avatar
rennoch committed
                
garciay's avatar
garciay committed
                f_rABSetupRequest();
rennoch's avatar
rennoch committed
                
garciay's avatar
garciay committed
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
rennoch's avatar
rennoch committed
                
garciay's avatar
garciay committed
                // Test body
rennoch's avatar
rennoch committed

garciay's avatar
garciay committed
                f_send_UE_Context_Modification_Indication(m_UeContextModificationIndicationIEsCSG(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    m_CSGMembershipInfo
                    ));
rennoch's avatar
rennoch committed
                    
garciay's avatar
garciay committed
                f_recv_Ue_Context_Modification_Confirm(mw_UeContextModificationConfirmIEsCSG);                
rennoch's avatar
rennoch committed
                
garciay's avatar
garciay committed
                // Postamble
                f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict()); 
rennoch's avatar
rennoch committed
                
garciay's avatar
garciay committed
                f_postamble_S1AP_MME();
                f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
rennoch's avatar
rennoch committed
                
garciay's avatar
garciay committed
            } // End of function f_TC_S1AP_eNB_CMP_06  


            /**
             * @desc Testcase function for TC_S1AP_mME_CMP_07
             */
            function f_TC_S1AP_mME_CMP_07() runs on S1APComponent { 
                // Local variables
                var template(value) Cause v_cause;
                                
                // Preamble
                f_S1AP_mme_init();
                
                f_rABSetupRequest();
                
                f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
                log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                
                // Test body

                f_send_UE_Context_Modification_Indication(m_UeContextModificationIndicationIEsCSG(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    m_CSGMembershipInfo(-,-,hybrid)
                    ));
                    
garciay's avatar
garciay committed
                f_recv_Ue_Context_Modification_Confirm(mw_UeContextModificationConfirmIEs);                
                
                f_recv_InitialContext_SetupRequest((mw_UeContextReleaseCommandIEs_MME, mw_UeContextReleaseCommandIEs_ENB));                
                
                // Postamble