diff --git a/LibOneM2M/OneM2M_Functions.ttcn b/LibOneM2M/OneM2M_Functions.ttcn index a073d788cb52f636d77937f7d2152c69475a4efe..ac8c1479630e61030de4315ef78ce72b9d377ad4 100644 --- a/LibOneM2M/OneM2M_Functions.ttcn +++ b/LibOneM2M/OneM2M_Functions.ttcn @@ -35,6 +35,7 @@ module OneM2M_Functions { // Map map(self:mcaPort, system:mcaPort); + map(self:mcaPortIn, system:mcaPortIn); map(self:acPort, system:acPort); activate(a_default()); diff --git a/OneM2M_PermutationFunctions.ttcn b/OneM2M_PermutationFunctions.ttcn index 4ba21643b4bcbef93100c7ba701c942a9638eba8..b07d1210d943f72b99a689791e12f417662facda 100644 --- a/OneM2M_PermutationFunctions.ttcn +++ b/OneM2M_PermutationFunctions.ttcn @@ -4772,7 +4772,7 @@ module OneM2M_PermutationFunctions { // Preamble if(p_resourceType != int2) { - v_aeIndex := f_cse_preamble_registerAe();//c_CRUDNDi); + v_aeIndex := f_cse_preamble_registerAe(-, {f_getAnnouncementTargetPoA("HTTP", PX_AE1_ADDRESS, "")});//c_CRUDNDi); } if(p_resourceType != int1) { @@ -4797,7 +4797,16 @@ module OneM2M_PermutationFunctions { //Test Body v_request := f_getUpdateRequestPrimitive(p_resourceType, v_resourceIndex, p_updateRequestPrimitive); - mcaPort.send(m_request(v_request)); //CSEBase + if(p_resourceType == int23) { //Subscription + v_request.primitiveContent.subscription.notificationURI := {f_getResourceAddress(v_aeIndex)}; + } + + mcaPort.send(m_request(v_request)); + + if(p_resourceType == int23) { //Subscription + f_cse_notifyProcedure_subscriptionVerificationHandler(); + } + tc_ac.start; alt { [] mcaPort.receive(mw_response(mw_responsePrimitive(int2004))) -> value vc_response {