/**
 *    @author   ETSI / STF517
 *    @version  $URL$
 *              $Id$
 *    @desc     SREM Testcases (TP version: 0.0.1)
 *
 */

module ItsSrem_TestCases {
    
    // LibItsMapemSpatem
    import from LibItsSremSsem_TestSystem all;
    
    // ItsMapemSpatem
    import from ItsSrem_TpFunctions all;
    
    group sreMessageDissemination { 
        
        group sreMessageFormat { 
            
             /**
             * @desc Check that protocolVersion is set to 1 and messageID is set to 9 (ITS-S)
             * <pre>
             * Pics Selection: PICS_RSU and PICS_SREM_GENERATION
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT is requested to generate a new SREM
             *        }
             *        then {
             *            the IUT sends a valid MAPEM
             *                containing ITS PDU header
             *                    containing protocolVersion
             *                        indicating value '1'
             *                    and containing messageID
             *                        indicating value '9'
             *        }
             *    }
             * </pre>
             * 
             * @version   1.0.4
             * @see       ETSI TS 103 191-2 v0.0.1 TP_IS_RLT_MSGF_BV_01
             * @reference ETSI TS 103 301 V1.0.4 Clause 6.3
             */
            testcase TP_IS_TLC_MSGF_BV_01 () runs on ItsSremSsem system ItsSremSsemSystem {
                
                f_IS_TLC_MSGF_BV_01();
                
            } // End of testcase TP_IS_TLC_MSGF_BV_01
            
        } // End of group sreMessageFormat 
        
    } // End of group sreMessageDissemination 
    
} // End of module ItsSrem_TestCases