setverdict(fail,__SCOPE__&": Other operation received");
}
[]tc_ac.timeout{
setverdict(fail,__SCOPE__&": No answer");
}
}
// Postamble
//f_cse_postamble_deleteResourcesCSE();
//Tear Down
f_cf05Down();
}// end of function f_CSE_3GPP_NIDD_004
/* @desk Check that IUT issues Scef-based Mobile Termnated(MT) NIDD downlink data transfer request if the size of the oneM2M request primitive to be sent is less than maximumPacketSize
vc_ae1.start(f_cse_notifyProcedure_representationHandler(v_contentNotification));// check if the notification is well received and if its content matchs
setverdict(pass,__SCOPE__&": NIDD downlink data transfer received.");
}
[]mcnPortIn.receive(mw_t8Request(?)){
tc_ac.stop;
setverdict(fail,__SCOPE__&": Other operation received");
}
[]tc_ac.timeout{
setverdict(fail,__SCOPE__&": No answer");
}
}
// Postamble
//f_cse_postamble_deleteResourcesCSE();
//Tear Down
f_cf05Down();
}// end of function f_CSE_3GPP_NIDD_005
/* @desk Check that IUT does not issue Scef-based Mobile Termnated(MT) NIDD downlink data transfer request if the size of the oneM2M request primitive to be sent is more than maximumPacketSize
vc_ae1.start(f_cse_notifyProcedure_representationHandler(v_contentNotification));// check if the notification is well received and if its content matchs
setverdict(fail,__SCOPE__&": NIDD downlink data transfer received.");
}
[]mcnPortIn.receive(mw_t8Request(?)){
tc_ac.stop;
setverdict(pass,__SCOPE__&": NIDD downlink data transfer not received.");
}
[]tc_ac.timeout{
setverdict(pass,__SCOPE__&": NIDD downlink data transfer not received. Timeout has occurred.");
}
}
// Postamble
//f_cse_postamble_deleteResourcesCSE();
//Tear Down
f_cf05Down();
}// end of function f_CSE_3GPP_NIDD_006
/* @desk Check that IUT issues Scef-based Mobile Termnated(MT) NIDD downlink data transfer request if the size of the oneM2M response primitive to be sent is more than maximumPacketSize
//Scef send niddDownlink data delivery notification
v_requestPrimitiveNiddDownlinkDataDeliveryStatusNotification:=m_t8_request_post(v_requestResourceURI,v_requestHeader,v_niddDLDataStatusNotificationBody);// NIDD Uplink data transfer request