diff --git a/OneM2M_PermutationFunctions.ttcn b/OneM2M_PermutationFunctions.ttcn index 515997f25b235bc40dbb3a96bf0fde8d0a698f6b..72bbe9088ca7451d6a8234e48dc2e0df85c2d164 100644 --- a/OneM2M_PermutationFunctions.ttcn +++ b/OneM2M_PermutationFunctions.ttcn @@ -446,7 +446,7 @@ module OneM2M_PermutationFunctions { //Send Trigger Message p_utRequest.requestPrimitive.to_ := f_getLocalResourceAddress(-, -, -); p_request.to_ := p_utRequest.requestPrimitive.to_; - f_sendUtPrimitive(p_utRequest,p_action); + f_sendUtPrimitive(p_utRequest,p_action & f_getLocalResourceAddress(-, -, -)); //Test behavior tc_ac.start; @@ -462,9 +462,9 @@ module OneM2M_PermutationFunctions { //send back responsePrimitive mcaPortIn.send(f_getMsgOutPrimitive(m_response(v_responsePrimitive))); } - [] mcaPortIn.receive(mw_request(mw_createAe(*,?,m_contentCreateAe_Invalid))) -> value v_request { + [] mcaPortIn.receive(mw_request(mw_createAe())) -> value v_request { tc_ac.stop; - setverdict(fail, __SCOPE__ & " : AE registration request is rejected due to not including the optional attribute!"); + setverdict(fail, __SCOPE__ & " : Unexpected AE registration request"); mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit))))); } [] tc_ac.timeout{ diff --git a/OneM2M_Testcases_AE_Release_1.ttcn b/OneM2M_Testcases_AE_Release_1.ttcn index 035de436fd11936bb0bcdd6ea09cd832e206b93a..9570871a1eed84ca1f82aff585e7a1b42e364b20 100644 --- a/OneM2M_Testcases_AE_Release_1.ttcn +++ b/OneM2M_Testcases_AE_Release_1.ttcn @@ -528,7 +528,7 @@ module OneM2M_Testcases_AE_Release_1 { //Send Trigger Message v_utRequest.requestPrimitive.to_ := f_getLocalResourceAddress(-, -, -); v_requestPrimitive.to_ := v_utRequest.requestPrimitive.to_; - f_sendUtPrimitive(v_utRequest, v_action); + f_sendUtPrimitive(v_utRequest, v_action & f_getLocalResourceAddress(-, -, -)); //Test behavior tc_ac.start; @@ -544,9 +544,9 @@ module OneM2M_Testcases_AE_Release_1 { //send back responsePrimitive mcaPortIn.send(f_getMsgOutPrimitive(m_response(v_responsePrimitive))); } - [] mcaPortIn.receive(mw_request(mw_createAe(*,?,m_contentCreateAe_Invalid))) -> value v_request { + [] mcaPortIn.receive(mw_request(mw_createAe())) -> value v_request { tc_ac.stop; - setverdict(fail, __SCOPE__ & " : AE registration request is rejected due to not including mandatory attributes!!"); + setverdict(fail, __SCOPE__ & " : Unexpected AE registration request"); mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit))))); } [] tc_ac.timeout{ @@ -757,7 +757,7 @@ module OneM2M_Testcases_AE_Release_1 { v_localResource := f_generateLocalResource(valueof(m_primitiveContentAe(m_contentCreateAe(omit, -, -, omit))), vc_cSEBaseIndex, int2); v_auxInteger := f_setLocalResource(v_localResource, int2, vc_cSEBaseIndex); v_utRequest.requestPrimitive.to_ := f_getLocalResourceAddress(v_auxInteger, -, -); - f_sendUtPrimitive(v_utRequest,v_action); + f_sendUtPrimitive(v_utRequest,v_action & f_getLocalResourceAddress(v_auxInteger, -, -)); //Test behavior tc_ac.start; @@ -770,9 +770,9 @@ module OneM2M_Testcases_AE_Release_1 { //send back responsePrimitive mcaPortIn.send(f_getMsgOutPrimitive(m_response(v_responsePrimitive))); } - [] mcaPortIn.receive { + [] mcaPortIn.receive (mw_request(mw_delete(?))) { tc_ac.stop; - setverdict(fail, __SCOPE__ & " : Error while AE deregistration"); + setverdict(fail, __SCOPE__ & " : Unexpected DELETE request"); mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit))))); } [] tc_ac.timeout{