Commit 203cfb71 authored by garciay's avatar garciay
Browse files

STF519 Week #19:

- Buikd with TCT3
- Updating TestCases
parent b381a60f
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -1454,7 +1454,7 @@ module LibS1AP_Steps {
                     )
                 }
            ));
            f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs_FailedToSetupList(
            f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs_FailedToSetupList_E_RABSetupItemBearerSURes(
                vc_MME_UE_ID,
                vc_eNB_UE_ID,
                {
+14 −6
Original line number Diff line number Diff line
@@ -1547,12 +1547,10 @@ module LibS1AP_Templates {
                        template (present) RecordOf_ProtocolIE mw_E_RABModifiedResIEs_FailedToModifyList(
                             template (present) MME_UE_S1AP_ID p_MME_value := ?,
                             template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                             template RecordOf_E_RABModifyItemBearerModRes p_RecordOf_E_RABModifyItem_value := omit,
                             template (present) RecordOf_E_RABItem p_E_RABItem_value := ?
                        ) := {
                            mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                            mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                            mw_E_RABModifiedList(p_RecordOf_E_RABModifyItem_value) ifpresent,
                            mw_E_RABFailedToSetupList(p_E_RABItem_value)
                        } // End of template mw_E_RABSetupResIEs
                        
@@ -1596,15 +1594,25 @@ module LibS1AP_Templates {
                        template (present) RecordOf_ProtocolIE mw_E_RABSetupResIEs_FailedToSetupList(
                                                                                                     template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                                     template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                                     template RecordOf_E_RABSetupItemBearerSURes p_RecordOf_E_RABSetupItem_value := omit,
                                                                                                     template (present) RecordOf_E_RABItem p_E_RABItem_value := ?
                        ) := {
                            mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                            mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                            mw_E_RABSetupList(p_RecordOf_E_RABSetupItem_value) ifpresent,
                            mw_E_RABFailedToSetupList(p_E_RABItem_value)
                        } // End of template mw_E_RABSetupResIEs
                        
                        template (present) RecordOf_ProtocolIE mw_E_RABSetupResIEs_FailedToSetupList_E_RABSetupItemBearerSURes(
                                                                                                     template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                                     template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                                     template RecordOf_E_RABSetupItemBearerSURes p_RecordOf_E_RABSetupItem_value := omit,
                                                                                                     template (present) RecordOf_E_RABItem p_E_RABItem_value := ?
                        ) := {
                            mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                            mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                            mw_E_RABSetupList(p_RecordOf_E_RABSetupItem_value),
                            mw_E_RABFailedToSetupList(p_E_RABItem_value)
                        } // End of template mw_E_RABSetupResIEs_FailedToSetupList_E_RABSetupItemBearerSURes
                        
                    } // End of group ERABSetup
        
                    group ERABRelease{
@@ -1728,12 +1736,12 @@ module LibS1AP_Templates {
                    template (present) RecordOf_ProtocolIE mw_InitialContextSetupResIEs(
                                                                               template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                               template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                               template RecordOf_E_RABSetupItemBearerSURes p_RecordOf_E_RABSetupItem_value := omit,
                                                                               template (present) RecordOf_E_RABSetupItemBearerSURes p_RecordOf_E_RABSetupItem_value := ?,
                                                                               template (present) RecordOf_E_RABItem p_E_RABItem_value := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_E_RABSetupList(p_RecordOf_E_RABSetupItem_value) ifpresent,
                        mw_E_RABSetupList(p_RecordOf_E_RABSetupItem_value),
                        mw_E_RABFailedToSetupList(p_E_RABItem_value)
                    } // End of template mw_InitialContextSetupResIEs
                    
+1 −11
Original line number Diff line number Diff line
@@ -99,7 +99,7 @@ module S1AP_TCFunctions {
                     }
                ));
                
                f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs_FailedToSetupList(
                f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs_FailedToSetupList_E_RABSetupItemBearerSURes(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    {
@@ -146,7 +146,6 @@ module S1AP_TCFunctions {
                f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs_FailedToSetupList(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    -, //omit
                    {
                        mw_E_RABItem(
                            0,
@@ -203,7 +202,6 @@ module S1AP_TCFunctions {
                f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs_FailedToSetupList(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    -, //omit
                    {
                        mw_E_RABItem(
                            0,
@@ -249,7 +247,6 @@ module S1AP_TCFunctions {
                f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs_FailedToSetupList(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    -, //omit
                    {
                        mw_E_RABItem(
                            1,
@@ -315,7 +312,6 @@ module S1AP_TCFunctions {
                f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs_FailedToSetupList(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    -, //omit
                    {
                        mw_E_RABItem(
                            1,
@@ -368,7 +364,6 @@ module S1AP_TCFunctions {
                f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs_FailedToSetupList(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    -, //omit
                    {
                        mw_E_RABItem(
                            1,
@@ -452,7 +447,6 @@ module S1AP_TCFunctions {
                f_recv_E_RABModifiedResponse(mw_E_RABModifiedResIEs_FailedToModifyList(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    omit,
                    {
                        mw_E_RABItem(
                            c_E_RAB_ID_A,
@@ -498,7 +492,6 @@ module S1AP_TCFunctions {
                f_recv_E_RABModifiedResponse(mw_E_RABModifiedResIEs_FailedToModifyList(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    omit,
                    {
                        mw_E_RABItem(
                            c_E_RAB_ID_A,
@@ -557,7 +550,6 @@ module S1AP_TCFunctions {
                f_recv_E_RABModifiedResponse(mw_E_RABModifiedResIEs_FailedToModifyList(
                   vc_MME_UE_ID,
                   vc_eNB_UE_ID,
                   omit,
                   {
                       mw_E_RABItem(
                           c_E_RAB_ID_A,
@@ -608,7 +600,6 @@ module S1AP_TCFunctions {
                f_recv_E_RABModifiedResponse(mw_E_RABModifiedResIEs_FailedToModifyList(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    omit,
                    {
                         mw_E_RABItem(
                             c_E_RAB_ID_A,
@@ -663,7 +654,6 @@ module S1AP_TCFunctions {
                f_recv_E_RABModifiedResponse(mw_E_RABModifiedResIEs_FailedToModifyList(
                    vc_MME_UE_ID,
                    vc_eNB_UE_ID,
                    omit,
                    {
                        mw_E_RABItem(
                            c_E_RAB_ID_A,
+63 −0
Original line number Diff line number Diff line
@@ -619,6 +619,26 @@ module S1AP_TestCases {
         */
        group Handover_signalling_group {
            
            /**
             * @desc Verify that the IUT is able to send a HANDOVER_REQUIRED request containing Handover Type IE with IntraLTE to indicate handover preparation procedure.
             * <pre>
             * Pics Selection: A.3/3.1
             * Configuration: CF_S1-MME
             *     Ensure that the IUT
             *         to indicate a handover preparation procedure
             *         sends a HANDOVER_REQUIRED
             *             containing an eNB_UE_S1AP_ID
             *             containing an eNB_UE_S1AP_ID
             *             containing a Handover_Type
             *                 indicating IntraLTE
             *             containing a Cause
             *             containing a Target ID
             *             containing a Source_to_Target_Transparent_Container.
             * </pre>
             * 
             * @see       ETSI TS 103 497-2 TC_S1AP_eNB_HAS_01
             * @reference ETSI TS 136 413 V13.4.0 Clause 8.4.1.2¶2 and 9.1.5.1
             */
            testcase TC_S1AP_eNB_HAS_01() runs on S1AP system TestAdapter { 
                // Local variables
                var S1AP v_s1ap_enb; 
@@ -642,6 +662,28 @@ module S1AP_TestCases {
                
            } // End of testcase TC_S1AP_eNB_HAS_01
            
            /**
             * @desc Verify that the IUT is able to send a HANDOVER_REQUIRED request containing Handover Type IE with LTEtoUTRAN to indicate handover preparation procedure.
             * <pre>
             * Pics Selection: A.3/3.1
             * Configuration: CF_S1-MME
             *     Ensure that the IUT
             *         to indicate a handover preparation procedure
             *         sends a HANDOVER_REQUIRED
             *             containing an eNB_UE_S1AP_ID
             *             containing an eNB_UE_S1AP_ID
             *             containing a Handover_Type
             *                 indicating LTEtoUTRAN
             *             containing a Cause
             *             containing a Target ID
             *             containing a Source_to_Target_Transparent_Container
             *                 containing a Source RNC_to_Target RNC_Transparent_Container
             *                     indicating a UE History Information.
             * </pre>
             * 
             * @see       ETSI TS 103 497-2 TC_S1AP_eNB_HAS_01
             * @reference ETSI TS 136 413 V13.4.0 Clause 8.4.1.2¶3 and 9.1.5.1, Clause 9.2.1.28
             */
            testcase TC_S1AP_eNB_HAS_02() runs on S1AP system TestAdapter { 
                // Local variables
                var S1AP v_s1ap_enb; 
@@ -665,6 +707,27 @@ module S1AP_TestCases {
                
            } // End of testcase TC_S1AP_eNB_HAS_02
            
            /**
             * @desc Verify that the IUT is able to send a HANDOVER_REQUIRED request containing Handover Type IE with LTEtoGERAN to indicate handover preparation procedure.
             * <pre>
             * Pics Selection: A.3/3.1
             * Configuration: CF_S1-MME
             *     Ensure that the IUT
             *         to indicate a handover preparation procedure
             *         sends a HANDOVER_REQUIRED
             *             containing an eNB_UE_S1AP_ID
             *             containing an eNB_UE_S1AP_ID
             *             containing a Handover_Type
             *                 indicating LTEtoGERAN
             *             containing a Cause
             *             containing a Target ID
             *             containing a Source_to_Target_Transparent_Container
             *                 containing a Source BSS_to_Target BSS_Transparent_Container.
             * </pre>
             * 
             * @see       ETSI TS 103 497-2 TC_S1AP_eNB_HAS_01
             * @reference ETSI TS 136 413 V13.4.0 Clause 8.4.1.2¶3, and 9.1.5.1 and Clause 11.3.79
             */
            testcase TC_S1AP_eNB_HAS_03() runs on S1AP system TestAdapter { 
                // Local variables
                var S1AP v_s1ap_enb;