Loading SCTPTest.ttcn +25 −10 Original line number Original line Diff line number Diff line Loading @@ -85,13 +85,26 @@ module SCTPTest sac_state := SCTP_COMM_UP sac_state := SCTP_COMM_UP }; }; /* template ASP_SCTP_ASSOC_CHANGE cr_SCTP_Assoc_Change_Down := { client_id := ?, sac_state := SCTP_COMM_LOST }; */ template (value) ASP_SCTP_Close cs_SCTP_Close (integer p_Id) := template (value) ASP_SCTP_Close cs_SCTP_CloseServer (integer p_Id) := { { client_id := p_Id client_id := p_Id }; }; template (value) ASP_SCTP_Close cs_SCTP_CloseClient := { client_id := omit }; template ASP_SCTP_SHUTDOWN_EVENT cr_SCTP_Shutdown := template ASP_SCTP_SHUTDOWN_EVENT cr_SCTP_Shutdown := { { client_id := ? client_id := ? Loading Loading @@ -166,7 +179,7 @@ module SCTPTest alt { alt { [] clientPort.receive( cr_SCTP) -> value v_SCTP [] clientPort.receive( cr_SCTP) -> value v_SCTP { { log("Received from server: " & oct2char(v_SCTP.data)); log("Received from Server: " & oct2char(v_SCTP.data)); setverdict(pass); setverdict(pass); } } [] clientPort.receive(cr_SCTP_Shutdown) -> value v_SCTP_Shutdown [] clientPort.receive(cr_SCTP_Shutdown) -> value v_SCTP_Shutdown Loading @@ -177,8 +190,8 @@ module SCTPTest } } } } if (b_SCTPConnected) { if (b_SCTPConnected) { clientPort.send(cs_SCTP_Close(v_ConnectResult.client_id)); clientPort.send(cs_SCTP_CloseClient); t1.start(0.5); t1.start(0.3); t1.timeout; t1.timeout; log("Close STCP connection"); log("Close STCP connection"); } } Loading Loading @@ -224,11 +237,13 @@ module SCTPTest serverPort.send(cs_SCTP(v_SCTP_AssocChangeUp.client_id, 0, 0, tsc_HelloFromServer)); serverPort.send(cs_SCTP(v_SCTP_AssocChangeUp.client_id, 0, 0, tsc_HelloFromServer)); // Finally close the connection // Finally wait for Client shutdown t1.start; alt { t1.timeout; [] serverPort.receive( cr_SCTP_Shutdown) { serverPort.send(cs_SCTP_Close(v_SCTP_AssocChangeUp.client_id)); log("Client closed the connection"); } } if (getverdict == pass) { if (getverdict == pass) { log("TC_Server: PASS"); log("TC_Server: PASS"); Loading Loading
SCTPTest.ttcn +25 −10 Original line number Original line Diff line number Diff line Loading @@ -85,13 +85,26 @@ module SCTPTest sac_state := SCTP_COMM_UP sac_state := SCTP_COMM_UP }; }; /* template ASP_SCTP_ASSOC_CHANGE cr_SCTP_Assoc_Change_Down := { client_id := ?, sac_state := SCTP_COMM_LOST }; */ template (value) ASP_SCTP_Close cs_SCTP_Close (integer p_Id) := template (value) ASP_SCTP_Close cs_SCTP_CloseServer (integer p_Id) := { { client_id := p_Id client_id := p_Id }; }; template (value) ASP_SCTP_Close cs_SCTP_CloseClient := { client_id := omit }; template ASP_SCTP_SHUTDOWN_EVENT cr_SCTP_Shutdown := template ASP_SCTP_SHUTDOWN_EVENT cr_SCTP_Shutdown := { { client_id := ? client_id := ? Loading Loading @@ -166,7 +179,7 @@ module SCTPTest alt { alt { [] clientPort.receive( cr_SCTP) -> value v_SCTP [] clientPort.receive( cr_SCTP) -> value v_SCTP { { log("Received from server: " & oct2char(v_SCTP.data)); log("Received from Server: " & oct2char(v_SCTP.data)); setverdict(pass); setverdict(pass); } } [] clientPort.receive(cr_SCTP_Shutdown) -> value v_SCTP_Shutdown [] clientPort.receive(cr_SCTP_Shutdown) -> value v_SCTP_Shutdown Loading @@ -177,8 +190,8 @@ module SCTPTest } } } } if (b_SCTPConnected) { if (b_SCTPConnected) { clientPort.send(cs_SCTP_Close(v_ConnectResult.client_id)); clientPort.send(cs_SCTP_CloseClient); t1.start(0.5); t1.start(0.3); t1.timeout; t1.timeout; log("Close STCP connection"); log("Close STCP connection"); } } Loading Loading @@ -224,11 +237,13 @@ module SCTPTest serverPort.send(cs_SCTP(v_SCTP_AssocChangeUp.client_id, 0, 0, tsc_HelloFromServer)); serverPort.send(cs_SCTP(v_SCTP_AssocChangeUp.client_id, 0, 0, tsc_HelloFromServer)); // Finally close the connection // Finally wait for Client shutdown t1.start; alt { t1.timeout; [] serverPort.receive( cr_SCTP_Shutdown) { serverPort.send(cs_SCTP_Close(v_SCTP_AssocChangeUp.client_id)); log("Client closed the connection"); } } if (getverdict == pass) { if (getverdict == pass) { log("TC_Server: PASS"); log("TC_Server: PASS"); Loading