Newer
Older
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
),
mw_eUTRAN_CGI(
PX_PLMN_IDENTITY,
PX_CELL_ID
),
mw_cause_ran(
- // TODO To be refined
)));
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate an ongoing NAS Transport procedure
if (fx_eNB_NAS_transport_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends an UPLINK_NAS_TRANSPORT
f_recv_Uplink_NAS_Transport(
mw_uplink_nAS_TransportIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
-,
mw_eUTRAN_CGI(
PX_PLMN_IDENTITY,
PX_CELL_ID
),
mw_TAI(
PX_PLMN_IDENTITY,
PX_TAC
)));
}
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_rABSetupRelease();
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_NAS_02
/**
* @desc Testcase function for TC_S1AP_eNB_NAS_03
*/
function f_TC_S1AP_eNB_NAS_03() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: E-RAB Setup is exchanged.
f_rABSetupRequest();
// And UE is not exchanged
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate a UE has not received a INITIAL_UE_MESSAGE
if (fx_eNB_NAS_transport_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a NAS_NON_DELIVERY_INDICATION
f_recv_NAS_Non_Delivery_Indication(
mw_nAS_Non_Delivery_IndicationIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
-,
mw_cause_ran(
unspecified // TODO Check the value to be used
)
));
}
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_rABSetupRelease();
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_NAS_03
} // End of group NAS_transport_group
/**
* @desc Management group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.1.7 Management group
*/
group Management_group {
/**
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_Reset(
m_resetIEs(
m_cause_nas(
unspecified // TODO Check the value to be used
),
m_resetType_all
));
f_recv_Reset_Acknowledge(
mw_reset_AcknowledgeIEs(
{
?/*mw_uE_associatedLogicalS1_ConnectionItemResAck_IE(
mw_uE_associatedLogicalS1_ConnectionItem(
vc_MME_UE_ID,
))*/
}
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate a Reset procedure initiated from the E-UTRAN
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a RESET
f_recv_Reset(
mw_resetIEs(
mw_cause_nas(
unspecified // TODO Check the value to be used
),
m_resetType_all
));
}
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_Reset(
m_resetIEs(
m_cause_nas(
unspecified // TODO Check the value to be used
),
m_resetType_partOfS1_Interface(
{
m_uE_associatedLogicalS1_ConnectionItemResAck_IE(
m_uE_associatedLogicalS1_ConnectionItem(
0,
0
))
}
)
));
f_recv_Reset_Acknowledge(
mw_reset_AcknowledgeIEs(
{
?/*mw_uE_associatedLogicalS1_ConnectionItemResAck_IE(
mw_uE_associatedLogicalS1_ConnectionItem(
vc_MME_UE_ID,
))*/
}
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
} // End of function f_TC_S1AP_eNB_MNP_03
/**
* @desc Testcase function for TC_S1AP_eNB_TRP_04
*/
function f_TC_S1AP_eNB_MNP_04() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate an Error Indication procedure
if (fx_eNB_Error_Indication_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a ERROR_INDICATION
f_recv_Error_Indication(
mw_error_IndicationIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID // TODO To be refined
));
}
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_MNP_04
/**
* @desc Testcase function for TC_S1AP_eNB_TRP_05
*/
function f_TC_S1AP_eNB_MNP_05() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate a S1 Setup procedure
if (fx_eNB_S1_Setup_Request_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a S1 SETUP REQUEST
f_recv_S1_Setup_Request(
mw_s1_Setup_RequestIEs(
mw_Global_eNB_ID(
PX_PLMN_IDENTITY,
PX_eNB_ID
),
{
mw_supportedTAs_Item(
PX_TAC,
{
PX_PLMN_IDENTITY
}
)
},
PX_PAGING_DRX
));
// Send the response to finalyse the procedure
f_send_S1_Setup_Response(
m_s1_Setup_ResponseIEs(
{
m_servedGUMMEIsItem(
{ PX_PLMN_IDENTITY },
{ PX_MME_GROUP_ID },
{ PX_MME_CODE }
)
},
PX_RELATIVE_MME_CAPAVCITY
));
}
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_MNP_05
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
/**
* @desc Testcase function for TC_S1AP_eNB_TRP_06
*/
function f_TC_S1AP_eNB_MNP_06() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate an eNB Configuration Update procedure
if (fx_eNB_Configuration_Update_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends an ENB_CONFIGURATION_UPDATE
f_recv_eNB_Configuration_Update(
mw_eNB_Configuration_UpdateIEs(
mw_Global_eNB_ID(
PX_PLMN_IDENTITY,
PX_eNB_ID
),
{
mw_supportedTAs_Item(
PX_TAC,
{
PX_PLMN_IDENTITY
}
)
}
));
// Send the acknowledge to finalyse the procedure
f_send_eNB_Configuration_Update_Acknowledge(
m_eNB_Configuration_Update_AcknowledgeIEs
);
}
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_MNP_06
/**
* @desc Testcase function for TC_S1AP_eNB_TRP_07
*/
function f_TC_S1AP_eNB_MNP_07() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_MME_Configuration_Update(
m_mME_Configuration_UpdateIEs(
{
m_servedGUMMEIsItem(
{ PX_PLMN_IDENTITY },
{ PX_MME_GROUP_ID },
{ PX_MME_CODE }
)
}
));
f_recv_MME_Configuration_Update_Acknowledge(
mw_mME_Configuration_Update_AcknowledgeIEs
);
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_MNP_07
/**
* @desc Testcase function for TC_S1AP_eNB_TRP_08
*/
function f_TC_S1AP_eNB_MNP_08() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_MME_Configuration_Update(
m_mME_Configuration_UpdateIEs(
{
m_servedGUMMEIsItem(
{
PX_PLMN_IDENTITY,
PX_PLMN_IDENTITY_UNKNOWN
},
{ PX_MME_GROUP_ID },
{ PX_MME_CODE }
)
}
));
f_recv_MME_Configuration_Update_Failure(
mw_mME_Configuration_Update_FailureIEs(
mw_cause_misc(
unknown_PLMN
)));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_MNP_08
} // End of group Management_group
/**
* @desc S1 CDMA 2000 tunnelling group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.2.8 S1 CDMA 2000 tunnelling group
*/
group S1_CDMA_2000_tunnelling_group {
/**
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: E-RAB Setup is exchanged.
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate a CDMA2000 to be forwarded
if (fx_eNB_Uplink_S1_CDMA2000_Tunnelling_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a an UPLINK_S1_CDMA2000_TUNNELLING
f_recv_Uplink_S1_CDMA2000_Tunnelling(
mw_uplink_S1_CDMA2000_TunnellingIEs(
vc_MME_UE_ID,
PX_CDMA200_RAT_TYPE,
PX_CDMA200_SECTOR_ID,
PX_CDMA200_PDU
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
}
// Postamble
f_rABSetupRelease();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of group S1_CDMA_2000_tunnelling_group
/**
* @desc UE capability info indication group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.1.9 UE capability info indication group
*/
group UE_capability_info_indication_group {
/**
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: E-RAB Setup is exchanged.
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate a capability-related information update
if (fx_eNB_UE_Capability_Info_Indication_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a UE_CAPABILITY_INFO_INDICATION
f_recv_eNB_UE_Capability_Info_Indication(
mw_uE_Capability_Info_IndicationIEs(
vc_MME_UE_ID,
- // TODO To be refined
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
}
// Postamble
f_rABSetupRelease();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of group UE_capability_info_indication_group
/**
* @desc Warning message transmission group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.1.10 Trace group
*/
group Trace_group {
/**
1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: E-RAB Setup is exchanged, and a handover procedure is initiated.
f_rABSetupRequest();
f_initiate_handover();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_Trace_Start(
m_trace_StartIEs(
m_traceActivation(
PX_EUTRAN_TRACE_ID,
PX_INTERFACES_TO_TRACE,
PX_TRACE_DEPTH,
PX_TRANSPORT_LAYER_ADDRESS
)));
f_recv_Trace_Failure_Indication(
mw_trace_Failure_IndicationIEs(
vc_MME_UE_ID,
PX_EUTRAN_TRACE_ID,
- // TODO To be refined
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_rABSetupRelease();
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: E-RAB Setup is exchanged, and a handover procedure is initiated.
f_rABSetupRequest();
f_initiate_traceStart();
f_initiate_handover();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_deactivate_Trace(
m_deactivate_TraceIEs(
vc_MME_UE_ID,
PX_EUTRAN_TRACE_ID
));
f_recv_Trace_Failure_Indication(
mw_trace_Failure_IndicationIEs(
vc_MME_UE_ID,
PX_EUTRAN_TRACE_ID,
- // TODO To be refined
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_initiate_deactivateTrace();
f_rABSetupRelease();
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: E-RAB Setup is exchanged, and a handover procedure is initiated.
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_initiate_traceStart();
f_recv_Cell_Traffic_Trace(
mw_cell_Traffic_TraceIEs(
vc_MME_UE_ID,
PX_EUTRAN_TRACE_ID,
mw_eUTRAN_CGI,
- // TODO To be refined
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_initiate_deactivateTrace();
f_rABSetupRelease();
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of group Trace_group
/**
* @desc Warning message transmission group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.1.11 Location reporting group
*/
group Location_reporting_group {
/**
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: E-RAB Setup is exchanged.
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_Location_Reporting_Control(
m_location_Reporting_ControlIEs(
vc_MME_UE_ID,
1659
1660
1661
1662
1663
1664
1665
1666
1667
1668
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
m_request_Type(
direct,
PX_REPORT_AREA
)));
f_recv_Location_Report(
mw_location_ReportIEs(
?,
?,
mw_eUTRAN_CGI(
PX_PLMN_IDENTITY,
PX_CELL_ID
),
mw_TAI(
PX_PLMN_IDENTITY,
PX_TAC
),
mw_request_Type(
direct,
PX_REPORT_AREA
)));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_rABSetupRelease();
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: E-RAB Setup is exchanged.
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_Location_Reporting_Control(
m_location_Reporting_ControlIEs(
vc_MME_UE_ID,
m_request_Type(
change_of_serve_cell,
PX_REPORT_AREA
)));
fx_move_UE_to_new_cell(); // when UE changes to new cell
f_recv_Location_Report(
mw_location_ReportIEs(
vc_MME_UE_ID,
mw_eUTRAN_CGI(
PX_PLMN_IDENTITY,
PX_CELL_ID
),
mw_TAI(
PX_PLMN_IDENTITY,
PX_TAC
),
mw_request_Type(
change_of_serve_cell,
PX_REPORT_AREA
)));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_rABSetupRelease();
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: E-RAB Setup is exchanged.
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_Location_Reporting_Control(
m_location_Reporting_ControlIEs(
vc_MME_UE_ID,
m_request_Type(
stop_change_of_serve_cell,
PX_REPORT_AREA
)));
fx_check_UE_stops_reporting(); // when UE stop reporting at change of serving cell
f_recv_Location_Report(
mw_location_ReportIEs(
vc_MME_UE_ID,
mw_eUTRAN_CGI(
PX_PLMN_IDENTITY,
PX_CELL_ID
),
mw_TAI(
PX_PLMN_IDENTITY,
PX_TAC
),
mw_request_Type(
stop_change_of_serve_cell,
PX_REPORT_AREA
)));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_rABSetupRelease();
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: E-RAB Setup is exchanged, and a handover procedure is initiated.
f_rABSetupRequest();
f_initiate_handover();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_Location_Reporting_Control(
m_location_Reporting_ControlIEs(
vc_MME_UE_ID,
m_request_Type(
PX_EVENT_TYPE,
PX_REPORT_AREA
)));
f_recv_Location_Report_Failure_Indication(
mw_location_Report_Failure_IndicationIEs(
vc_MME_UE_ID,
? // TODO To be refined: what kind of cause :-(
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Postamble
f_rABSetupRelease();
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of group Location_reporting_group
/**
* @desc Warning message transmission group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.1.12 Warning message transmission group
*/
group Warning_message_transmission_group {
/**
1844
1845
1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
1863
1864
1865
1866
1867
1868
1869
1870
1871
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_Write_Replace_Warning_Request(
m_write_Replace_Warning_RequestIEs(
PX_MESSAGE_IDENTIFIER,
PX_SERIAL_NUMBER,
PX_REPETITION_PERIOD,
PX_NUMBER_OF_BROADCASTS_REQUESTED
));
f_recv_Write_Replace_Warning_Response(
mw_write_Replace_Warning_ResponseIEs(
?,
?
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
1878
1879
1880
1881
1882
1883
1884
1885
1886
1887
1888
1889
1890
1891
1892
1893
1894
1895
1896
1897
1898
1899
1900
1901
1902
1903
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_Kill_Request(
m_kill_RequestIEs(
PX_MESSAGE_IDENTIFIER,
PX_SERIAL_NUMBER
));
f_recv_Kill_Response(
mw_kill_ResponseIEs(
?,
?
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate a PWS Restart Indication procedure
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a PWS_RESTART_INDICATION
f_recv_eNB_PWS_Restart_Indication(
mw_pWS_Restart_IndicationIEs(
{
mw_eUTRAN_CGI(
PX_PLMN_IDENTITY,
PX_CELL_ID
)
},
),
{
mw_TAI(
PX_PLMN_IDENTITY,
PX_TAC
)
},
{ PX_EMERGENCY_AREA_ID }
));
}
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate a PWS Failure Indication procedure
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a PWS_FAILURE_INDICATION
f_recv_eNB_PWS_Failure_Indication(
mw_pWS_Failure_IndicationIEs(
{
mw_eUTRAN_CGI(
PX_PLMN_IDENTITY,
PX_CELL_ID
)
},
)
));
}
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of group Warning_message_transmission_group
/**
* @desc eNB direct information transfer group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.1.13 eNB direct information transfer group
*/
group ENB_direct_information_transfer_group {
/**