Commit a2dbfa8c authored by garciay's avatar garciay
Browse files

Add TestControl modules

parent 7580231b
Loading
Loading
Loading
Loading
+8 −3
Original line number Diff line number Diff line
@@ -438,7 +438,10 @@ module LibItsIvim_Functions {
         * @param p_rcvMsg The expected message to be received.
         * @param p_rcvdMsg The received message - OUT.
         */
        function f_awaitIviMessage(in template (present) IvimInd p_rcvMsg, out IvimInd p_rcvdMsg) runs on ItsIvim {
        function f_awaitIviMessage(
                                   in template (present) IvimInd p_rcvMsg, 
                                   out IvimInd p_rcvdMsg
        ) runs on ItsIvim {
            
            tc_ac.start;
            alt {
@@ -462,7 +465,9 @@ module LibItsIvim_Functions {
         * @param p_iviIdentificationNumber The IviIdentification number to increase.
         * @return The increased IviIdentification number.
         */
        function f_increaseIviIdentificationNumber(in IviIdentificationNumber p_iviIdentificationNumber) return IviIdentificationNumber {
        function f_increaseIviIdentificationNumber(
                                                   in IviIdentificationNumber p_iviIdentificationNumber
        ) return IviIdentificationNumber {
            // if maximum number of 32768 reached, reset it to 0
            return ((p_iviIdentificationNumber + 1) mod 32768);
        }
+0 −6
Original line number Diff line number Diff line
@@ -7,12 +7,6 @@
 */
module LibItsIvim_Pics {
    
    /**
     * @desc Does the IUT act as Road Side Unit? 
     * @see  ETSI TS 103 191-1 Table 3
     */
    modulepar boolean PICS_RSU_ROLE := true;
    
    /**
     * @desc Support for IVIM generation
     * @see  ETSI TS 103 191-1 Table 3
+0 −5
Original line number Diff line number Diff line
@@ -34,11 +34,6 @@ module LibItsMapemSpatem_Pics {
     */
    modulepar boolean PICS_SPATEM_RECEPTION := true;
    
    /**
     * @desc Is IUT an RSU  
     */
    modulepar boolean PICS_RSU := true;
    
    /**
     * @desc Is the IUT running in secured mode?
     */
+43 −0
Original line number Diff line number Diff line
@@ -239,4 +239,47 @@ module LibItsSremSsem_Functions {
        
    } // End of group sendFunctions
    
    group receiveFunctions {
        
        /**
         * @desc Awaits a SREM and returns it
         * @param p_rcvMsg The expected message to be received.
         * @param p_rcvdMsg The received message - OUT.
         */
        function f_awaitSreMessage(
                                   in template (present) SremInd p_rcvMsg, 
                                   out SremInd p_rcvdMsg
        ) runs on ItsSremSsem {
            
            tc_ac.start;
            alt {
                [] sremSsemPort.receive(p_rcvMsg) -> value p_rcvdMsg {
                    tc_ac.stop;
                }
                [] tc_ac.timeout {
                    log("*** " & testcasename() & ": INFO: Timeout while awaiting the reception of a message ***");
                    f_selfOrClientSyncAndVerdict("error", e_timeout);
                }
            }
        }
        
    } // End of group receiveFunctions
    
    group miscellaneousFunctions {
        
        /**
         * @desc Increases the RequestID number and handles the special case where the 
         *       SremIdentification number reaches the limit of 32768 and will be reset to 0.
         * @param p_requestID The RequestID number to increase.
         * @return The increased RequestID number.
         */
        function f_increaseRequestID(
                                     in RequestID p_requestID
        ) return RequestID {
            // if maximum number of 256 reached, reset it to 0
            return ((p_requestID + 1) mod 256);
        }
        
    } // End of group miscellaneousFunctions
    
} // End of module LibItsSremSsem_Functions
 No newline at end of file
+1 −1
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@
 *    @desc     SREM SSEM PICS
 *
 */
module LibItsMapemSpatem_Pics {
module LibItsSremSsem_Pics {
    
    // LibCommon
    import from LibCommon_BasicTypesAndValues all;
Loading