ItsSpatem_TestCases.ttcn 13.8 KB
Newer Older
1 2 3 4
/**
 *    @author   ETSI / STF484
 *    @version  $URL$
 *              $Id$
5
 *    @desc     SPATEM Testcases (TS 103 191-2 V1.2.1)
garciay's avatar
garciay committed
6 7 8 9
 *    @copyright   ETSI Copyright Notification
 *                 No part may be reproduced except as authorized by written permission.
 *                 The copyright and the foregoing restriction extend to reproduction in all media.
 *                 All rights reserved.
10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
 *
 */

module ItsSpatem_TestCases {
    
    // LibItsMapemSpatem
    import from LibItsMapemSpatem_TestSystem all;
    
    // LibItsMapemSpatem
    import from ItsSpatem_TpFunctions all;
    
    group spateMessageDissemination { 
        
        group spateMessageFormat { 
            
            /**
             * @desc Check that protocolVersion is set to 1 and messageID is set to 4
             * <pre>
garciay's avatar
garciay committed
28
             * Pics Selection: PICS_RSU_ROLE and PICS_SPATEM_GENERATION
29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT sending SPATEM
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            a SPATEM is generated
             *        }
             *        then {
             *            the IUT sends a valid SPATEM
             *                containing ITS PDU header
             *                    containing protocolVersion
             *                        indicating value '1'
             *                    and containing messageID
             *                        indicating value '4'
             *        }
             *    }
             * </pre>
             * 
             * @version   1.0.4
51 52
             * @see       ETSI TS 103 191-2 v1.2.1 TP_IS_TLM_MSGF_BV_01
             * @reference ETSI TS 103 301 v1.0.4 Clause 5.3
53 54 55 56 57 58 59 60 61
             */
            testcase TC_IS_TLM_MSGF_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
                
                f_IS_TLM_MSGF_BV_01();
                
            } // End of testcase TC_IS_TLM_MSGF_BV_01
            
        } // End of group spateMessageFormat
        
garciay's avatar
garciay committed
62
        group spateEventGeneration { 
63 64 65 66
            
            /**
             * @desc Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM _Start request
             * <pre>
garciay's avatar
garciay committed
67
             * Pics Selection: PICS_RSU_ROLE and PICS_SPATEM_GENERATION
68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT has not sent any SPATEM yet
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT receives an AppSPATEM_Start request from the application layer
             *        }
             *        then {
             *            the IUT sends a valid SPATEM
             *        }
             *    }
             * </pre>
             * 
             * @version   1.0.4
85 86
             * @see       ETSI TS 103 191-2 v1.2.1 TP_IS_TLM_EVGN_BV_01
             * @reference ETSI TS 103 301 v1.0.4 Clause 5.4.2
87 88 89 90 91 92 93 94 95 96
             */
            testcase TC_IS_TLM_EVGN_BV_01() runs on ItsMapemSpatem system ItsMapemSpatemSystem {
                
                f_IS_TLM_EVGN_BV_01();
                
            } // End of testcase TC_IS_TLM_EVGN_BV_01
            
            /**
             * @desc Check that TLM Service generates SPATEM are time ordered
             * <pre>
garciay's avatar
garciay committed
97
             * Pics Selection: PICS_RSU_ROLE and PICS_SPATEM_GENERATION
98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT has sent a SPATEM
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            several SPATEM are generated
             *        }
             *        then {
             *            the IUT sends SPATEM in time order
             *        }
             *    }
             * </pre>
             * 
             * @version   1.0.4
115 116
             * @see       ETSI TS 103 191-2 v1.2.1 TP_IS_TLM_EVGN_BV_02
             * @reference ETSI TS 103 301 v1.0.4 Clause 5.4.2
117 118 119 120 121 122 123 124 125 126
             */
            testcase TC_IS_TLM_EVGN_BV_02() runs on ItsMapemSpatem system ItsMapemSpatemSystem {
                
                f_IS_TLM_EVGN_BV_02();
                
            } // End of testcase TC_IS_TLM_EVGN_BV_02
            
            /**
             * @desc Check that TLM Service terminates on reception of a valid AppSPATEM _Stop request
             * <pre>
garciay's avatar
garciay committed
127
             * Pics Selection: PICS_RSU_ROLE and PICS_SPATEM_GENERATION
128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT sending SPATEM
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT receives an AppSPATEM _Stop request from the application layer
             *        }
             *        then {
             *            the IUT stops sending SPATEM
             *        }
             *    }
             * </pre>
             * 
             * @version   1.0.4
145 146
             * @see       ETSI TS 103 191-2 v1.2.1 TP_IS_TLM_EVGN_BV_03
             * @reference ETSI TS 103 301 v1.0.4 Clause 5.4.2
147 148 149 150 151 152 153 154 155 156
             */
            testcase TC_IS_TLM_EVGN_BV_03() runs on ItsMapemSpatem system ItsMapemSpatemSystem { // TODO Move ito spateEventTermination goup
                
                f_IS_TLM_EVGN_BV_03();
                
            } // End of testcase TC_IS_TLM_EVGN_BV_03
            
            /**
             * @desc Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM_Trigger request
             * <pre>
garciay's avatar
garciay committed
157
             * Pics Selection: PICS_RSU_ROLE and PICS_SPATEM_GENERATION
158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT sending SPATEM
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT receives an AppSPATEM _Stop request from the application layer
             *        }
             *        then {
             *            the IUT stops sending SPATEM
             *        }
             *    }
             * </pre>
             * 
             * @version   1.0.4
175 176
             * @see       ETSI TS 103 191-2 v1.2.1 TP_IS_TLM_EVGN_BV_04
             * @reference ETSI TS 103 301 v1.0.4 Clause 5.4.2
177 178 179 180 181 182 183
             */
            testcase TC_IS_TLM_EVGN_BV_04() runs on ItsMapemSpatem system ItsMapemSpatemSystem {
                
                f_IS_TLM_EVGN_BV_04();
                
            } // End of testcase TC_IS_TLM_EVGN_BV_04
            
garciay's avatar
garciay committed
184
        } // End of group spateEventGeneration
185 186 187 188 189 190
        
        group spateCommunication {
            
            /**
             * @desc Check that TLM Service provides the destination area in SPATEM
             * <pre>
garciay's avatar
garciay committed
191
             * Pics Selection: PICS_RSU_ROLE and PICS_SPATEM_GENERATION
192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT sending SPATEM
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            a SPATEM is generated
             *        }
             *        then {
             *            the IUT sends a valid SPATEM
             *                containg spat
             *                    containing regional
             *                        containing at least on region
             *                            indicating a regionId
garciay's avatar
garciay committed
208
             *                            and indication a regExtValue
209 210 211 212 213
             *        }
             *    }
             * </pre>
             * 
             * @version   1.0.4
214 215
             * @see       ETSI TS 103 191-2 v1.2.1 TP_IS_TLM_COMM_BV_01
             * @reference ETSI TS 103 301 v1.0.4 Clause 5.4.3.2
216 217 218 219 220 221 222 223 224 225
             */
            testcase TC_IS_TLM_COMM_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
                
                f_IS_TLM_COMM_BV_01();
                
            } // End of testcase TC_IS_TLM_COMM_BV_01
            
            /**
             * @desc Check that SPATEM uses BTP_B packet
             * <pre>
garciay's avatar
garciay committed
226
             * Pics Selection: PICS_RSU_ROLE and PICS_SPATEM_GENERATION
227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT sending SPATEM
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            a SPATEM is generated
             *        }
             *        then {
             *            the IUT sends a valid SPATEM
             *                encapsulated in a BTP-B packet
             *        }
             *    }
             * </pre>
             * 
             * @version   1.0.4
245 246
             * @see       ETSI TS 103 191-2 v1.2.1 TP_IS_TLM_COMM_BV_02_01
             * @reference ETSI TS 103 301 v1.0.4 Clause 5.4.3.2
247 248 249 250 251 252 253 254 255 256
             */
            testcase TC_IS_TLM_COMM_BV_02_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
                
                f_IS_TLM_COMM_BV_02_01();
                
            } // End of testcase TC_IS_TLM_COMM_BV_02_01
            
            /**
             * @desc Check that the destination port for SPATEM is set to 2004
             * <pre>
garciay's avatar
garciay committed
257
             * Pics Selection: PICS_RSU_ROLE and PICS_SPATEM_GENERATION
258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT sending SPATEM
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            a SPATEM is generated
             *        }
             *        then {
             *            the IUT sends a valid SPATEM
             *                encapsulated in a BTP packet
             *                   containing a destination port value set to 2004
             *                   and containing a destination port info value set to 0
             *        }
             *    }
             * </pre>
             * 
             * @version   1.0.4
278 279
             * @see       ETSI TS 103 191-2 v1.2.1 TP_IS_TLM_COMM_BV_02_02
             * @reference ETSI TS 103 301 v1.0.4 Clause 5.4.3.2
280 281 282 283 284 285 286 287
             */
            testcase TC_IS_TLM_COMM_BV_02_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
                
                f_IS_TLM_COMM_BV_02_02();
                
            } // End of testcase TC_IS_TLM_COMM_BV_02_02
            
            /**
garciay's avatar
garciay committed
288
             * @desc Check that TLM service encapsulates SPATEM in a GBC with the HeaderType field set to the value of 4
289
             * <pre>
garciay's avatar
garciay committed
290
             * Pics Selection: PICS_RSU_ROLE and PICS_SPATEM_GENERATION
291 292 293 294 295 296 297 298 299 300 301 302
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
             *        and the IUT sending SPATEM
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            a SPATEM is generated
             *        }
             *        then {
             *            the IUT sends a valid SPATEM
garciay's avatar
garciay committed
303 304 305 306
             *                encapsulated in a GBC packet
             *                    containing a correctly formatted Common Header
             *                        containing HeaderType field
             *                            indicating the value '4'
307 308 309 310 311
             *        }
             *    }
             * </pre>
             * 
             * @version   1.0.4
312 313
             * @see       ETSI TS 103 191-2 v1.2.1 TP_IS_TLM_COMM_BV_03
             * @reference ETSI TS 103 301 v1.0.4 Clause 5.4.3.2
314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329
             */
            testcase TC_IS_TLM_COMM_BV_03 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
                
                f_IS_TLM_COMM_BV_03();
                
            } // End of testcase TC_IS_TLM_COMM_BV_03
            
        } // End of group spateCommunication 
        
    } // End of group spateMessageDissemination
    
    group spateMessageProcessing {
            
            /**
             * @desc Check that the IUT can successfully process all mandatory fields of SPATEM received
             * <pre>
garciay's avatar
garciay committed
330
             * Pics Selection: not PICS_RSU_ROLE and PICS_SPATEM_RECEPTION
331 332 333
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
334
             *        and the IUT having receive a valid SPATEM
335 336 337 338 339 340 341 342 343 344 345 346 347 348
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
             *            the IUT receives a valid SPATEM
             *        }
             *        then {
             *            the IUT forwards the SPATEM content to upper layers
             *            and the IUT forwards the SPATEM content to other facilities
             *        }
             *    }
             * </pre>
             * 
             * @version   1.0.4
349 350
             * @see       ETSI TS 103 191-2 v1.2.1 TP_IS_TLM_MSGF_BV_02
             * @reference ETSI TS 103 301 v1.0.4 Clause 5.3
351 352 353 354 355 356 357 358 359 360
             */
            testcase TC_IS_TLM_MSGF_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
                    
                f_IS_TLM_MSGF_BV_02();
                
            } // End of testcase TC_IS_TLM_MSGF_BV_02
            
    } // End of group spateMessageProcessing
    
} // End of module ItsSpatem_TestCases