diff --git a/OneM2M_PermutationFunctions.ttcn b/OneM2M_PermutationFunctions.ttcn index 4572a6aa637375e27619b8fa22fd5d4a1d926ed5..b6b78739a2abc7f7a6628c48d4cee6bcf1e1163c 100644 --- a/OneM2M_PermutationFunctions.ttcn +++ b/OneM2M_PermutationFunctions.ttcn @@ -8703,6 +8703,7 @@ module OneM2M_PermutationFunctions { var RequestStatus v_requestStatus; var URI v_requestResourceURI; var ResponseStatusCode v_statusCode; + var RequestID v_requestIdentifier; var template PrimitiveContent v_primitiveContent; // Test control @@ -8734,6 +8735,8 @@ module OneM2M_PermutationFunctions { // Test Body f_send(e_mca_port, m_request(valueof(p_requestPrimitive))); + v_requestIdentifier := vc_request.primitive.requestPrimitive.requestIdentifier; + tc_ac.start; alt { [] mcaPort.receive(mw_response(mw_responsePrimitive(int1001, v_contentResponseUri))) -> value v_response { @@ -8785,7 +8788,7 @@ module OneM2M_PermutationFunctions { v_requestStatus := v_response.primitive.responsePrimitive.primitiveContent.request.requestStatus; if (v_requestStatus==int1){ //COMPLETED tc_ac.stop; - if (valueof(p_requestPrimitive.requestIdentifier) == valueof(v_response.primitive.responsePrimitive.primitiveContent.request.operationResult.requestIdentifier) ){ + if (valueof(v_requestIdentifier) == valueof(v_response.primitive.responsePrimitive.primitiveContent.request.operationResult.requestIdentifier) ){ setverdict(pass, testcasename() & ": RequestStatus: COMPLETED and requestIdentifier attribute correctly received"); }else{ setverdict(fail, testcasename() & ": RequestStatus: COMPLETED and requestIdentifier attribute not correctly received");