Commit 692cf76e authored by garciay's avatar garciay
Browse files

MAPEM/SPATEM TCs Review

parent a2dbfa8c
Loading
Loading
Loading
Loading
+5 −0
Original line number Diff line number Diff line
@@ -34,6 +34,11 @@ module LibItsMapemSpatem_Pics {
     */
    modulepar boolean PICS_SPATEM_RECEPTION := true;
    
    /**
     * @desc Is IUT acting as a RSU? 
     */
    modulepar boolean PICS_RSU_ROLE := true;
    
    /**
     * @desc Is the IUT running in secured mode?
     */
+5 −3
Original line number Diff line number Diff line
@@ -380,9 +380,11 @@ module LibItsMapemSpatem_Templates {
            /**
             * @desc    Receive template for MAPEM Message with no LayerType
             */
            template (present) MapData mw_mapemNoLayerType modifies mw_mapemWellFormatted := {
                layerType         := omit,
                layerID           := omit
            template (present) MapData mw_mapemLayerType(
                                                         in template (present) LayerID p_layerID := ?
            ) modifies mw_mapemWellFormatted := {
                layerType         := ?,
                layerID           := p_layerID
            }
            
        } // End of group mapemTemplates 
+7 −6
Original line number Diff line number Diff line
@@ -37,8 +37,9 @@ module LibItsMapemSpatem_TypesAndValues {
            stopTLMService                   (1),
            spatemNewContent                 (2),
            mapemNewContent                  (3),
            mapemRepL10s        (4),
            mapemRepG10s        (5)
            mapemNewContentWithFragmentation (4),
            mapemRepL10s                     (5),
            mapemRepG10s                     (6)
        }
        /**
         * @desc Upper Tester result message of request of triggering of an event at IUT 
+2 −2
Original line number Diff line number Diff line
@@ -35,9 +35,9 @@ module LibItsSremSsem_Pics {
    modulepar boolean PICS_SSEM_RECEPTION := true;
    
    /**
     * @desc Is IUT an RSU  
     * @desc Is IUT acting as a RSU? 
     */
    modulepar boolean PICS_RSU := true;
    modulepar boolean PICS_RSU_ROLE := true;
    
    /**
     * @desc Is the IUT running in secured mode?