Commit a85aa21f authored by garciay's avatar garciay
Browse files

STF519: Week #11

1) Implementation of TCs for Management group, CDMA2000 tunnelling group, UE capability info group, Traces group
2) Review part of comments
3) Code was compiled with TTWB, TCT3 and TITAN. One opened issue is still not fixed
4) Code is committed
5) New version of TSS&TPs (editorial changes) and ATS documents are available on ETSI docbox 
parent 1d01c801
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -75,7 +75,7 @@ module LibS1AP_Interface {
            // Init of values at component started
            // TODO: generation of following MME and ENB UE IDs can be done randomly in init
            var MME_UE_S1AP_ID vc_MME_UE_ID         := 10;
            var ENB_UE_S1AP_ID vc_ENB_UE_ID         := 11;
            var ENB_UE_S1AP_ID vc_eNB_UE_ID         := 11;
            
            // General timers
            timer tc_wait  := PX_S1AP_TWAIT;
+27 −5
Original line number Diff line number Diff line
@@ -35,7 +35,7 @@ module LibS1AP_Pixits {
        /** 
         * @desc    boolean (This is an operator option, not a protocol option), True, if IPv6 addresses are used
         */
        modulepar boolean PX_IPv6     := true;
        modulepar boolean PX_IPv6     := false;
        
        /** 
         * @desc enumerated (This is an operator option, not a protocol option)
@@ -65,7 +65,7 @@ module LibS1AP_Pixits {
     * @desc eNB Identity.
     * @see ETSI TS 136 413 Clause 9.2.1.37 Global eNB ID
     */
    modulepar ENB_ID PX_ENB_ID := {
    modulepar ENB_ID PX_eNB_ID := {
        homeENB_ID := '0000000000000000000000000000'B
    };
    
@@ -81,8 +81,25 @@ module LibS1AP_Pixits {
    modulepar TAC PX_TAC := '0000'O;
    
    /** 
     * @desc The Serial Number IE identifies a particular message from the source and type indicated by the Message Identifie.
     * @see ETSI TS 136 413 Clause 9.2.1.45 Serial Number
     * @desc The MME Group ID.
     */
    modulepar MME_Group_ID PX_MME_GROUP_ID := '0000'O;
    
    /** 
     * @desc The MME Code to uniquely identify an MME within an MME pool area.
     * @see ETSI TS 136 413 Clause 9.2.3.12 MMEC
     */
    modulepar MME_Code PX_MME_CODE := '01'O;
    
    /** 
     * @desc The relative processing capacity of an MME with respect to the other MMEs in the pool in order to load-balance MMEs within a pool defined in TS 23.401.
     * @see ETSI TS 136 413 Clause 9.2.3.17 Relative MME Capacity
     */
    modulepar RelativeMMECapacity PX_RELATIVE_MME_CAPAVCITY := 128;
    
    /** 
     * @desc The Message Identifier IE identifies a warning message.
     * @see ETSI TS 136 413 Clause 9.2.1.44 Message Identifier
     */
    modulepar MessageIdentifier PX_MESSAGE_IDENTIFIER := oct2bit('0000'O);
    
@@ -123,7 +140,7 @@ module LibS1AP_Pixits {
    modulepar ReportArea PX_REPORT_AREA := ecgi;
    
    /** 
     * @desc The E-UTRAN Trace ID IE.
     * @desc The E-UTRAN Trace ID.
     * @see ETSI TS 136 413 Clause 9.2.1.4 Trace Activation
     */
    modulepar E_UTRAN_Trace_ID PX_EUTRAN_TRACE_ID := '0000000000000000'O;
@@ -161,5 +178,10 @@ module LibS1AP_Pixits {
     */
    modulepar octetstring PX_CDMA200_SECTOR_ID := ''O;
    
    /** @desc The Paging DRX as defined in TS 36.304.
     * @see ETSI TS 136 413 Clause 9.2.1.16 Paging DRX
     */
    modulepar PagingDRX PX_PAGING_DRX := v256;
    
} // End of module LibS1AP_Pixits
+78 −10
Original line number Diff line number Diff line
@@ -149,6 +149,36 @@ module LibS1AP_Steps {
            f_recv_S1AP_successfulOutcome(mw_E_RABSetupResponse(p_value))
        } // End of f_recv_E_RABSetupResponse
        
        /**
         * @desc Receive S1AP Message RESET ACKNOWLEDGE
         * @param p_value Receive template for RESET ACKNOWLEDGE IEs
         */
        function f_recv_S1_Setup_Request(
                                          template (present) RecordOf_ProtocolIE p_value := ?
        ) runs on S1APComponent {
            f_recv_S1AP_initiatingMessage(mw_s1_Setup_Request(p_value))
        } // End of f_recv_S1_Setup_Request
        
        /**
         * @desc Receive S1AP Message ERROR_INDICATION
         * @param p_value Receive template for ERROR_INDICATION IEs
         */
        function f_recv_Error_Indication(
                                         template (present) RecordOf_ProtocolIE p_value := ?
        ) runs on S1APComponent {
            f_recv_S1AP_initiatingMessage(mw_error_Indication(p_value))
        } // End of f_recv_Error_Indication
        
        /**
         * @desc Receive S1AP Message S1 SETUP RESPONSE
         * @param p_value Receive template for S1 SETUP RESPONSE IEs
         */
        function f_recv_S1_Setup_Response(
                                         template (present) RecordOf_ProtocolIE p_value := ?
        ) runs on S1APComponent {
            f_recv_S1AP_successfulOutcome(mw_s1_Setup_Response(p_value))
        } // End of f_recv_S1_Setup_Response
        
        /**
         * @desc Receive S1AP Message RESET
         * @param p_value Receive template for RESET IEs
@@ -517,7 +547,17 @@ module LibS1AP_Steps {
        } // End of function f_send_E_RABSetupRequest
        
        /**
         * @desc Send S1AP Message REST
         * @desc Send S1AP Message S1 SETUP RESPONSE
         * @param p_value Send template with IE for S1 SETUP RESPONSE
         */
        function f_send_S1_Setup_Response(
                                          in template (value) RecordOf_ProtocolIE p_value
        ) runs on S1APComponent {
            f_send_S1AP_successfulOutcome(m_s1_Setup_Response(p_value))
        } // End of function f_send_S1_Setup_Response
        
        /**
         * @desc Send S1AP Message RESET
         * @param p_value Send template with IE for RESET
         */
        function f_send_Reset(
@@ -526,6 +566,16 @@ module LibS1AP_Steps {
            f_send_S1AP_initiatingMessage(m_reset(p_value))
        } // End of function f_send_Reset
        
        /**
         * @desc Send S1AP Message S1 SETUP REQUEST
         * @param p_value Send template with IE for S1 SETUP REQUEST
         */
        function f_send_S1_Setup_Request(
                                         in template (value) RecordOf_ProtocolIE p_value
        ) runs on S1APComponent {
            f_send_S1AP_initiatingMessage(m_s1_Setup_Request(p_value))
        } // End of function f_send_S1_Setup_Request
        
        /**
         * @desc Send S1AP Message TRACE START
         * @param p_value Send template with IE for TRACE START
@@ -620,7 +670,7 @@ module LibS1AP_Steps {
        function f_rABSetupRequest() runs on S1APComponent {
            f_send_E_RABSetupRequest(m_E_RABSetupReqIEs(
                vc_MME_UE_ID,
                vc_ENB_UE_ID,
                vc_eNB_UE_ID,
                {
                     m_E_RABToBeSetupItemBearerSUReq(1),
                     m_E_RABToBeSetupItemBearerSUReq(
@@ -632,7 +682,7 @@ module LibS1AP_Steps {
            ));
            f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs_FailedToSetupList(
                vc_MME_UE_ID,
                vc_ENB_UE_ID,
                vc_eNB_UE_ID,
                {
                      mw_E_RABSetupItemBearerSURes(1)
                },
@@ -693,23 +743,35 @@ module LibS1AP_Steps {
    
    group externalFunctions {
        
        /**
         * @desc Trigger an S1 SETUP procedure
         * @return true on success, false otherwise
         */
        external function fx_eNB_S1_Setup_Request_procedure() return boolean;
        
        /**
         * @desc Trigger an Error Indication procedure
         * @return true on success, false otherwise
         */
        external function fx_eNB_Error_Indication_procedure() return boolean;
        
        /**
         * @desc Trigger a RESET procedure
         * @return true on success, false otherwise
         */
        external function fx_ENB_Reset_procedure() return boolean;
        external function fx_eNB_Reset_procedure() return boolean;
        
        /**
         * @desc Trigger a CDMA2000 to be forwarded procedure
         * @return true on success, false otherwise
         */
        external function fx_ENB_Uplink_S1_CDMA2000_Tunnelling_procedure() return boolean;
        external function fx_eNB_Uplink_S1_CDMA2000_Tunnelling_procedure() return boolean;
        
        /**
         * @desc Trigger a UE CAPABILITY INFO INDICATION procedure
         * @return true on success, false otherwise
         */
        external function fx_ENB_UE_Capability_Info_Indication_procedure() return boolean;
        external function fx_eNB_UE_Capability_Info_Indication_procedure() return boolean;
        
        /**
         * @desc Force the UE to be registered to a new cell
@@ -727,25 +789,25 @@ module LibS1AP_Steps {
         * @desc Trigger a PWS Restart Indication procedure
         * @return true on success, false otherwise
         */
        external function fx_ENB_PWS_Restart_Indication_procedure() return boolean;
        external function fx_eNB_PWS_Restart_Indication_procedure() return boolean;
        
        /**
         * @desc Trigger a PWS Failure Indication procedure
         * @return true on success, false otherwise
         */
        external function fx_ENB_PWS_Failure_Indication_procedure() return boolean;
        external function fx_eNB_PWS_Failure_Indication_procedure() return boolean;
        
        /**
         * @desc Trigger an ENB direct information Transfer procedure
         * @return true on success, false otherwise
         */
        external function fx_ENB_Direct_Information_Transfer_procedure() return boolean;
        external function fx_eNB_Direct_Information_Transfer_procedure() return boolean;
        
        /**
         * @desc Trigger an ENB Configuration Transfer procedure
         * @return true on success, false otherwise
         */
        external function fx_ENB_Configuration_Transfer_procedure() return boolean;
        external function fx_eNB_Configuration_Transfer_procedure() return boolean;
        
        /**
         * @desc Trigger a RESET event
@@ -753,6 +815,12 @@ module LibS1AP_Steps {
         */
        external function fx_MME_Reset_procedure() return boolean;
        
        /**
         * @desc Trigger an ERROR INDICATION event
         * @return true on success, false otherwise
         */
        external function fx_MME_Error_Indication_procedure() return boolean;
        
        /**
         * @desc Trigger a CDMA2000 signalling event
         * @return true on success, false otherwise
+448 −97

File changed.

Preview size limit exceeded, changes collapsed.

+6 −9
Original line number Diff line number Diff line
@@ -14,9 +14,6 @@ module S1AP_Pixits {
    // LibCommon
    import from LibCommon_BasicTypesAndValues all;
    
    // LibS1AP
    //import TODO...

    group S1AP_Port_and_addresses {
        
        group S1AP_TS_Port_and_addresses {
@@ -44,22 +41,22 @@ module S1AP_Pixits {
            /** @desc    
             * IP address of the test system
             */
            modulepar charstring PX_S1AP_ENB_ETS_IPADDR := "1.1.1.12";
            modulepar charstring PX_S1AP_eNB_ETS_IPADDR := "1.1.1.12";
            
            /** @desc    
             * Port number of the test system
             */
            modulepar integer PX_S1AP_ENB_ETS_PORT := 3868;
            modulepar integer PX_S1AP_eNB_ETS_PORT := 3868;
            
            /** @desc    
             * IP address of the test system
             */
            modulepar charstring PX_S1AP_ENB_ETS_IPADDR2 := "1.1.1.13";
            modulepar charstring PX_S1AP_eNB_ETS_IPADDR2 := "1.1.1.13";
            
            /** @desc    
             * Port number of the test system
             */
            modulepar integer PX_S1AP_ENB_ETS_PORT2 := 3868;
            modulepar integer PX_S1AP_eNB_ETS_PORT2 := 3868;

            
        } // End of group S1AP_TS_Port_and_addresses
@@ -79,12 +76,12 @@ module S1AP_Pixits {
            /** @desc    
             * IP address of the system under test
             */
            modulepar charstring PX_S1AP_ENB_SUT_IPADDR := "1.1.2.11";
            modulepar charstring PX_S1AP_eNB_SUT_IPADDR := "1.1.2.11";
            
            /** @desc    
             * Port number of the system under test
             */
            modulepar integer PX_S1AP_ENB_SUT_PORT := 3868;
            modulepar integer PX_S1AP_eNB_SUT_PORT := 3868;
            
            
        } // End of group S1AP_SUT_Port_and_addresses{
Loading