Newer
Older
3001
3002
3003
3004
3005
3006
3007
3008
3009
3010
3011
3012
3013
3014
3015
3016
3017
3018
3019
3020
3021
3022
3023
3024
3025
3026
3027
3028
3029
3030
3031
3032
3033
3034
3035
3036
3037
3038
3039
3040
3041
3042
3043
3044
3045
3046
3047
3048
3049
3050
3051
3052
3053
3054
3055
3056
3057
3058
3059
3060
3061
3062
3063
3064
3065
3066
3067
m_denmReq(
m_denmPdu(
m_denm(
m_denmMgmtCon(
m_tsActionId
),
v_situation,
m_denmLocation_zeroDelta
)
)
)
)
)
);
log("v_gnNonSecuredPacket.payload= ", v_gnNonSecuredPacket.payload);
// Encode it
v_gnPayload := bit2oct(
encvalue(
v_gnNonSecuredPacket
)
);
log("v_gnPayload= ", v_gnPayload);
f_buildGnSecuredDenm(
v_securedMessageBeacon,
m_payload_signed(v_gnPayload),
e_certificate_digest_with_sha256,
m_threeDLocation(
1234,
5678,
'002F'O
)
);
log("v_securedMessageBeacon= ", v_securedMessageBeacon);
// Build secured Gn packet
v_gnReq := m_geoNwReq_linkLayerBroadcast(
m_geoNwSecPdu(
v_gnNonSecuredPacket,
v_securedMessageBeacon
) // End of template m_geoNwSecPdu
); // End of template m_geoNwReq_linkLayerBroadcast
// Encode it
v_encMsg := bit2oct(encvalue(v_gnReq));
log("v_encMsg= ", v_encMsg);
if (not isbound(v_encMsg)) {
setverdict(fail, "Encoding failed!");
stop;
}
setverdict(pass, "Encoding passed.");
// Decode it
v_gnReq.msgOut.gnPacket.packet.commonHeader.plLength := 56;
test_decodePDU<GeoNetworkingReq>(
v_gnReq,
v_encMsg
);
log("v_gnReq: ", v_gnReq);
if (decvalue(oct2bit(v_encMsg), v_gnReq) == 0) {
if (f_verifyGnSecuredMessageSignatureWithCertificate(v_gnReq.msgOut.gnPacket.securedMsg, vc_atCertificate) == true) {
setverdict(pass, "Signature check succeed.");
} else {
setverdict(fail, "Signature check failed.");
}
} else {
setverdict(fail, "Decoding failed.");
}
3069
3070
3071
3072
3073
3074
3075
3076
3077
3078
3079
3080
3081
3082
3083
3084
3085
3086
3087
3088
3089
3090
3091
3092
3093
3094
3095
3096
3097
3098
3099
3100
3101
3102
3103
3104
3105
3106
3107
3108
3109
3110
3111
3112
3113
3114
3115
3116
3117
3118
3119
3120
3121
3122
3123
3124
3125
3126
3127
3128
3129
3130
3131
3132
3133
3134
3135
3136
3137
3138
3139
3140
3141
3142
3143
3144
3145
3146
3147
3148
3149
3150
3151
3152
3153
3154
3155
3156
3157
3158
3159
3160
3161
3162
3163
3164
3165
3166
3167
3168
3169
3170
3171
3172
3173
3174
3175
/**
* @desc validate secured dcertificate GeoNetworkingReq/Broadcast with DENM payload
* @verdict Pass on success, Fail otherwise
*/
testcase tc_GeoNetReq_SecuredCertificateBroadcastPacketWithBtpDenm() runs on TCType system TCType {
var GeoNetworkingReq v_gnReq;
var GnNonSecuredPacket v_gnNonSecuredPacket;
var GeoNetworkingPacket v_geoNetworkingPacket;
var octetstring v_gnPayload, v_encMsg;
var template (value) SituationContainer v_situation := m_situation(c_causeVehicleBreakdown, c_subCauseCode_Unavailable);
var template (value) ToBeSignedSecuredMessage v_toBeSignedSecuredMessage;
var template (value) SecuredMessage v_securedMessageBeacon;
if (PX_GN_UPPER_LAYER != e_btpB) {
log("PX_GN_UPPER_LAYER shall be set to e_btpB");
stop;
}
// Load certificates & keys
if (f_loadCertificates("cfg01") == false) {
setverdict(fail);
stop;
}
f_setGenerationLocation(
f_getTsLatitude(),
f_getTsLongitude()
);
// Build signed SecuredMessage
v_gnNonSecuredPacket := m_geoNwBroadcastPacket(
m_dummyLongPosVectorNodeB,
3456,
m_dummyGeoBroadcastArea1
);
log("v_gnNonSecuredPacket= ", v_gnNonSecuredPacket);
// Add CAM payload
v_gnNonSecuredPacket.payload := f_adaptPayload_m(
bit2oct(
encvalue(
m_denmReq(
m_denmPdu(
m_denm(
m_denmMgmtCon(
m_tsActionId
),
v_situation,
m_denmLocation_zeroDelta
)
)
)
)
)
);
log("v_gnNonSecuredPacket.payload= ", v_gnNonSecuredPacket.payload);
// Encode it
v_gnPayload := bit2oct(
encvalue(
v_gnNonSecuredPacket
)
);
log("v_gnPayload= ", v_gnPayload);
f_buildGnSecuredDenm(
v_securedMessageBeacon,
m_payload_signed(v_gnPayload),
e_certificate,
m_threeDLocation(
1234,
5678,
'002F'O
)
);
log("v_securedMessageBeacon= ", v_securedMessageBeacon);
// Build secured Gn packet
v_gnReq := m_geoNwReq_linkLayerBroadcast(
m_geoNwSecPdu(
v_gnNonSecuredPacket,
v_securedMessageBeacon
) // End of template m_geoNwSecPdu
); // End of template m_geoNwReq_linkLayerBroadcast
// Encode it
v_encMsg := bit2oct(encvalue(v_gnReq));
log("v_encMsg= ", v_encMsg);
if (not isbound(v_encMsg)) {
setverdict(fail, "Encoding failed!");
stop;
}
setverdict(pass, "Encoding passed.");
// Decode it
v_gnReq.msgOut.gnPacket.packet.commonHeader.plLength := 56;
test_decodePDU<GeoNetworkingReq>(
v_gnReq,
v_encMsg
);
log("v_gnReq: ", v_gnReq);
if (decvalue(oct2bit(v_encMsg), v_gnReq) == 0) {
if (f_verifyGnSecuredMessageSignatureWithCertificate(v_gnReq.msgOut.gnPacket.securedMsg, vc_atCertificate) == true) {
setverdict(pass, "Signature check succeed.");
} else {
setverdict(fail, "Signature check failed.");
}
} else {
setverdict(fail, "Decoding failed.");
}
3177
3178
3179
3180
3181
3182
3183
3184
3185
3186
3187
3188
3189
3190
3191
3192
3193
3194
3195
3196
3197
3198
3199
/**
* @desc validate GeoNetworkingInd/Beacon
* @verdict Pass on success, Fail otherwise
*/
testcase tc_GeoNetInd_Beacon() runs on TCType system TCType {
if (PX_GN_UPPER_LAYER != e_any) {
log("PX_GN_UPPER_LAYER shall be set to e_any");
stop;
}
test_decodePDU<GeoNetworkingInd>(
mw_geoNwInd_withLinkLayerDestination(
mw_geoNwPdu(
mw_geoNwBeaconPacket(
?
)
),
'FFFFFFFFFFFF'O
),
'01002B0A0010800000000100BC21A4FEDECABEEF0001E240000012F8000002A380372694FFFFFFFFFFFF'O
);
3201
3202
3203
3204
3205
3206
3207
3208
3209
3210
3211
3212
3213
3214
3215
3216
3217
3218
3219
3220
3221
3222
3223
3224
3225
3226
3227
3228
3229
3230
3231
3232
3233
3234
3235
3236
3237
3238
3239
3240
3241
3242
3243
3244
3245
3246
/**
* @desc validate secured GeoNetworkingInd/Beacon
* @verdict Pass on success, Fail otherwise
*/
testcase tc_GeoNetInd_SecuredBeacon() runs on TCType system TCType {
var GeoNetworkingInd v_gnInd;
var octetstring v_decMsg := '02002B0A021E8001963A7C716A20569D00000134D2197F537003000004D20000162E002F01200010800000000100BC21A4FEDECABEEF0001E240000012F8000002A38037269443010002E0EF081A49ABA0570F5EDCAACD65C8509EBFD4132CEB8E80904E1EAC489C12D17672C967428FFF851304CC83D914EE73AD12892F2BC55B092CBFF59147643DBBFFFFFFFFFFFF'O;
if (PX_GN_UPPER_LAYER != e_any) {
log("PX_GN_UPPER_LAYER shall be set to e_any");
stop;
}
// Load certificates & keys
if (f_loadCertificates("cfg01") == false) {
setverdict(fail);
stop;
}
f_setGenerationLocation(
f_getTsLatitude(),
f_getTsLongitude()
);
test_decodePDU<GeoNetworkingInd>(
mw_geoNwInd(
mw_geoNwSecPdu(
mdw_securedMessage,
mw_geoNwBeaconPacket(
?
)
)
),
v_decMsg
);
// Check signature
if (decvalue(oct2bit(v_decMsg), v_gnInd) == 0) {
if (f_verifyGnSecuredMessageSignatureWithCertificate(v_gnInd.msgIn.gnPacket.securedMsg,vc_atCertificate) == true) {
setverdict(pass, "Signature check succeed.");
} else {
setverdict(fail, "Signature check failed.");
}
} else {
setverdict(fail, "Decoding failed.");
}
3248
3249
3250
3251
3252
3253
3254
3255
3256
3257
3258
3259
3260
3261
3262
3263
3264
3265
3266
3267
3268
3269
3270
3271
/**
* @desc validate GeoNetworkingInd/LsReply
* @verdict Pass on success, Fail otherwise
*/
testcase tc_GeoNetInd_LsRequestPacket() runs on TCType system TCType {
if (PX_GN_UPPER_LAYER != e_any) {
log("PX_GN_UPPER_LAYER shall be set to e_any");
stop;
}
test_decodePDU<GeoNetworkingInd>(
mw_geoNwInd_withLinkLayerDestination(
mw_geoNwPdu(
mw_geoNwLsRequestPacket(
12345,
?
)
),
'FFFFFFFFFFFF'O
),
'01002B0A0060800000000A0030390000BC21A4FEDECABEEF0001E240000012F8000002A380372694BC21A4FEDECABEEFFFFFFFFFFFFF'O
);
3273
3274
3275
3276
3277
3278
3279
3280
3281
3282
3283
3284
3285
3286
3287
3288
3289
3290
3291
3292
3293
3294
3295
3296
3297
3298
3299
3300
3301
3302
3303
3304
3305
3306
3307
3308
3309
3310
3311
3312
3313
3314
3315
3316
3317
3318
3319
3320
3321
/**
* @desc validate secured GeoNetworkingInd/LsReply
* @verdict Pass on success, Fail otherwise
*/
testcase tc_GeoNetInd_SecuredLsRequestPacket() runs on TCType system TCType {
var GeoNetworkingInd v_gnInd;
var octetstring v_decMsg := '02002B0A021E8001963A7C716A20569D00000134D261A4425003000004D20000162E002F012C0060800000000A0030390000BC21A4FEDECABEEF0001E240000012F8000002A380372694BC21A4FEDECABEEF43010002B48FF2B34AEDAFC616F54EB204C556E5E7877A8F4A3AD14B38E06272D593FFF8C2C1E6A0F5F22A72AE235E8898920D9B4ADAE83178F30E282F796823EE139CA0FFFFFFFFFFFF'O;
if (PX_GN_UPPER_LAYER != e_any) {
log("PX_GN_UPPER_LAYER shall be set to e_any");
stop;
}
// Load certificates & keys
if (f_loadCertificates("cfg01") == false) {
setverdict(fail);
stop;
}
f_setGenerationLocation(
f_getTsLatitude(),
f_getTsLongitude()
);
test_decodePDU<GeoNetworkingInd>(
mw_geoNwInd_withLinkLayerDestination(
mw_geoNwSecPdu(
mdw_securedMessage,
mw_geoNwLsRequestPacket(
12345,
?
)
),
'FFFFFFFFFFFF'O
),
v_decMsg
);
// Check signature
if (decvalue(oct2bit(v_decMsg), v_gnInd) == 0) {
if (f_verifyGnSecuredMessageSignatureWithCertificate(v_gnInd.msgIn.gnPacket.securedMsg, vc_atCertificate) == true) {
setverdict(pass, "Signature check succeed.");
} else {
setverdict(fail, "Signature check failed.");
}
} else {
setverdict(fail, "Decoding failed.");
}
testcase tc_GeoNetInd_ShbHeaderPacket() runs on TCType system TCType {
if (PX_GN_UPPER_LAYER != e_any) {
log("PX_GN_UPPER_LAYER shall be set to e_any");
stop;
}
test_decodePDU<GeoNetworkingInd>(
mw_geoNwInd_withLinkLayerDestination(
mw_geoNwPdu(
mw_geoNwShbPacket(
?,
?
)
),
'FFFFFFFFFFFF'O
),
'01002B0A00508000000F0A00BC21A4FEDECABEEF0001E240000012F8000002A3803726940000000044454641554C545F5041594C4F4144FFFFFFFFFFFF'O
);
3344
3345
3346
3347
3348
3349
3350
3351
3352
3353
3354
3355
3356
3357
3358
3359
3360
3361
3362
3363
3364
3365
3366
3367
3368
3369
3370
3371
testcase tc_GeoNetInd_SecuredDigest() runs on TCType system TCType {
if ((PX_GN_UPPER_LAYER != e_btpA) and (PX_GN_UPPER_LAYER != e_btpB)) {
log("PX_GN_UPPER_LAYER shall be set to e_btpA or e_btpB");
setverdict(inconc);
stop;
}
// Load certificates & keys
if (f_loadCertificates("cfg01") == false) {
setverdict(fail);
stop;
}
f_setGenerationLocation(
f_getTsLatitude(),
f_getTsLongitude()
);
test_decodePDU<GeoNetworkingInd>(
mw_geoNwInd(
mw_geoNwSecPdu(
mdw_securedMessage,
mw_geoNwAnyPacket_withPayload(
?
))),
'02002b0a0201168001b893358ab25faf640000000148c57ff5ec05000254005210508000002e0a00bc21a4fedecabeeff6c53234000012f8000002a3803726940000000007d1000001020001b20788b80059f48d95cdefc8c5e0020020002461a83c000004805a100c4528399d4c387fff80430100020000f9a888a78d9053507a828711deef7f38d470736fc07bbb7f4bf044ed0d80325b6d55af32e9aeaa69b281132ce3f596ef5eaf4281aa8c4f0398ab126d3f90b855ffffffffffff'O
);
3373
3374
3375
3376
3377
3378
3379
3380
3381
3382
3383
3384
3385
3386
3387
3388
3389
3390
3391
3392
3393
3394
3395
3396
3397
3398
3399
3400
testcase tc_GeoNetInd_SecuredCertificate_DENM() runs on TCType system TCType {
if ((PX_GN_UPPER_LAYER != e_btpA) and (PX_GN_UPPER_LAYER != e_btpB)) {
log("PX_GN_UPPER_LAYER shall be set to e_btpA or e_btpB");
setverdict(inconc);
stop;
}
// Load certificates & keys
if (f_loadCertificates("cfg01") == false) {
setverdict(fail);
stop;
}
f_setGenerationLocation(
f_getTsLatitude(),
f_getTsLongitude()
);
test_decodePDU<GeoNetworkingInd>(
mw_geoNwInd(
mw_geoNwSecPdu(
mdw_securedMessage,
mw_geoNwAnyPacket_withPayload(
?
))),
'02002b0a020181198002020901b893358ab25faf64010080950000045fe633945b4c1a08d904dfb35fb19ef2967e2c739725d5c0e868d8682743f9390369985c3af3aa54e489c4a7d0381cfd9dfb6d71bb6e6059061f16dafd05da46010100042c560cb703294825e40d5d850ab4fef24e5b0dee3e12a4ce0747c4f31db1b147a1cbc5690f3929a5e7263e92c07db2e606d4da72ebe2732e4bd61c58aae807630220210ac040800100c04081010024015411aa6d5a391aed0303181db9cf7c052616001db9566e0526872a1d53f0d0052783500000570941dabbc94fd3607250d96fd1bef305f92113b8eef39772232c0fcdb951e4dcc6d99b8c8ca94a0ac14a7a46707b83a80820adca58b6f1e3fea7fe6e0752ba0220210ac040800100c0408101002401540086ed5a391aed0303181db9cf7c052616001db9566e0526872a1d53f0d00527835000009ba18503dfc211994cfd1a1ecf71f306da9e6980ac2fb091d0797d9b155a20864930abcb59b4feda7a59c3c78cdafce8e804f6fe8cab94afcc84bf568d46497d0000000148c5afcc2d05000254005210508000002e0a00bc21a4fedecabeeff6f50875000012f8000002a380372694000000000000000001020001b20788b80059f48d95cdefc8c5e0020020002461a83c000004805a100c4528399d4c387fff804301000200005cb251c659b90920b87fa55ca4e831a986b77c0f145a45b8e49674ee0dcf68b505c5c5bd546da38f379edc6bc8b96acf4736e47412065005665af7aed2a39012'O
);
3402
3403
3404
3405
3406
3407
3408
3409
3410
3411
3412
3413
3414
3415
3416
3417
3418
3419
3420
3421
3422
3423
3424
3425
3426
3427
3428
3429
3430
3431
3432
3433
3434
3435
3436
3437
3438
3439
3440
3441
testcase tc_GeoNetInd_SecuredCertificate_CAM() runs on TCType system TCType {
if ((PX_GN_UPPER_LAYER != e_btpA) and (PX_GN_UPPER_LAYER != e_btpB)) {
log("PX_GN_UPPER_LAYER shall be set to e_btpA or e_btpB");
setverdict(inconc);
stop;
}
// Load certificates & keys
if (f_loadCertificates("cfg01") == false) {
setverdict(fail);
stop;
}
f_setGenerationLocation(
f_getTsLatitude(),
f_getTsLongitude()
);
test_decodePDU<GeoNetworkingInd>(
mw_geoNwInd(
mw_geoNwSecPdu(
mdw_securedMessage,
mw_geoNwAnyPacket_withPayload(
?
))),
'02002B0A020181198002020901B893358AB25FAF64010080950000045FE633945B4C1A08D904DFB35FB19EF2967E2C739725D5C0E868D8682743F9390369985C3AF3AA54E489C4A7D0381CFD9DFB6D71BB6E6059061F16DAFD05DA46010100042C560CB703294825E40D5D850AB4FEF24E5B0DEE3E12A4CE0747C4F31DB1B147A1CBC5690F3929A5E7263E92C07DB2E606D4DA72EBE2732E4BD61C58AAE807630220210AC040800100C04081010024015411AA6D5A391AED0303181DB9CF7C052616001DB9566E0526872A1D53F0D0052783500000570941DABBC94FD3607250D96FD1BEF305F92113B8EEF39772232C0FCDB951E4DCC6D99B8C8CA94A0AC14A7A46707B83A80820ADCA58B6F1E3FEA7FE6E0752BA000001358CEAA7398005000254005210508000002E0A00BC21A4FEDECABEEF535AEF38000012F8000002A3803726940000000007D1000001020001B20788B80059F48D95CDEFC8C5E0020020002461A83C000004805A100C4528399D4C387FFF804301000247C9F3161E20F8B61857117967DA83EA4A1667A27B0462F2B07197C3F82FC816F336F1C803BD1B3E62B1B7D3141921485049DEA8ECD22E7F2D27077E98AA74EC010002B4A06C592A8B49CBBCC35D864A427C7A020CB2E535B043DD06828ED9310859A9B90847545A7845CAF565D430C8187A784E9DB4495A16D694E5FAA67C30785550'O
);
}
} // End of testGeoNetPrimitiveMessages
group testUtEvent {
testcase tc_UtGnInitialize() runs on TCType system TCType {
test_PDU<UtInitialize>(m_gnInitialize, false);
}
testcase tc_UtInitializeResult() runs on TCType system TCType {
test_decodePDU<UtInitializeResult>(UtInitializeResult:true, '0101'O);