log("***f_gen_receive: Message skipped (intentionally) when checking for "&p_tpId&" at interface "&vc_interfaceName&" ****");
repeat;
}
[]tc_wait.timeout{//TODO use oracle
setverdict(fail,"***f_gen_receive: Timer tc_wait expired when waiting for incoming message in "&p_tpId&" at interface "&vc_interfaceName&" ****");
[]tc_wait.timeout{
f_setConformanceVerdict(inconc,"***f_gen_receive: Timer tc_wait expired when waiting for incoming message in "&p_tpId&" at interface "&vc_interfaceName&" ****");
setverdict(p_verdict,self,"***a_receive_sipRequest: Received expected SIP request complying to "&p_tpId&" on interface "&vc_interfaceName&" ***");
f_setConformanceVerdict(p_verdict,"***a_receive_sipRequest: Received expected SIP request complying to "&p_tpId&" on interface "&vc_interfaceName&" ***");
if(p_forwardMtc){
varSipMessagev_msg;
v_msg.request:=v_message;
@@ -189,13 +190,11 @@ module AtsImsIot_Behavior {
intemplateResponsep_message,
inverdicttypep_verdict,
incharstringp_tpId,
incharstringp_log,
inbooleanp_forwardMtc
)runsonImsInterfaceMonitor{
varResponsev_message;
[]dPort.receive(p_message)->valuev_message{
//TODO use oracle
setverdict(p_verdict,self,"***a_receive_sipResponse: Received expected SIP response complying to "&p_tpId&" on interface "&vc_interfaceName&" ***");
f_setConformanceVerdict(p_verdict,"***a_receive_sipResponse: Received expected SIP request complying to "&p_tpId&" on interface "&vc_interfaceName&" ***");
if(p_forwardMtc){
varSipMessagev_msg;
v_msg.response:=v_message;
@@ -224,9 +223,8 @@ group checksTC_IMS_MESS_0001{
f_imsIot_receive(
{mw_SipRequest(mdw_TP_IMS_4002_01(?))},//? CallId can be checked
{mw_SipRequest(mw_MESSAGE_Request_Base(?))},
{0,omit},
"TP_IMS_4002_01_gm",
"MESSAGE request",
0,
false
)
);
@@ -240,9 +238,8 @@ group checksTC_IMS_MESS_0001{
f_imsIot_receive(
{mw_SipRequest(mdw_TP_IMS_4002_01(?))},//? CallId can be checked