Newer
Older
* @desc Initiate a Trace Start procedure
*/
function f_initiate_traceStart() runs on S1APComponent {
f_send_Trace_Start(
m_trace_StartIEs(
m_traceActivation(
PX_EUTRAN_TRACE_ID,
PX_INTERFACES_TO_TRACE,
PX_TRACE_DEPTH,
PX_TRANSPORT_LAYER_ADDRESS
)));
} // End of function f_initiate_traceStart
/**
* @desc Initiate a Deactivate Trace procedure
*/
function f_initiate_deactivateTrace() runs on S1APComponent {
// TODO
} // End of function f_initiate_deactivateTrace
/**
* @desc Initiate a an Write-Replace Warning Request procedure
*/
function f_writeReplaceWarningExchanges() runs on S1APComponent {
// TODO
} // End of function f_writeReplaceWarningExchanges
} // End of group fullProcedures
group externalFunctions {
group eNBRole {
/**
* @desc Trigger an INITIAL UE MESSAGE procedure
* @return true on success, false otherwise
*/
external function fx_eNB_Initiate_NAS_transport_procedure() return boolean;
/**
* @desc Trigger an INITIAL UE MESSAGE procedure
* @return true on success, false otherwise
*/
external function fx_eNB_NAS_transport_procedure() return boolean;
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
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
/**
* @desc Trigger an S1 SETUP procedure
* @return true on success, false otherwise
*/
external function fx_eNB_S1_Setup_Request_procedure() return boolean;
/**
* @desc Trigger an eNB Configuration Update procedure
* @return true on success, false otherwise
*/
external function fx_eNB_Configuration_Update_procedure() return boolean;
/**
* @desc Trigger an an Overload Start procedure
* @return true on success, false otherwise
*/
external function fx_eNB_Overload_Start_procedure() return boolean;
/**
* @desc Trigger an an Overload Stop procedure
* @return true on success, false otherwise
*/
external function fx_eNB_Overload_Stop_procedure() return boolean;
/**
* @desc Trigger an Error Indication procedure
* @return true on success, false otherwise
*/
external function fx_eNB_Error_Indication_procedure() return boolean;
/**
* @desc Trigger a RESET procedure
* @return true on success, false otherwise
*/
external function fx_eNB_Reset_procedure() return boolean;
/**
* @desc Trigger a CDMA2000 to be forwarded procedure
* @return true on success, false otherwise
*/
external function fx_eNB_Uplink_S1_CDMA2000_Tunnelling_procedure() return boolean;
/**
* @desc Trigger a UE CAPABILITY INFO INDICATION procedure
* @return true on success, false otherwise
*/
external function fx_eNB_UE_Capability_Info_Indication_procedure() return boolean;
/**
* @desc Force the UE to be registered to a new cell
* @return true on success, false otherwise
*/
external function fx_move_UE_to_new_cell() return boolean;
/**
* @desc Check htat UE stop reporting at change of serving cell
* @return true on success, false otherwise
*/
external function fx_check_UE_stops_reporting() return boolean;
/**
* @desc Trigger a PWS Restart Indication procedure
* @return true on success, false otherwise
*/
external function fx_eNB_PWS_Restart_Indication_procedure() return boolean;
/**
* @desc Trigger a PWS Failure Indication procedure
* @return true on success, false otherwise
*/
external function fx_eNB_PWS_Failure_Indication_procedure() return boolean;
/**
* @desc Trigger an ENB direct information Transfer procedure
* @return true on success, false otherwise
*/
external function fx_eNB_Direct_Information_Transfer_procedure() return boolean;
/**
* @desc Trigger an ENB Configuration Transfer procedure
* @return true on success, false otherwise
*/
external function fx_eNB_Configuration_Transfer_procedure() return boolean;
/**
* @desc Trigger a LPPa Transport procedure using a UE associated signalling on eNodeB
* @param p_associated_signalling_mode Set to true for an associated signalling mode, false otherwise
* @return true on success, false otherwise
*/
external function fx_eNB_LPPa_Transport_procedure_ind(
in boolean p_associated_signalling_mode
) return boolean;
} // End of group eNBRole
group mmeRole {
/**
* @desc Trigger a PAGING event
* @return true on success, false otherwise
*/
external function fx_MME_Paging_procedure() return boolean;
/**
* @desc Trigger a DOWNLINK NAS TRANSPORT event
* @return true on success, false otherwise
*/
external function fx_MME_Downlink_NAS_Transport_procedure() return boolean;
/**
* @desc Trigger a REROUTE NAS REQUEST event
* @return true on success, false otherwise
*/
external function fx_MME_Reroute_NAS_Request_procedure() return boolean;
/**
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
* @desc Trigger a RESET event
* @return true on success, false otherwise
*/
external function fx_MME_Reset_procedure() return boolean;
/**
* @desc Trigger an ERROR INDICATION event
* @return true on success, false otherwise
*/
external function fx_MME_Error_Indication_procedure() return boolean;
/**
* @desc Trigger a CDMA2000 signalling event
* @return true on success, false otherwise
*/
external function fx_MME_Downlink_S1_CDMA2000_Tunnelling_procedure() return boolean;
/**
* @desc Trigger a Trace Start procedure
* @return true on success, false otherwise
*/
external function fx_MME_Trace_Start_procedure() return boolean;
/**
* @desc Trigger a Deactivate Trace procedure
* @return true on success, false otherwise
*/
external function fx_MME_Deactivate_Trace_procedure() return boolean;
/**
* @desc Trigger a Location Reporting Control procedure
* @return true on success, false otherwise
*/
external function fx_MME_Location_Reporting_Control_procedure() return boolean;
/**
* @desc Trigger a Write-Replace Warning procedure
* @return true on success, false otherwise
*/
external function fx_MME_Write_Replace_Warning_procedure() return boolean;
/**
* @desc Trigger a Kill procedure
* @return true on success, false otherwise
*/
external function fx_MME_Kill_procedure() return boolean;
/**
* @desc Trigger an MME Direct Information Transfer procedure
* @return true on success, false otherwise
*/
external function fx_MME_Direct_Information_Transfer_procedure() return boolean;
/**
* @desc Trigger an MME Configuration Transfer procedure
* @return true on success, false otherwise
*/
external function fx_MME_Configuration_Transfer_procedure() return boolean;
/**
* @desc Trigger a LPPa Transport procedure using a UE associated signalling on MME
* @param p_associated_signalling_mode Set to true for an associated signalling mode, false otherwise
* @return true on success, false otherwise
*/
external function fx_MME_LPPa_Transport_procedure_ind(
in boolean p_associated_signalling_mode
) return boolean;
} // End of group mmeRole
} // End of group externalFunctions
function f_preambleS1AP_MME()
runs on S1APComponent {
//TODO:...
function f_preambleS1AP_eNB()
runs on S1APComponent {
//TODO:...
} // End of function f_preambleS1AP_eNB
} // End of group preamble_S1AP
function f_postambleS1AP_MME()
runs on S1APComponent {
// TODO:...
} // End of function f_postambleS1AP_MME
/**
* @desc
* @verdict
*/
function f_postambleS1AP_eNB()
runs on S1APComponent {
// TODO:...
} // End of function f_postambleS1AP_eNB
} // End of group postamble_S1AP
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
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
} // End of group postambles
/**
* @desc Global 'altstep' statements description
*/
group globalSteps {
/**
* @desc This is a test step that init S1AP component
*/
function f_S1AP_Init_Component()
runs on S1APComponent {
} // End of function f_S1AP_Init_Component
/**
* @desc Component termination
*/
function f_S1AP_terminate_component()
runs on S1APComponent {
log("component terminated - forced!");
deactivate;
stop;
} // End of function f_S1AP_terminate_component
/**
* @desc Component termination
*/
function f_componentStop()
runs on S1APComponent {
syncPort.send(m_syncClientStop);
S1_MMEeNB_P.clear;
stop;
} // End of function f_componentStop
/**
* @desc Original copied from older LibCommon_VerdictControl
*/
function f_getVerdict() // FIXME Are you sure we really need it???
return FncRetCode {
var FncRetCode v_ret := e_error;
if (getverdict == pass or getverdict == none) {
v_ret := e_success;
}
return v_ret;
} // End of function
/**
*
* @desc Wait for particular time before next expected message
*/
function f_wait(float p_time) // FIXME To be replace by LibCommon.f_sleep!!!
runs on S1APComponent {
tc_wait.start(p_time);
alt {
[] tc_wait.timeout{ }
}
} // End of function f_wait
} // End of group globalSteps
/**
* @desc Default 'altstep' statements description
*/
group defaultsTestStep {
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
runs on S1APComponent {
[] any timer.timeout {
all timer.stop;
if (vc_serverStop==false) {
f_selfOrClientSyncAndVerdict("error", e_timeout);
}
else {
stop;
}
}
[] S1_MMEeNB_P.receive (S1AP_PDU:{initiatingMessage := ?}) -> value vc_recvS1AP_PDUDefault {
repeat;
}
[] S1_MMEeNB_P.receive (S1AP_PDU:{successfulOutcome := ?}) -> value vc_recvS1AP_PDUDefault {
repeat;
}
[] S1_MMEeNB_P.receive (S1AP_PDU:{unsuccessfulOutcome := ?}) -> value vc_recvS1AP_PDUDefault {
repeat;
}
[] S1_MMEeNB_P.receive (S1AP_PDU:?) -> value vc_recvS1AP_PDUDefault {
if (vc_serverStop==false) {
f_selfOrClientSyncAndVerdict("error", e_error);
}
else {
stop;
}
}
[] S1_MMEeNB_P.receive {
if (vc_serverStop==false) {
f_selfOrClientSyncAndVerdict("error", e_error);
}
else {
stop;
}
}
[] a_shutdown() {
// Process temination on error
log("*** a_defaultS1AP() : Process temination on error ***");
// Terminate component execution
stop;
}
runs on S1APComponent {
[] any timer.timeout {
all timer.stop;
if (vc_serverStop==false) {
f_selfOrClientSyncAndVerdict("error", e_timeout);
}
else {
stop;
}
}
//TODO:...
} // End of altstep a_defaultS1AP_MME
runs on S1APComponent {
[] any timer.timeout {
all timer.stop;
if (vc_serverStop==false) {
f_selfOrClientSyncAndVerdict("error", e_timeout);
}
else {
stop;
}
}