Newer
Older
// cc_taCert_A,
// {
// m_header_info_generation_time(
// (1000 * f_getCurrentTime() + 660) * 1000
// ) // In us
// },
// e_certificate
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
//
// f_sleep(PX_TNOAC);
// v_sentRawPayload := valueof(v_securedGnPdu.gnPacket.packet.payload);
// for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
// // Empty on purpose
// } // End of 'for' statement
// if (i < lengthof(vc_utInds)) {
// log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer***");
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// }
// else {
// log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer***");
19022
19023
19024
19025
19026
19027
19028
19029
19030
19031
19032
19033
19034
19035
19036
19037
19038
19039
19040
19041
19042
19043
19044
19045
19046
19047
19048
19049
19050
19051
19052
19053
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// }
//
// // Postamble
// f_poNeighbour();
// f_cf01Down();
// } // End of testcase TC_SEC_ITSS_RCV_DENM_06_04_BO
//
// /**
// * @desc Check that IUT discards secured DENM when its_aid value is not equal to AID_DENM
// * <pre>
// * Pics Selection: PICS_GN_SECURITY
// * Config Id: CF01
// * Initial conditions:
// * with {
// * the IUT being in the 'authorized' state
// * }
// * ensure that {
// * when {
// * the IUT is receiving a Ieee1609Dot2Data (MSG_SEC_RCV_DENM_A)
// * containing header_fields['its_aid']
// * indicating 'AID_CAM'
// * and containing payload_field
// * containing type
// * indicating 'signed'
// * containing data
// * containing DENM payload
// * } then {
// * the IUT discards the DENM
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_DENM_07_01_BO
// * @reference ETSI TS 103 097 [1] Clause 7.2
19056
19057
19058
19059
19060
19061
19062
19063
19064
19065
19066
19067
19068
19069
19070
19071
19072
19073
19074
19075
19076
19077
19078
19079
19080
19081
19082
19083
19084
19085
19086
19087
19088
19089
19090
19091
19092
19093
// */
// testcase TC_SEC_ITSS_RCV_DENM_07_01_BO() runs on ItsGeoNetworking system ItsSecSystem {
//
// // Local variables
// var integer i;
// var GeoNetworkingPdu v_securedGnPdu;
// var GnRawPayload v_sentRawPayload;
//
// // Test control
// if (not(PICS_GN_SECURITY)) {
// log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// v_securedGnPdu := f_prepareSecuredDenm(
// cc_taCert_A,
// {
// m_header_info_its_aid_CAM
// }
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
//
// f_sleep(PX_TNOAC);
// v_sentRawPayload := valueof(v_securedGnPdu.gnPacket.packet.payload);
// for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
// // Empty on purpose
// } // End of 'for' statement
// if (i < lengthof(vc_utInds)) {
// log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer***");
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// }
// else {
// log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer***");
19099
19100
19101
19102
19103
19104
19105
19106
19107
19108
19109
19110
19111
19112
19113
19114
19115
19116
19117
19118
19119
19120
19121
19122
19123
19124
19125
19126
19127
19128
19129
19130
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// }
//
// // Postamble
// f_poNeighbour();
// f_cf01Down();
// } // End of testcase TC_SEC_ITSS_RCV_DENM_07_01_BO
//
// /**
// * @desc Check that IUT discards a Secured DENM when its_aid value is undefined
// * <pre>
// * Pics Selection: PICS_GN_SECURITY
// * Config Id: CF01
// * Initial conditions:
// * with {
// * the IUT being in the 'authorized' state
// * }
// * ensure that {
// * when {
// * the IUT is receiving a Ieee1609Dot2Data (MSG_SEC_RCV_DENM_A)
// * containing header_fields['its_aid']
// * indicating 'AID_UNDEFINED'
// * and containing payload_field {
// * containing type
// * indicating 'signed'
// * containing data
// * containing DENM payload
// * } then {
// * the IUT discards the DENM
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_DENM_07_02_BO
// * @reference ETSI TS 103 097 [1] Clause 7.2
19133
19134
19135
19136
19137
19138
19139
19140
19141
19142
19143
19144
19145
19146
19147
19148
19149
19150
19151
19152
19153
19154
19155
19156
19157
19158
19159
19160
19161
19162
19163
19164
19165
19166
19167
19168
19169
19170
// */
// testcase TC_SEC_ITSS_RCV_DENM_07_02_BO() runs on ItsGeoNetworking system ItsSecSystem {
//
// // Local variables
// var integer i;
// var GeoNetworkingPdu v_securedGnPdu;
// var GnRawPayload v_sentRawPayload;
//
// // Test control
// if (not(PICS_GN_SECURITY)) {
// log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// v_securedGnPdu := f_prepareSecuredDenm(
// cc_taCert_A,
// {
// m_header_info_its_aid_Other
// }
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
//
// f_sleep(PX_TNOAC);
// v_sentRawPayload := valueof(v_securedGnPdu.gnPacket.packet.payload);
// for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
// // Empty on purpose
// } // End of 'for' statement
// if (i < lengthof(vc_utInds)) {
// log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer***");
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// }
// else {
// log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer***");
19176
19177
19178
19179
19180
19181
19182
19183
19184
19185
19186
19187
19188
19189
19190
19191
19192
19193
19194
19195
19196
19197
19198
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// }
//
// // Postamble
// f_poNeighbour();
// f_cf01Down();
// } // End of testcase TC_SEC_ITSS_RCV_DENM_07_02_BO
//
// /**
// * @desc Check that IUT discards Secured DENM if the HeaderInfo generation_location is outside of the circular validity region of the signing certificate
// * <pre>
// * Pics Selection: PICS_GN_SECURITY and PICS_USE_CIRCULAR_REGION
// * Config Id: CF01
// * Initial conditions:
// * with {
// * the IUT being in the 'authorized' state
// * }
// * ensure that {
// * when {
// * the IUT is requested to send DENM
// * } then {
// * the IUT is receiving a Ieee1609Dot2Data
// * containing header_fields['signer_info'].type
19200
19201
19202
19203
19204
19205
19206
19207
19208
19209
19210
19211
19212
19213
19214
19215
19216
// * and containing header_fields ['signer_info'].certificate (CERT_AT_B)
// * containing validity_restrictions['region']
// * containing region
// * containing region_type
// * indicating 'circle'
// * and containing circular_region
// * indicating REGION
// * and containing header_fields ['generation_location']
// * containing generation_location
// * indicating position outside the REGION
// * and containing header_fields['its_aid']
// * indicating 'AID_DENM'
// * } then {
// * the IUT discards the DENM
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_DENM_08_01_BO
// * @reference ETSI TS 103 097 [1] Clause 7.2
19219
19220
19221
19222
19223
19224
19225
19226
19227
19228
19229
19230
19231
19232
19233
19234
19235
19236
19237
19238
19239
19240
19241
19242
19243
19244
19245
19246
19247
19248
19249
19250
// */
// testcase TC_SEC_ITSS_RCV_DENM_08_01_BO() runs on ItsGeoNetworking system ItsSecSystem {
//
// // Local variables
// var integer i;
// var GeoNetworkingPdu v_securedGnPdu;
// var GnRawPayload v_sentRawPayload;
//
// // Test control
// if (not(PICS_GN_SECURITY) or not(PICS_USE_CIRCULAR_REGION)) {
// log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_CIRCULAR_REGION' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// v_securedGnPdu := f_sendSecuredDenm(cc_taCert_B_BO, omit, e_certificate);
//
// f_sleep(PX_TNOAC);
// v_sentRawPayload := valueof(v_securedGnPdu.gnPacket.packet.payload);
// for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
// // Empty on purpose
// } // End of 'for' statement
// if (i < lengthof(vc_utInds)) {
// log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer***");
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// }
// else {
// log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer***");
19256
19257
19258
19259
19260
19261
19262
19263
19264
19265
19266
19267
19268
19269
19270
19271
19272
19273
19274
19275
19276
19277
19278
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// }
//
// // Postamble
// f_poNeighbour();
// f_cf01Down();
// } // End of testcase TC_SEC_ITSS_RCV_DENM_08_01_BO
//
// /**
// * @desc Check that IUT discards Secured DENM if the HeaderInfo generation_location is outside of the rectangilar validity region of the signing certificate
// * <pre>
// * Pics Selection: PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION
// * Config Id: CF01
// * Initial conditions:
// * with {
// * the IUT being in the 'authorized' state
// * }
// * ensure that {
// * when {
// * the IUT is requested to send DENM
// * } then {
// * the IUT is receiving a Ieee1609Dot2Data
// * containing header_fields['signer_info'].type
19280
19281
19282
19283
19284
19285
19286
19287
19288
19289
19290
19291
19292
19293
19294
19295
19296
// * and containing header_fields ['signer_info'].certificate (CERT_AT_C)
// * containing validity_restrictions['region']
// * containing region
// * containing region_type
// * indicating 'rectangle'
// * and containing rectangular_regions
// * indicating REGION
// * and containing header_fields ['generation_location']
// * containing generation_location
// * indicating position outside the REGION
// * and containing header_fields['its_aid']
// * indicating 'AID_DENM'
// * } then {
// * the IUT discards the DENM
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_DENM_08_02_BO
// * @reference ETSI TS 103 097 [1] Clause 7.2
19299
19300
19301
19302
19303
19304
19305
19306
19307
19308
19309
19310
19311
19312
19313
19314
19315
19316
19317
19318
19319
19320
19321
19322
19323
19324
19325
19326
19327
19328
19329
19330
// */
// testcase TC_SEC_ITSS_RCV_DENM_08_02_BO() runs on ItsGeoNetworking system ItsSecSystem {
//
// // Local variables
// var integer i;
// var GeoNetworkingPdu v_securedGnPdu;
// var GnRawPayload v_sentRawPayload;
//
// // Test control
// if (not(PICS_GN_SECURITY) or not(PICS_USE_RECTANGULAR_REGION)) {
// log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// v_securedGnPdu := f_sendSecuredDenm(cc_taCert_C_BO, omit, e_certificate);
//
// f_sleep(PX_TNOAC);
// v_sentRawPayload := valueof(v_securedGnPdu.gnPacket.packet.payload);
// for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
// // Empty on purpose
// } // End of 'for' statement
// if (i < lengthof(vc_utInds)) {
// log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer***");
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// }
// else {
// log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer***");
19336
19337
19338
19339
19340
19341
19342
19343
19344
19345
19346
19347
19348
19349
19350
19351
19352
19353
19354
19355
19356
19357
19358
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// }
//
// // Postamble
// f_poNeighbour();
// f_cf01Down();
// } // End of testcase TC_SEC_ITSS_RCV_DENM_08_02_BO
//
// /**
// * @desc Check that IUT discards Secured DENM if the HeaderInfo generation_location is outside of the polygonal validity region of the signing certificate
// * <pre>
// * Pics Selection: PICS_GN_SECURITY and PICS_USE_POLYGONAL_REGION
// * Config Id: CF01
// * Initial conditions:
// * with {
// * the IUT being in the 'authorized' state
// * }
// * ensure that {
// * when {
// * the IUT is requested to send DENM
// * } then {
// * the IUT is receiving a Ieee1609Dot2Data
// * containing header_fields['signer_info'].type
19360
19361
19362
19363
19364
19365
19366
19367
19368
19369
19370
19371
19372
19373
19374
19375
19376
// * and containing header_fields ['signer_info'].certificate (CERT_AT_D)
// * containing validity_restrictions['region']
// * containing region
// * containing region_type
// * indicating 'polygon'
// * and containing polygonal_region
// * indicating REGION
// * and containing header_fields ['generation_location']
// * containing generation_location
// * indicating position outside the REGION
// * and containing header_fields['its_aid']
// * indicating 'AID_DENM'
// * } then {
// * the IUT discards the DENM
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_DENM_08_03_BO
// * @reference ETSI TS 103 097 [1] Clause 7.2
19379
19380
19381
19382
19383
19384
19385
19386
19387
19388
19389
19390
19391
19392
19393
19394
19395
19396
19397
19398
19399
19400
19401
19402
19403
19404
19405
19406
19407
19408
19409
19410
// */
// testcase TC_SEC_ITSS_RCV_DENM_08_03_BO() runs on ItsGeoNetworking system ItsSecSystem {
//
// // Local variables
// var integer i;
// var GeoNetworkingPdu v_securedGnPdu;
// var GnRawPayload v_sentRawPayload;
//
// // Test control
// if (not(PICS_GN_SECURITY) or not(PICS_USE_POLYGONAL_REGION)) {
// log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_POLYGONAL_REGION' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// v_securedGnPdu := f_sendSecuredDenm(cc_taCert_D_BO, omit, e_certificate);
//
// f_sleep(PX_TNOAC);
// v_sentRawPayload := valueof(v_securedGnPdu.gnPacket.packet.payload);
// for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
// // Empty on purpose
// } // End of 'for' statement
// if (i < lengthof(vc_utInds)) {
// log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer***");
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// }
// else {
// log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer***");
19416
19417
19418
19419
19420
19421
19422
19423
19424
19425
19426
19427
19428
19429
19430
19431
19432
19433
19434
19435
19436
19437
19438
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// }
//
// // Postamble
// f_poNeighbour();
// f_cf01Down();
// } // End of testcase TC_SEC_ITSS_RCV_DENM_08_03_BO
//
// /**
// * @desc Check that IUT discards Secured DENM if the HeaderInfo generation_location is outside of the identified validity region of the signing certificate
// * <pre>
// * Pics Selection: PICS_GN_SECURITY and PICS_USE_IDENTIFIED_REGION
// * Config Id: CF01
// * Initial conditions:
// * with {
// * the IUT being in the 'authorized' state
// * }
// * ensure that {
// * when {
// * the IUT is requested to send DENM
// * } then {
// * the IUT is receiving a Ieee1609Dot2Data
// * containing header_fields['signer_info'].type
19440
19441
19442
19443
19444
19445
19446
19447
19448
19449
19450
19451
19452
19453
19454
19455
19456
// * and containing header_fields ['signer_info'].certificate (CERT_AT_E)
// * containing validity_restrictions['region']
// * containing region
// * containing region_type
// * indicating 'id_region'
// * and containing identified_region
// * indicating REGION
// * and containing header_fields ['generation_location']
// * containing generation_location
// * indicating position outside the REGION
// * and containing header_fields['its_aid']
// * indicating 'AID_DENM'
// * } then {
// * the IUT discards the DENM
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_DENM_08_04_BO
// * @reference ETSI TS 103 097 [1] Clause 7.2
19459
19460
19461
19462
19463
19464
19465
19466
19467
19468
19469
19470
19471
19472
19473
19474
19475
19476
19477
19478
19479
19480
19481
19482
19483
19484
19485
19486
19487
19488
19489
19490
// */
// testcase TC_SEC_ITSS_RCV_DENM_08_04_BO() runs on ItsGeoNetworking system ItsSecSystem {
//
// // Local variables
// var integer i;
// var GeoNetworkingPdu v_securedGnPdu;
// var GnRawPayload v_sentRawPayload;
//
// // Test control
// if (not(PICS_GN_SECURITY) or not(PICS_USE_IDENTIFIED_REGION)) {
// log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_IDENTIFIED_REGION' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// v_securedGnPdu := f_sendSecuredDenm(cc_taCert_E_BO, omit, e_certificate);
//
// f_sleep(PX_TNOAC);
// v_sentRawPayload := valueof(v_securedGnPdu.gnPacket.packet.payload);
// for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
// // Empty on purpose
// } // End of 'for' statement
// if (i < lengthof(vc_utInds)) {
// log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer***");
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// }
// else {
// log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer***");
19496
19497
19498
19499
19500
19501
19502
19503
19504
19505
19506
19507
19508
19509
19510
19511
19512
19513
19514
19515
19516
19517
19518
19519
19520
19521
19522
19523
19524
19525
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// }
//
// // Postamble
// f_poNeighbour();
// f_cf01Down();
// } // End of testcase TC_SEC_ITSS_RCV_DENM_08_04_BO
//
// /**
// * @desc Check that IUT accepts a Secured DENM if the distance between the current position of IUT and the value of optional HeaderInfo generation_location is 29.9 km (C2C only)
// * <pre>
// * Pics Selection: PICS_GN_SECURITY
// * Config Id: CF01
// * Expected behavior:
// * with {
// * the IUT being in the 'authorized' state
// * and the IUT current time is inside the time validity period of CERT_TS_A_AT
// * }
// * ensure that {
// * when {
// * the IUT is receiving a Ieee1609Dot2Data (MSG_SEC_RCV_DENM_A)
// * containing header_fields[generation_location].type
// * indicating 'generation_location'
// * and containing generation_location
// * indicating position in 29.9 km from the current position of IUT
// * } then {
// * the IUT accepts the message
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_DENM_08_05_BV
// * @reference ETSI TS 103 097 [1] Clause 7.2
19528
19529
19530
19531
19532
19533
19534
19535
19536
19537
19538
19539
19540
19541
19542
19543
19544
19545
19546
19547
19548
19549
19550
19551
19552
19553
19554
19555
19556
19557
19558
19559
19560
19561
19562
19563
19564
19565
19566
19567
19568
19569
19570
19571
19572
19573
19574
19575
19576
19577
19578
19579
19580
19581
19582
19583
19584
// */
// testcase TC_SEC_ITSS_RCV_DENM_08_05_BV() runs on ItsGeoNetworking system ItsSecSystem {
//
// // Local variables
// var integer i;
// var GeoNetworkingPdu v_securedGnPdu;
// var GnRawPayload v_sentRawPayload;
// var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
// var Int32 v_latitude;
// var Int32 v_longitude;
//
//
// // Test control
// if (not(PICS_GN_SECURITY)) {
// log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// fx_computePositionUsingDistance(
// v_longPosVectorNodeB.latitude,
// v_longPosVectorNodeB.longitude,
// 29900.0,
// 0,
// v_latitude,
// v_longitude
// );
// v_securedGnPdu := f_prepareSecuredDenm(
// cc_taCert_A,
// {
// m_header_info_generation_location(
// valueof(m_threeDLocation(
// v_latitude,
// v_longitude,
// '0000'O
// ))
// )
// },
// e_certificate_digest_with_sha256
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
//
// f_sleep(PX_TNOAC);
// v_sentRawPayload := valueof(v_securedGnPdu.gnPacket.packet.payload);
// for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
// // Empty on purpose
// }
// if (i < lengthof(vc_utInds)) {
// log("*** " & testcasename() & ": PASS: DENM was transmitted to upper layer***");
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// }
// else {
// log("*** " & testcasename() & ": FAIL: DEN message was not transmitted to upper layer***");
19590
19591
19592
19593
19594
19595
19596
19597
19598
19599
19600
19601
19602
19603
19604
19605
19606
19607
19608
19609
19610
19611
19612
19613
19614
19615
19616
19617
19618
19619
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// }
//
// // Postamble
// f_poNeighbour();
// f_cf01Down();
// } // End of testcase TC_SEC_ITSS_RCV_DENM_08_05_BV
//
// /**
// * @desc Check that IUT discards Secured DENM if the distance between the current position of IUT and the value of optional HeaderInfo generation_location is more than 30 km
// * <pre>
// * Pics Selection: PICS_GN_SECURITY
// * Config Id: CF01
// * Expected behavior:
// * with {
// * the IUT being in the 'authorized' state
// * and the IUT current time is inside the time validity period of CERT_TS_A_AT
// * }
// * ensure that {
// * when {
// * the IUT is receiving a Ieee1609Dot2Data (MSG_SEC_RCV_DENM_A)
// * containing header_fields[generation_location].type
// * indicating 'generation_location'
// * and containing generation_location
// * indicating position in 31 km from the current position of IUT
// * } then {
// * the IUT discards the message
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_DENM_08_06_BO
// * @reference ETSI TS 103 097 [1] Clause 7.2
19622
19623
19624
19625
19626
19627
19628
19629
19630
19631
19632
19633
19634
19635
19636
19637
19638
19639
19640
19641
19642
19643
19644
19645
19646
19647
19648
19649
19650
19651
19652
19653
19654
19655
19656
19657
19658
19659
19660
19661
19662
19663
19664
19665
19666
19667
19668
19669
19670
19671
19672
19673
19674
19675
19676
19677
19678
// */
// testcase TC_SEC_ITSS_RCV_DENM_08_06_BO() runs on ItsGeoNetworking system ItsSecSystem {
//
// // Local variables
// var integer i;
// var GeoNetworkingPdu v_securedGnPdu;
// var GnRawPayload v_sentRawPayload;
// var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
// var Int32 v_latitude;
// var Int32 v_longitude;
//
//
// // Test control
// if (not(PICS_GN_SECURITY)) {
// log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// fx_computePositionUsingDistance(
// v_longPosVectorNodeB.latitude,
// v_longPosVectorNodeB.longitude,
// 31000.0,
// 0,
// v_latitude,
// v_longitude
// );
// v_securedGnPdu := f_prepareSecuredDenm(
// cc_taCert_A,
// {
// m_header_info_generation_location(
// valueof(m_threeDLocation(
// v_latitude,
// v_longitude,
// '0000'O
// ))
// )
// },
// e_certificate_digest_with_sha256
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
//
// f_sleep(PX_TNOAC);
// v_sentRawPayload := valueof(v_securedGnPdu.gnPacket.packet.payload);
// for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
// // Empty on purpose
// }
// if (i < lengthof(vc_utInds)) {
// log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer***");
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// }
// else {
// log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer***");
19684
19685
19686
19687
19688
19689
19690
19691
19692
19693
19694
19695
19696
19697
19698
19699
19700
19701
19702
19703
19704
19705
19706
19707
19708
19709
19710
19711
19712
19713
19714
19715
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// }
//
// // Postamble
// f_poNeighbour();
// f_cf01Down();
// } // End of testcase TC_SEC_ITSS_RCV_DENM_08_06_BO
//
// /**
// * @desc Check that IUT discards the Secured DENM containing empty payload of type 'signed'
// * <pre>
// * Pics Selection: PICS_GN_SECURITY
// * Config Id: CF01
// * Initial conditions:
// * with {
// * the IUT being in the 'authorized' state
// * and the IUT current time is inside the time validity period of CERT_TS_A_AT
// * }
// * ensure that {
// * when {
// * the IUT is receiving a Ieee1609Dot2Data (MSG_SEC_RCV_DENM_A)
// * containing payload_field
// * containing type
// * indicating 'signed'
// * and containing data
// * indicating length 0
// * } then {
// * the IUT discards the message
// * }
// * }
// * </pre>
// *
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_DENM_09_02_BO
// * @reference ETSI TS 103 097 [1] Clause 7.2
19718
19719
19720
19721
19722
19723
19724
19725
19726
19727
19728
19729
19730
19731
19732
19733
19734
19735
19736
19737
19738
19739
19740
19741
19742
19743
19744
19745
19746
19747
19748
19749
19750
19751
19752
19753
19754
19755
19756
19757
19758
19759
19760
19761
19762
19763
19764
19765
19766
19767
19768
19769
19770
19771
19772
19773
19774
19775
19776
19777
19778
19779
19780
19781
19782
19783
19784
19785
19786
19787
19788
19789
19790
19791
19792
19793
19794
19795
// */
// testcase TC_SEC_ITSS_RCV_DENM_09_02_BO() runs on ItsGeoNetworking system ItsSecSystem {
//
// // Local variables
// var integer i;
// var GnNonSecuredPacket v_gnNonSecuredPacket;
// var octetstring v_gnPayload;
// var template (value) Ieee1609Dot2Data v_securedMessage;
// var GeoNetworkingPdu v_securedGnPdu;
// var GnRawPayload v_sentRawPayload;
// var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
// var template (value) SituationContainer v_situation := m_situation(CauseCodeType_vehicleBreakdown_, VehicleBreakdownSubCauseCode_unavailable_);
//
// // Test adapter configuration
// if (not(PICS_GN_SECURITY)) {
// log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// v_gnNonSecuredPacket := valueof(
// m_geoNwBroadcastPacket(
// v_longPosVectorNodeB,
// vc_localSeqNumber,
// f_getGeoBroadcastArea(
// c_area1 // Select area1 (see ETSI TS 102 871-2 Clause 4.2 Configuration 1)
// )));
// // Add the DENM payload
// v_gnNonSecuredPacket.payload := valueof(
// valueof(
// bit2oct(
// encvalue(
// m_denmReq(
// m_denmPdu(
// m_denm(
// m_denmMgmtCon(
// m_tsActionId
// ),
// v_situation,
// m_denmLocation_zeroDelta
// )))))));
//
// // Encode it
// v_gnPayload := bit2oct(
// encvalue(
// v_gnNonSecuredPacket
// )
// );
// f_buildGnSecuredDenm(
// v_securedMessage,
// m_payload_signed(
// ''O
// ),
// e_certificate_digest_with_sha256,
// valueof(m_threeDLocation(
// v_longPosVectorNodeB.latitude,
// v_longPosVectorNodeB.longitude,
// '0000'O
// ))
// );
// v_securedGnPdu := valueof(m_geoNwSecPdu(v_gnNonSecuredPacket, v_securedMessage));
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
//
// f_sleep(PX_TNOAC);
// v_sentRawPayload := valueof(v_securedGnPdu.gnPacket.packet.payload);
// for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
// // Empty on purpose
// } // End of 'for' statement
// if (i < lengthof(vc_utInds)) {
// log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer***");
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// }
// else {
// log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer***");
19801
19802
19803
19804
19805
19806
19807
19808
19809
19810
19811
19812
19813
19814
19815
19816
19817
19818
19819
19820
19821
19822
19823
19824
19825
19826
19827
19828
19829
19830
19831
19832
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// }
//
// // Postamble
// f_poNeighbour();
// f_cf01Down();
// } // End of testcase TC_SEC_ITSS_RCV_DENM_09_02_BO
//
// /**
// * @desc Check that IUT discards the Secured DENM containing payload of type 'unsecured'
// * <pre>
// * Pics Selection: PICS_GN_SECURITY
// * Config Id: CF01
// * Initial conditions:
// * with {
// * the IUT being in the 'authorized' state
// * and the IUT current time is inside the time validity period of CERT_TS_A_AT
// * }
// * ensure that {
// * when {
// * the IUT is receiving a Ieee1609Dot2Data (MSG_SEC_RCV_DENM_A)
// * containing payload_field
// * containing type
// * indicating 'unsecured'
// * and containing data
// * indicating length > 0
// * } then {
// * the IUT discards the message
// * }
// * }
// * </pre>
// *
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_DENM_09_03_BO
// * @reference ETSI TS 103 097 [1] Clause 7.2
19835
19836
19837
19838
19839
19840
19841
19842
19843
19844
19845
19846
19847
19848
19849
19850
19851
19852
19853
19854
19855
19856
19857
19858
19859
19860
19861
19862
19863
19864
19865
19866
19867
19868
19869
19870
19871
19872
19873
19874
19875
19876
19877
19878
19879
19880
19881
19882
19883
19884
19885
19886
19887
19888
19889
19890
19891
19892
19893
19894
19895
19896
19897
19898
19899
19900
19901
19902
19903
19904
19905
19906
19907
19908
19909
19910
19911
19912
// */
// testcase TC_SEC_ITSS_RCV_DENM_09_03_BO() runs on ItsGeoNetworking system ItsSecSystem {
//
// // Local variables
// var integer i;
// var GnNonSecuredPacket v_gnNonSecuredPacket;
// var octetstring v_gnPayload;
// var template (value) Ieee1609Dot2Data v_securedMessage;
// var GeoNetworkingPdu v_securedGnPdu;
// var GnRawPayload v_sentRawPayload;
// var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
// var template (value) SituationContainer v_situation := m_situation(CauseCodeType_vehicleBreakdown_, VehicleBreakdownSubCauseCode_unavailable_);
//
// // Test adapter configuration
// if (not(PICS_GN_SECURITY)) {
// log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// v_gnNonSecuredPacket := valueof(
// m_geoNwBroadcastPacket(
// v_longPosVectorNodeB,
// vc_localSeqNumber,
// f_getGeoBroadcastArea(
// c_area1 // Select area1 (see ETSI TS 102 871-2 Clause 4.2 Configuration 1)
// )));
// // Add the DENM payload
// v_gnNonSecuredPacket.payload := valueof(
// valueof(
// bit2oct(
// encvalue(
// m_denmReq(
// m_denmPdu(
// m_denm(
// m_denmMgmtCon(
// m_tsActionId
// ),
// v_situation,
// m_denmLocation_zeroDelta
// )))))));
//
// // Encode it
// v_gnPayload := bit2oct(
// encvalue(
// v_gnNonSecuredPacket
// )
// );
// f_buildGnSecuredDenm(
// v_securedMessage,
// m_payload_unsecured(
// v_gnPayload
// ),
// e_certificate_digest_with_sha256,
// valueof(m_threeDLocation(
// v_longPosVectorNodeB.latitude,
// v_longPosVectorNodeB.longitude,
// '0000'O
// ))
// );
// v_securedGnPdu := valueof(m_geoNwSecPdu(v_gnNonSecuredPacket, v_securedMessage));
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
//
// f_sleep(PX_TNOAC);
// v_sentRawPayload := valueof(v_securedGnPdu.gnPacket.packet.payload);
// for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
// // Empty on purpose
// } // End of 'for' statement
// if (i < lengthof(vc_utInds)) {
// log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer***");
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// }
// else {
// log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer***");
19918
19919
19920
19921
19922
19923
19924
19925
19926
19927
19928
19929
19930
19931
19932
19933
19934
19935
19936
19937
19938
19939
19940
19941
19942
19943
19944
19945
19946
19947
19948
19949
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// }
//
// // Postamble
// f_poNeighbour();
// f_cf01Down();
// } // End of testcase TC_SEC_ITSS_RCV_DENM_09_03_BO
//
// /**
// * @desc Check that IUT discards the Secured DENM containing payload of type 'encrypted'
// * <pre>
// * Pics Selection: PICS_GN_SECURITY
// * Config Id: CF01
// * Initial conditions:
// * with {
// * the IUT being in the 'authorized' state
// * and the IUT current time is inside the time validity period of CERT_TS_A_AT
// * }
// * ensure that {
// * when {
// * the IUT is receiving a Ieee1609Dot2Data (MSG_SEC_RCV_DENM_A)
// * containing payload_field
// * containing type
// * indicating 'encrypted'
// * and containing data
// * indicating length > 0
// * } then {
// * the IUT discards the message
// * }
// * }
// * </pre>
// *
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_DENM_09_04_BO
// * @reference ETSI TS 103 097 [1] Clause 7.2
19952
19953
19954
19955
19956
19957
19958
19959
19960
19961
19962
19963
19964
19965
19966
19967
19968
19969
19970
19971
19972
19973
19974
19975
19976
19977
19978
19979
19980
19981
19982
19983
19984
19985
19986
19987
19988
19989
19990
19991
19992
19993
19994
19995
19996
19997
19998
19999
20000
// */
// testcase TC_SEC_ITSS_RCV_DENM_09_04_BO() runs on ItsGeoNetworking system ItsSecSystem {
//
// // Local variables
// var integer i;
// var GnNonSecuredPacket v_gnNonSecuredPacket;
// var octetstring v_gnPayload;
// var template (value) Ieee1609Dot2Data v_securedMessage;
// var GeoNetworkingPdu v_securedGnPdu;
// var GnRawPayload v_sentRawPayload;
// var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
// var template (value) SituationContainer v_situation := m_situation(CauseCodeType_vehicleBreakdown_, VehicleBreakdownSubCauseCode_unavailable_);
//
// // Test adapter configuration
// if (not(PICS_GN_SECURITY)) {
// log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// v_gnNonSecuredPacket := valueof(
// m_geoNwBroadcastPacket(
// v_longPosVectorNodeB,
// vc_localSeqNumber,
// f_getGeoBroadcastArea(
// c_area1 // Select area1 (see ETSI TS 102 871-2 Clause 4.2 Configuration 1)
// )));
// // Add the DENM payload
// v_gnNonSecuredPacket.payload := valueof(
// valueof(
// bit2oct(
// encvalue(
// m_denmReq(
// m_denmPdu(
// m_denm(
// m_denmMgmtCon(
// m_tsActionId
// ),
// v_situation,
// m_denmLocation_zeroDelta