Newer
Older
c_gTP_TEID,
c_nAS_PDU
)},
m_UESecurityCapabilities('0101010101010101'B, c_notSupportedIntegrityProtectionAlgorithms),
m_securityKey
));
f_recv_InitialContext_SetupResponse(mw_InitialContextSetupFailureIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
mw_cause_ran(encryption_and_or_integrity_protection_algorithms_not_supported)
));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_06
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
/**
* @desc Testcase function for TC_S1AP_eNB_CMP_07
*/
function f_TC_S1AP_eNB_CMP_07() runs on S1APComponent {
// Local variables
const E_RAB_ID c_E_RAB_ID_A := 0;
const TransportLayerAddress c_transportLayerAddress := '0'B;
const GTP_TEID c_gTP_TEID := '00000000'O;
const NAS_PDU c_nAS_PDU := '0000'O;
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. NOTE: the cell accessed by the UE need to be a hybrid cell!***");
// Test body
f_send_InitialContext_SetupRequest(m_InitialContextSetupReqIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
m_UEAggregateMaximumBitrate(1,1),
{m_E_RABToBeSetupItemBearerSUReq (
c_E_RAB_ID_A,
m_e_RABlevelQoSParameters
(5),
c_transportLayerAddress,
c_gTP_TEID,
c_nAS_PDU
)},
m_UESecurityCapabilities('0101010101010101'B, '0101010101010101'B),
m_securityKey
));
f_recv_InitialContext_SetupResponse(mw_InitialContextSetupFailureIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
mw_cause_nas(csg_subscription_expiry)
));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_07
/**
* @desc Testcase function for TC_S1AP_eNB_CMP_08
*/
function f_TC_S1AP_eNB_CMP_08() runs on S1APComponent {
// Local variables
const E_RAB_ID c_E_RAB_ID_A := 0;
const TransportLayerAddress c_transportLayerAddress := '0'B;
const GTP_TEID c_gTP_TEID := '00000000'O;
const NAS_PDU c_nAS_PDU := '0000'O;
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_InitialContext_SetupRequest(m_InitialContextSetupReqIEs(
{m_E_RABToBeSetupItemBearerSUReq (
c_E_RAB_ID_A,
m_e_RABlevelQoSParameters
(1),
c_transportLayerAddress,
c_gTP_TEID,
c_nAS_PDU,
{m_correlationID_IE('01020304'O), m_SIPTO_correlationID_IE('01020304'O)} // iE_Extensions
m_UESecurityCapabilities('0101010101010101'B,'0101010101010101'B),
m_securityKey
f_recv_InitialContext_SetupResponse(mw_InitialContextSetupResIEs(
{
mw_E_RABItem(
c_E_RAB_ID_A,
?
)
}
));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_08
/**
* @desc Testcase function for TC_S1AP_eNB_CMP_09
*/
function f_TC_S1AP_eNB_CMP_09() runs on S1APComponent {
// Local variables
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
// Preamble
f_S1AP_enb_init();
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_recv_UE_Context_Release_Request(mw_UeContextReleaseRequestIEs
(vc_MME_UE_ID, vc_eNB_UE_ID,
?));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_09
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
/**
* @desc Testcase function for TC_S1AP_eNB_CMP_10
*/
function f_TC_S1AP_eNB_CMP_10() runs on S1APComponent {
// Local variables
var template(value) Cause v_cause;
select(PX_VA){
case(1){v_cause := m_cause_ran(user_inactivity)}
case(2){v_cause := m_cause_ran(radio_connection_with_ue_lost)}
case(3){v_cause := m_cause_nas(csg_subscription_expiry)}
case(4){v_cause := m_cause_ran(cs_fallback_triggered)}
case(5){v_cause := m_cause_ran(redirection_towards_1xRTT)}
case(6){v_cause := m_cause_ran(interrat_redirection)}
case(7){v_cause := m_cause_ran(ue_not_available_for_ps_service)}
case else {setverdict(fail, "undefined PIXIT value for variant")}
}
// Preamble
f_S1AP_enb_init();
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_UE_Context_Release_Command(m_UeContextReleaseCommandIEs_MME(
vc_MME_UE_ID,
v_cause
));
f_recv_UE_Context_Release_Complete(mw_UeContextReleaseCompleteIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID
));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_10
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
/**
* @desc Testcase function for TC_S1AP_eNB_CMP_11
*/
function f_TC_S1AP_eNB_CMP_11() runs on S1APComponent {
// Local variables
var template(value) Cause v_cause;
select(PX_VA){
case(1){v_cause := m_cause_ran(user_inactivity)}
case(2){v_cause := m_cause_ran(radio_connection_with_ue_lost)}
case(3){v_cause := m_cause_nas(csg_subscription_expiry)}
case(4){v_cause := m_cause_ran(cs_fallback_triggered)}
case(5){v_cause := m_cause_ran(redirection_towards_1xRTT)}
case(6){v_cause := m_cause_ran(interrat_redirection)}
case(7){v_cause := m_cause_ran(ue_not_available_for_ps_service)}
case else {setverdict(fail, "undefined PIXIT value for variant")}
}
// Preamble
f_S1AP_enb_init();
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_UE_Context_Release_Command(m_UeContextReleaseCommandIEs_ENB(
vc_eNB_UE_ID,
v_cause
));
f_recv_UE_Context_Release_Complete(mw_UeContextReleaseCompleteIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID
));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_11
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
/**
* @desc Testcase function for TC_S1AP_eNB_CMP_12
*/
function f_TC_S1AP_eNB_CMP_12() 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_InitialContext_SetupRequest(m_InitialContextSetupReqIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
m_UEAggregateMaximumBitrate(1,1),
{m_E_RABToBeSetupItemBearerSUReq (
-,
m_e_RABlevelQoSParameters
(5),
-,
-
)},
m_UESecurityCapabilities('0101010101010101'B,'0101010101010101'B),
m_securityKey
));
f_recv_InitialContext_SetupResponse(mw_InitialContextSetupResIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
{
mw_E_RABSetupItemBearerSURes
}
));
tc_wait.start(PX_TS1RELOCOverall);
tc_wait.timeout;
f_recv_UE_Context_Release_Request(mw_UeContextReleaseRequestIEs
(vc_MME_UE_ID, vc_eNB_UE_ID,
?));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_12
/**
* @desc Testcase function for TC_S1AP_eNB_CMP_13
*/
function f_TC_S1AP_eNB_CMP_13() 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_UE_Context_Modification_Request(m_ContextModificationReqIEsUEAgg(
vc_MME_UE_ID,
vc_eNB_UE_ID,
m_UEAggregateMaximumBitrate(1,1)
));
f_recv_UE_Context_Modification_Response(mw_UeContextModificationResponseIEs(
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_13
/**
* @desc Testcase function for TC_S1AP_eNB_CMP_14
*/
function f_TC_S1AP_eNB_CMP_14() 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_UE_Context_Modification_Request(m_ContextModificationReqIEsSecKey(
vc_MME_UE_ID,
vc_eNB_UE_ID,
cs_fallback_required,
m_securityKey
f_recv_UE_Context_Modification_Failure(mw_UeContextModificationFailureIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_14
/**
* @desc Testcase function for TC_S1AP_eNB_CMP_15
*/
function f_TC_S1AP_eNB_CMP_15() 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_UE_Context_Modification_Request(m_ContextModificationReqIEsSecCap(
vc_MME_UE_ID,
vc_eNB_UE_ID,
cs_fallback_required,
m_UESecurityCapabilities('0101010101010101'B,'0101010101010101'B)
f_recv_UE_Context_Modification_Failure(mw_UeContextModificationFailureIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_15
/**
* @desc Testcase function for TC_S1AP_eNB_CMP_16
*/
function f_TC_S1AP_eNB_CMP_16() 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_UE_Radio_Capability_Match_Request(m_UeRadioCapabilityMatchReqIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
'0001'O // UERadioCapability
));
f_recv_UeRadioCapabilityMatchResponse(mw_UeRadioCapabilityMatchResponseIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
? // Voice_Support_Match_Indicator
));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_16
/**
* @desc Testcase function for TC_S1AP_eNB_CMP_17
*/
function f_TC_S1AP_eNB_CMP_17() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
action("trigger a UE context modification indication");
f_recv_Ue_Context_Modification_Indication(mw_UeContextModificationIndicationIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID
));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_17
/**
* @desc Testcase function for TC_S1AP_eNB_CMP_18
*/
function f_TC_S1AP_eNB_CMP_18() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
action("trigger a UE context suspend request");
f_recv_Ue_Context_Suspend_Request(mw_UeContextSuspendRequestIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID
));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_18
/**
* @desc Testcase function for TC_S1AP_eNB_CMP_19
*/
function f_TC_S1AP_eNB_CMP_19() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
action("trigger a UE context resume request");
f_recv_Ue_Context_Resume_Request(mw_UeContextResumeRequestIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID
));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_19
} // End of group Context_management_group
/**
* @desc Handover signalling group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.1.4 Handover signalling group
*/
group Handover_signalling_group {
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559
1560
1561
1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
1572
1573
1574
1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
1594
1595
1596
1597
1598
1599
1600
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
1637
1638
1639
1640
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
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
1688
1689
1690
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
1701
1702
1703
/**
* @desc Testcase function for TC_S1AP_eNB_HAS_01
*/
function f_TC_S1AP_eNB_HAS_01() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: TODO check if some preamble required
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate a Handover to be forwarded
if (fx_eNB_Handover_preparation_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a HANDOVER_REQUIRED
f_recv_HandoverRequired(
mw_HandoverRequiredIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
intralte,//handover_Type
-,//Cause
-,//TargetId
-//SourceToTargetTransparentContainer
));
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_HAS_01
/**
* @desc Testcase function for TC_S1AP_eNB_HAS_02
*/
function f_TC_S1AP_eNB_HAS_02() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: TODO check if some preamble required
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate a Handover to be forwarded
if (fx_eNB_Handover_preparation_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a HANDOVER_REQUIRED
f_recv_HandoverRequired(
mw_HandoverRequiredIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
ltetoutran,//handover_Type
-,//Cause
-,//TargetId
-//TODO Check if SourceRNCToTargetRNCTransparentContainer with UE History Information is present
));
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_HAS_02
/**
* @desc Testcase function for TC_S1AP_eNB_HAS_03
*/
function f_TC_S1AP_eNB_HAS_03() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: TODO check if some preamble required
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate a Handover to be forwarded
if (fx_eNB_Handover_preparation_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a HANDOVER_REQUIRED
f_recv_HandoverRequired(
mw_HandoverRequiredIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
ltetogeran,//handover_Type
-,//Cause
-,//TargetId
-//TODO Check if SourceBSSToTargetBSSTransparentContainer
));
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_HAS_03
/**
* @desc Testcase function for TC_S1AP_eNB_HAS_04
*/
function f_TC_S1AP_eNB_HAS_04() runs on S1APComponent {
// Local variables
const E_RAB_ID c_E_RAB_ID_A := 0;
const NAS_PDU c_nAS_PDU := '0000'O;
// Preamble
f_S1AP_enb_init();
// Preamble action: TODO check if some preamble required
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate a Handover to be forwarded
if (fx_eNB_Handover_preparation_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a HANDOVER_REQUIRED
f_recv_HandoverRequired(
mw_HandoverRequiredIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
intralte,//handover_Type
-,//Cause
-,//TargetId
-//SourceToTargetTransparentContainer
));
f_send_E_RABModifiedRequest(m_E_RABModifiedReqIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
{m_E_RABToBeModifiedItemBearerSUReq(
c_E_RAB_ID_A,
m_e_RABlevelQoSParameters(5),
c_nAS_PDU
)}
));
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_HAS_04
} // End of group Handover_signalling_group
/**
* @desc Paging group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.1.5 Paging group
*/
group Paging_group {
1714
1715
1716
1717
1718
1719
1720
1721
1722
1723
1724
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
1735
1736
1737
1738
1739
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
1790
1791
1792
1793
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
1843
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
} // End of group Paging_group
/**
* @desc NAS transport group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.1.6 NAS transport group
*/
group NAS_transport_group {
/**
* @desc Testcase function for TC_S1AP_eNB_NAS_01
*/
function f_TC_S1AP_eNB_NAS_01() runs on S1APComponent {
// 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 the initiation of a NAS Transport procedure
if (fx_eNB_Initiate_NAS_transport_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends an INITIAL UE MESSAGE
f_recv_Initial_UE_Message(
mw_initial_uE_MessageIEs(
vc_eNB_UE_ID,
-,
mw_TAI(
PX_PLMN_IDENTITY,
PX_TAC
),
mw_eUTRAN_CGI(
PX_PLMN_IDENTITY,
PX_CELL_ID
),
mw_cause_ran(
- // 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. ***");
} // End of function f_TC_S1AP_eNB_NAS_01
/**
* @desc Testcase function for TC_S1AP_eNB_NAS_02
*/
function f_TC_S1AP_eNB_NAS_02() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
// Preamble action: E-RAB Setup is exchanged.
f_rABSetupRequest();
// And a NAS procedure is initiated
fx_eNB_Initiate_NAS_transport_procedure();
f_recv_Initial_UE_Message(
mw_initial_uE_MessageIEs(
vc_eNB_UE_ID,
-,
mw_TAI(
PX_PLMN_IDENTITY,
PX_TAC
),
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. ***");