Commit 8f41d2a3 authored by ulrichst's avatar ulrichst
Browse files

completion of f_TC_S1AP_eNB_RAB_03

parent bf5f02dd
Loading
Loading
Loading
Loading
+19 −5
Original line number Diff line number Diff line
@@ -438,9 +438,8 @@ module LibS1AP_Templates {
							mw_MME_UE_S1AP_ID(p_MME_value),
							mw_eNB_UE_S1AP_ID(p_eNB_value),
	  						mw_handoverType_IE(p_HandoverType_value),
	  						mw_cause_IE(p_Cause_value)
	  						
	  						// TODO
	  						mw_cause_IE(p_Cause_value),
						    mw_source_ToTarget_TransparentContainer_IE(p_Source_ToTarget_TransparentContainer_value)
	  						
	  						
					   } // End of template m_E_RABSetupReqIEs
@@ -482,12 +481,12 @@ module LibS1AP_Templates {
                    template (present) RecordOf_ProtocolIE mw_E_RABSetupResIEs_FailedToSetupList(
                                                                                                 template (present) MME_UE_S1AP_ID p_MME_value := ?,
                                                                                                 template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
                                                                                                 template (present) RecordOf_E_RABSetupItemBearerSURes p_RecordOf_E_RABSetupItem_value := ?,
                                                                                                 template RecordOf_E_RABSetupItemBearerSURes p_RecordOf_E_RABSetupItem_value := omit,
                                                                                                 template (present) RecordOf_E_RABItem p_E_RABItem_value := ?
                    ) := {
                        mw_MME_UE_S1AP_ID(p_MME_value, ignore),
                        mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
                        mw_E_RABSetupList(p_RecordOf_E_RABSetupItem_value),
                        mw_E_RABSetupList(p_RecordOf_E_RABSetupItem_value) ifpresent,
                        mw_E_RABFailedToSetupList(p_E_RABItem_value)
                    } // End of template mw_E_RABSetupResIEs
                    
@@ -2790,6 +2789,21 @@ module LibS1AP_Templates {
				criticality := p_criticality,
				value_ := { HandoverType := p_handoverType }
			} // End of template mw_handoverType
			
			/**
			 * @desc 
			 * @param p_handoverType
			 * @param p_criticality
			 */
			template (present) ProtocolIE mw_source_ToTarget_TransparentContainer_IE(
				template (present) Source_ToTarget_TransparentContainer p_value := ?,
				template (present) ProtocolIE.criticality p_criticality := reject
			) := {
				id := S1AP_Constants.id_Source_ToTarget_TransparentContainer,
				criticality := p_criticality,
				value_ := { Source_ToTarget_TransparentContainer := p_value }
			} // End of template mw_handoverType			
			
        } // End of group Receive_IEs
        
        group g_IEParameters {
+49 −48
Original line number Diff line number Diff line
@@ -213,54 +213,55 @@ module S1AP_TCFunctions {
			/**
			 * @desc Testcase function for TC_S1AP_eNB_RAB_03
			 */
//			function f_TC_S1AP_eNB_RAB_03() runs on S1APComponent { 
//				// Local variables
//    
//				// Preamble
//				f_S1AP_enb_init();
//				f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
//				log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
//    
//				f_send_E_RABSetupRequest(m_E_RABSetupReqIEs(
//					vc_MME_UE_ID,
//					vc_eNB_UE_ID,
//					{
//						m_E_RABToBeSetupItemBearerSUReq
//					}
//				));
//   	
//				f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs_FailedToSetupList(
//					vc_MME_UE_ID,
//					vc_eNB_UE_ID,
//					{
//						mw_E_RABItem(
//							0,
//							{
//								radioNetwork :=
//							(CauseRadioNetwork.s1_intra_system_handover_triggered,
//							 CauseRadioNetwork.s1_inter_system_handover_triggered,
//							 CauseRadioNetwork.x2_handover_triggered)
//							}
//						)
//					}
//				));
//								
//   				f_recv_Handover_Required(mw_HandoverRequiredIEs(
//					vc_MME_UE_ID,
//					vc_eNB_UE_ID,
//					mw_handoverType_IE(HandoverType.ltetoutran),
//					?,
//					?,
//					?
//				));
//    
//				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_RAB_03
			function f_TC_S1AP_eNB_RAB_03() runs on S1APComponent { 
				// Local variables
    
				// Preamble
				f_S1AP_enb_init();
				f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict()); 
				log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
    
				f_send_E_RABSetupRequest(m_E_RABSetupReqIEs(
					vc_MME_UE_ID,
					vc_eNB_UE_ID,
					{
						m_E_RABToBeSetupItemBearerSUReq
					}
				));
   	
				f_recv_E_RABSetupResponse(mw_E_RABSetupResIEs_FailedToSetupList(
					vc_MME_UE_ID,
					vc_eNB_UE_ID,
					-, //omit
					{
						mw_E_RABItem(
							0,
							{
								radioNetwork :=
							(s1_intra_system_handover_triggered,
							 s1_inter_system_handover_triggered,
							 x2_handover_triggered)
							}
						)
					}
				));
								
   			f_recv_Handover_Required(mw_HandoverRequiredIEs(
					vc_MME_UE_ID,
					vc_eNB_UE_ID,
					ltetoutran,
					?,
					?,
					?
				));
    
				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_RAB_03
//            
        } // End of group ERAB_management_group