Newer
Older
function f_TC_S1AP_ENB_ERR_05() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
4009
4010
4011
4012
4013
4014
4015
4016
4017
4018
4019
4020
4021
4022
4023
4024
4025
4026
4027
4028
4029
4030
4031
4032
4033
4034
4035
4036
4037
4038
4039
4040
4041
4042
4043
4044
4045
4046
4047
// Test body
// 1. on receipt of an INITIAL_CONTEXT_SETUP_REQUEST
f_send_E_RABSetupRequest(
m_E_RABSetupReqIEs_noENB(
vc_MME_UE_ID,
{
m_E_RABToBeSetupItemBearerSUReq (
-,
m_e_RABlevelQoSParameters(5)
)
}
));
// 2. sends an ERROR_INDICATION
f_recv_Error_Indication(
mw_error_IndicationIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
mw_criticalityDiagnostics_IE(
mw_criticalityDiagnostics(
PX_PROCEURE_CODE,
PX_TRIGGERING_CODE,
PX_CRITICALITY,
{
mw_criticalityDiagnostics_IE_Item(
reject,
-,
missing
)
}
)
)
));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
4051
4052
4053
4054
4055
4056
4057
4058
4059
4060
4061
4062
4063
4064
4065
4066
4067
4068
4069
4070
4071
4072
4073
4074
4075
4076
4077
4078
4079
4080
4081
4082
4083
4084
4085
4086
4087
4088
4089
4090
4091
4092
4093
4094
4095
4096
4097
4098
4099
4100
4101
4102
/**
* @desc Testcase function for TC_S1AP_ENB_ERR_06
*/
function f_TC_S1AP_ENB_ERR_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. on receipt of an INITIAL_CONTEXT_SETUP_REQUEST
f_send_InitialContext_SetupRequest(
m_InitialContextSetupReqIEs_duplicate_ENB(
vc_MME_UE_ID,
vc_eNB_UE_ID,
m_UEAggregateMaximumBitrate(1,1),
{
m_E_RABToBeSetupItemCtxtSUReq (
-,
m_e_RABlevelQoSParameters
(0),
-
)},
m_UESecurityCapabilities(
PX_UNSUPPORTED_ENCRYPTION_ALGORITHM,
'0101010101010101'B
),
m_securityKey
)
);
// 2. sends an INITIAL_CONTEXT_SETUP_FAILURE
f_recv_InitialContext_SetupResponse(
mw_InitialContextSetupFailureIEs_CriticalyDiagnostic(
vc_MME_UE_ID,
vc_eNB_UE_ID,
mw_cause_protocol(abstract_syntax_error_falsely_constructed_message),
mw_criticalityDiagnostics(
PX_PROCEURE_CODE,
PX_TRIGGERING_CODE,
PX_CRITICALITY
)));
// 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_ERR_06
/**
* @desc Testcase function for TC_S1AP_ENB_ERR_07
*/
function f_TC_S1AP_ENB_ERR_07() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_enb_init();
// to indicate an ENB Configuration Transfer procedure
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
4116
4117
4118
4119
4120
4121
4122
4123
4124
4125
4126
4127
4128
4129
4130
4131
4132
4133
4134
4135
4136
4137
// Test body
// 1. on receipt of an INITIAL_CONTEXT_SETUP_REQUEST
f_send_E_RABSetupRequest(
m_E_RABSetupReqIEs_duplicate_ENB(
vc_MME_UE_ID,
vc_eNB_UE_ID,
{
m_E_RABToBeSetupItemBearerSUReq (
-,
m_e_RABlevelQoSParameters(5)
)
}
));
// 2. sends an ERROR_INDICATION
f_recv_Error_Indication(
mw_error_IndicationIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
mw_cause_IE(
mw_cause_protocol(abstract_syntax_error_falsely_constructed_message)
)
));
// 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_ERR_07
/**
* @desc Testcase function for TC_S1AP_ENB_ERR_08
*/
function f_TC_S1AP_ENB_ERR_08() 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. ***");
4161
4162
4163
4164
4165
4166
4167
4168
4169
4170
4171
4172
4173
4174
4175
4176
4177
4178
4179
4180
4181
4182
4183
4184
4185
4186
4187
4188
4189
4190
// Test body
// 1. on receipt of an INITIAL_CONTEXT_SETUP_REQUEST
f_send_E_RABSetupRequest(
m_E_RABSetupReqIEs_duplicate_ENB(
vc_MME_UE_ID,
vc_eNB_UE_ID,
{
m_E_RABToBeSetupItemBearerSUReq (
-,
m_e_RABlevelQoSParameters(5)
)
}
));
// 2. sends an ERROR_INDICATION
f_recv_Error_Indication(
mw_error_IndicationIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
mw_cause_IE(
mw_cause_ran(unknown_enb_ue_s1ap_id)
)
));
// Postamble
f_rABSetupRelease();
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_eNB();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of group Unknown_unforseen_errorneous_group
/**
* @desc E-RAB management group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.1.2 E-RAB management group
*/
function f_TC_S1AP_MME_RAB_01() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_mme_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
f_recv_E_RABSetupRequest(superset (all from mw_E_RABSetupReqIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
?
)));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
// Test body
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
/**
* @desc Context management group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.2.3 Context management group
*/
group Context_management_group {
/**
* @desc Testcase function for TC_S1AP_mME_CMP_01
*/
function f_TC_S1AP_mME_CMP_01() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_mme_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
action("trigger an Initial Context Setup procedure");
f_recv_InitialContext_SetupRequest(mw_InitialContextSetupRequestIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
mw_UEAggregateMaximumBitrate(?,?),
{
mw_E_RABToBeSetupItemCtxtSUReq(?,mw_e_RABlevelQoSParameters(5),?,?,?,omit)
},
?,
?
));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_01
/**
* @desc Testcase function for TC_S1AP_mME_CMP_02
*/
function f_TC_S1AP_mME_CMP_02() 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")}
}
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
f_send_UE_Context_Release_Command(m_UeContextReleaseRequestIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
v_cause
));
f_recv_InitialContext_SetupRequest((mw_UeContextReleaseCommandIEs_MME, mw_UeContextReleaseCommandIEs_ENB));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_send_UE_Context_Release_Complete(m_UeContextReleaseCompleteIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID
));
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
/**
* @desc Testcase function for TC_S1AP_mME_CMP_03
*/
function f_TC_S1AP_mME_CMP_03() runs on S1APComponent {
// Local variables
var template(value) Cause v_cause;
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
action("trigger a UE context modification request");
f_recv_UE_Context_Modification_Request(mw_UeContextModificationRequestIEs);
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
/**
* @desc Testcase function for TC_S1AP_mME_CMP_04
*/
function f_TC_S1AP_mME_CMP_04() runs on S1APComponent {
// Local variables
var template(value) Cause v_cause;
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
action("trigger a UE radio capability match request");
f_recv_UE_Context_Modification_Request(mw_UeRadioCapabilityMatchRequestIEs);
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
/**
* @desc Testcase function for TC_S1AP_mME_CMP_05
*/
function f_TC_S1AP_mME_CMP_05() runs on S1APComponent {
// Local variables
var template(value) Cause v_cause;
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
f_send_UE_Context_Modification_Indication(m_UeContextModificationIndicationIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID
));
f_recv_Ue_Context_Modification_Confirm(mw_UeContextModificationConfirmIEs);
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_05
function f_TC_S1AP_mME_CMP_06() runs on S1APComponent {
// Local variables
var template(value) Cause v_cause;
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
f_send_UE_Context_Modification_Indication(m_UeContextModificationIndicationIEsCSG(
vc_MME_UE_ID,
vc_eNB_UE_ID,
m_CSGMembershipInfo
));
f_recv_Ue_Context_Modification_Confirm(mw_UeContextModificationConfirmIEsCSG);
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_06
4446
4447
4448
4449
4450
4451
4452
4453
4454
4455
4456
4457
4458
4459
4460
4461
4462
4463
4464
4465
4466
4467
4468
4469
4470
/**
* @desc Testcase function for TC_S1AP_mME_CMP_07
*/
function f_TC_S1AP_mME_CMP_07() runs on S1APComponent {
// Local variables
var template(value) Cause v_cause;
// Preamble
f_S1AP_mme_init();
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_UE_Context_Modification_Indication(m_UeContextModificationIndicationIEsCSG(
vc_MME_UE_ID,
vc_eNB_UE_ID,
m_CSGMembershipInfo(-,-,hybrid)
));
f_recv_Ue_Context_Modification_Confirm(mw_UeContextModificationConfirmIEs);
f_recv_InitialContext_SetupRequest((mw_UeContextReleaseCommandIEs_MME, mw_UeContextReleaseCommandIEs_ENB));
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_07
4483
4484
4485
4486
4487
4488
4489
4490
4491
4492
4493
4494
4495
4496
4497
4498
4499
4500
4501
4502
4503
4504
4505
4506
/**
* @desc Testcase function for TC_S1AP_mME_CMP_08
*/
function f_TC_S1AP_mME_CMP_08() runs on S1APComponent {
// Local variables
var template(value) Cause v_cause;
// Preamble
f_S1AP_mme_init();
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_UE_Context_Suspend_Request(m_UeContextSuspendRequestIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID
));
f_recv_Ue_Context_Suspend_Response(mw_UeContextSuspendResponseIEs);
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_MME();
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_mME_CMP_09
*/
function f_TC_S1AP_mME_CMP_09() runs on S1APComponent {
// Local variables
var template(value) Cause v_cause;
// Preamble
f_S1AP_mme_init();
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_Ue_Context_Resume_Request(m_UeContextResumeRequestIEs(
f_recv_Ue_Context_Resume_Response(mw_UeContextResumeResponseIEs);
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_09
/**
* @desc Testcase function for TC_S1AP_mME_CMP_10
*/
function f_TC_S1AP_mME_CMP_10() runs on S1APComponent {
// Local variables
var template(value) Cause v_cause;
// Preamble
f_S1AP_mme_init();
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_Ue_Context_Resume_Request(
m_UeContextResumeRequestIEs_RABFailedToResumeItem(
vc_MME_UE_ID,
vc_eNB_UE_ID,
m_E_RABFailedToResumeItemResumeReq(
c_E_RAB_ID_A,
m_cause_ran(user_inactivity)
)
)
);
f_recv_Ue_Context_Resume_Failure(mw_UeContextResumeFailureIEs);
// Postamble
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_eNB_CMP_10
} // End of group Context_management_group
/**
* @desc Handover signalling group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.2.4 Handover signalling group
*/
group Handover_signalling_group {
4600
4601
4602
4603
4604
4605
4606
4607
4608
4609
4610
4611
4612
4613
4614
4615
4616
4617
4618
4619
4620
4621
4622
4623
4624
4625
4626
4627
4628
4629
4630
4631
4632
4633
4634
4635
4636
4637
4638
4639
4640
4641
4642
4643
4644
4645
4646
4647
/**
* @desc Testcase function for TC_S1AP_MME_HAS_01
*/
function f_TC_S1AP_MME_HAS_01() runs on S1APComponent {
// Local variables
const Source_ToTarget_TransparentContainer c_source_ToTarget_TransparentContainer := '12121212'O;
const Target_ToSource_TransparentContainer c_target_ToSource_TransparentContainer := '12121212'O;
// Preamble
f_S1AP_mme_init();
// Preamble action: E-RAB Setup is exchanged.
//f_rABSetup...;
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// sends a HANDOVER_REQUIRED
f_send_HandoverRequired(
m_HandoverRequiredIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
intralte,
m_cause_ran(unspecified),
m_TargeteNB_ID(m_Global_ENB_ID('000001'O,
m_ENB_ID_macro),
m_TAI('000001'O,
'0001'O)),
c_source_ToTarget_TransparentContainer
));
f_recv_HandoverCommand(
mw_HandoverCommandIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
intralte,//handover_Type
c_target_ToSource_TransparentContainer//TargetToSourceTransparentContainer
));
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_MME_HAS_01
} // End of group Handover_signalling_group
* @see ETSI TS 103 497-2 Clause 5.2.2.2.5 Paging group
4657
4658
4659
4660
4661
4662
4663
4664
4665
4666
4667
4668
4669
4670
4671
4672
4673
4674
4675
4676
4677
4678
4679
4680
4681
4682
4683
4684
4685
4686
4687
4688
4689
4690
4691
4692
4693
4694
4695
4696
4697
/**
* @desc Testcase function for TC_S1AP_MME_PAG_01
*/
function f_TC_S1AP_MME_PAG_01() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_mme_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 Paging procedure
if (fx_MME_Paging_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a PAGING
f_recv_Paging(
mw_pagingIEs(
PX_UE_IDENTITY_INDEX_VALUE,
mw_uEPagingID_iMSI(
PX_IMSI
),
PX_CNDOMAIN,
- // TODO To be refined
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
}
// Postamble
f_rABSetupRelease();
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_MME_PAG_01
} // End of group Pagin_group
/**
* @desc NAS transport group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.2.6 NAS transport group
*/
group NAS_transport_group {
/**
* @desc Testcase function for TC_S1AP_MME_NAS_01
*/
function f_TC_S1AP_MME_NAS_01() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_mme_init();
// Preamble action: E-RAB Setup is exchanged.
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
4717
4718
4719
4720
4721
4722
4723
4724
4725
4726
4727
4728
4729
4730
4731
4732
4733
4734
4735
4736
4737
4738
4739
4740
4741
4742
4743
4744
4745
4746
4747
4748
4749
4750
4751
4752
4753
4754
4755
4756
4757
4758
4759
4760
4761
4762
4763
4764
4765
4766
4767
4768
4769
4770
4771
4772
4773
4774
4775
4776
// Test body
// 1. to indicate an ongoing NAS Transport procedure
if (fx_MME_Downlink_NAS_Transport_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a DOWNLINK_NAS_TRANSPORT
f_recv_Downlink_NAS_Transport(
mw_downlink_nAS_TransportIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
-
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
}
// Postamble
f_rABSetupRelease();
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_MME_NAS_01
/**
* @desc Testcase function for TC_S1AP_MME_NAS_02
*/
function f_TC_S1AP_MME_NAS_02() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_mme_init();
// Preamble action: E-RAB Setup is exchanged, and a NAS procedure is initiated.
f_rABSetupRequest();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate a Reroute NAS Request procedure
if (fx_MME_Reroute_NAS_Request_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a REROUTE_NAS_REQUEST
f_recv_Reroute_NAS_Request(
mw_reroute_nAS_RequestIEs(
vc_MME_UE_ID,
-,
PX_MME_GROUP_ID
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
}
// Postamble
f_rABSetupRelease();
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_MME_NAS_02
} // End of group NAS_transport_group
4779
4780
4781
4782
4783
4784
4785
4786
4787
4788
4789
4790
4791
4792
4793
4794
4795
4796
4797
4798
4799
4800
4801
4802
4803
* @desc Management group
* @see ETSI DTS/INT-00135-2 Clause 5.2.2.2.7 Management group
*/
group Management_group {
/**
* @desc Testcase function for TC_S1AP_MME_MNP_01
*/
function f_TC_S1AP_MME_MNP_01() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_mme_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate a Reset procedure initiated from the MME
if (fx_MME_Reset_procedure() == false) {
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
4805
4806
4807
4808
4809
4810
4811
4812
4813
4814
4815
4816
4817
4818
4819
4820
4821
4822
4823
4824
4825
4826
4827
4828
4829
4830
4831
4832
),
m_resetType_all
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
}
// Postamble
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_MME_MNP_01
/**
* @desc Testcase function for TC_S1AP_MME_MNP_02
*/
function f_TC_S1AP_MME_MNP_02() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_mme_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_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_MME_MNP_02
/**
* @desc Testcase function for TC_S1AP_MME_MNP_03
*/
function f_TC_S1AP_MME_MNP_03() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_mme_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,
vc_eNB_UE_ID
))*/
}
));
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
4886
4887
4888
4889
4890
4891
4892
4893
4894
4895
4896
4897
4898
4899
4900
4901
4902
4903
4904
4905
4906
4907
4908
4909
4910
4911
// Postamble
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_MME_MNP_03
/**
* @desc Testcase function for TC_S1AP_MME_MNP_04
*/
function f_TC_S1AP_MME_MNP_04() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_mme_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
// 1. to indicate an Error Indication procedure
if (fx_MME_Error_Indication_procedure() == false) {
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
} else {
// 2. sends a ERROR INDICATION
f_recv_Error_Indication(
superset (
all from
mw_error_IndicationIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
mw_cause_IE
),
mw_error_IndicationIEs(
vc_MME_UE_ID,
vc_eNB_UE_ID,
mw_criticalityDiagnostics_IE
)
)
);
4926
4927
4928
4929
4930
4931
4932
4933
4934
4935
4936
4937
4938
4939
4940
4941
4942
4943
4944
4945
4946
4947
4948
4949
4950
4951
4952
4953
4954
4955
4956
4957
4958
4959
4960
4961
4962
4963
4964
4965
4966
4967
4968
4969
4970
4971
4972
4973
4974
f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
}
// Postamble
f_postamble_S1AP_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_MME_MNP_04
/**
* @desc Testcase function for TC_S1AP_MME_MNP_05
*/
function f_TC_S1AP_MME_MNP_05() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_mme_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_S1_Setup_Request(
m_s1_Setup_RequestIEs(
m_Global_eNB_ID(
PX_PLMN_IDENTITY,
PX_eNB_ID
),
{
m_supportedTAs_Item(
PX_TAC,
{
PX_PLMN_IDENTITY
}
)
},
PX_PAGING_DRX
));
f_recv_S1_Setup_Response(
mw_s1_Setup_ResponseIEs(
{
mw_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_MME();
f_selfOrClientSyncAndVerdict(c_poDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
} // End of function f_TC_S1AP_MME_MNP_05
/**
* @desc Testcase function for TC_S1AP_MME_MNP_06
*/
function f_TC_S1AP_MME_MNP_06() runs on S1APComponent {
// Local variables
// Preamble
f_S1AP_mme_init();
f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
// Test body
f_send_S1_Setup_Request(
m_s1_Setup_RequestIEs(
m_Global_eNB_ID(
PX_PLMN_IDENTITY,
PX_eNB_ID