Unverified Commit 4e8989f1 authored by Jeno Attila Balasko's avatar Jeno Attila Balasko Committed by GitHub
Browse files

Merge pull request #606 from GergoUjhelyi/master

add images and sequence charts
parents a112d6ef f53bdffc
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1.2", wordwraparcs=on;
TC1 [label = "A\n TC"], MC, TC2[label = "B\n TC"], TC3[label = "C\n TC"];
TC1 box TC1 [label = "Reaching a TTCN-3\n connect operation"],
TC2 box TC2 [label = "Waiting or executing"],
TC3 box TC3 [label = "Waiting or executing"];
TC1 => MC [label = "CONNECT_REQ"];
MC => TC2 [label = "CONNECT_LISTEN"];
TC2 box TC2 [label = "Listening on a TCP port"];
TC2 => MC [label = "CONNECT_LISTEN_ACK"];
MC => TC3 [label = "CONNECT"];
TC3 => TC2 [label = "connection_establishment"];
TC2 => MC [label = "CONNECTED"];
MC => TC1 [label = "CONNECT_ACK"];
TC1 box TC1 [label = "Continuing execution"],
TC2 box TC2 [label = "Waiting or executing"],
TC3 box TC3 [label = "Waiting or executing"];
|||;
TC1 box TC1 [textbgcolour = "grey"],
MC box MC [textbgcolour = "grey"],
TC2 box TC2 [textbgcolour = "grey"],
TC3 box TC3 [textbgcolour = "grey"];
}
\ No newline at end of file
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1.5", wordwraparcs=off, width=800;
TC1 [label = "A\n TC"], MC, TC2[label = "B\n TC"];
TC1 box TC1 [label = " Reaching a TTCN-3\n connect operation"],
TC2 box TC2 [label = " Waiting or executing"];
TC1 => MC [label = "CONNECT_REQ"];
MC => TC2 [label = "CONNECT_LOCAL"];
TC1 box TC1 [label = "Blocking"],
TC2 box TC2 [label = "Establishing the connection locally"];
TC2 => MC [label = "CONNECTED_LOCAL"];
MC => TC1 [label = "CONNECT_ACK"];
TC1 box TC1 [label = "Continuing execution"],
TC2 box TC2 [label = "Waiting or executing"];
|||;
TC1 box TC1 [textbgcolour = "gray"],
MC box MC [textbgcolour = "gray"],
TC2 box TC2 [textbgcolour = "gray"];
}
\ No newline at end of file
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1", wordwraparcs=on;
TC, MC, HC, PTC [label = ""];
TC box TC [label = "Reaching a TTCN-3 create operation"];
TC => MC [label = "CREATE_REQ"];
MC box MC [label = "Choosing host Allocating address"];
MC => HC [label = "CREATE"];
HC >> PTC [label = "(fork)"];
TC box TC [label = "Blocking"],
PTC box PTC [label = "PTC"];
PTC => MC [label = "connection_establishment"];
PTC => MC [label = "CREATED"];
MC => TC [label = "CREATE_ACK"];
TC box TC [label = "Continuing execution"],
PTC box PTC [label = "Waiting for start"];
|||;
TC box TC [textbgcolour = "grey"],
MC box MC [textbgcolour = "grey"],
HC box HC [textbgcolour = "grey"],
PTC box PTC [textbgcolour = "grey"];
}
\ No newline at end of file
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1", wordwraparcs=on;
0 [arctextcolor="black", linecolor="white", textcolor="white"], MC, HC, MTC[label = ""];
0 => MC [label = "user_interaction\n (cmtc)"];
MC => HC [label = "CREATE_MTC"];
HC >> MTC [label = "(fork)"];
MTC box MTC [label = "MTC"];
MTC => MC [label = "connection_establishment"];
MTC => MC [label = "MTC_CREATED"];
MC => 0 [label = "display_to_user (MTC created)"];
MTC box MTC [label = "waiting"];
MC loop MTC [label = "Test case or control part execution"] {};
MTC box MTC [label = "waiting"];
0 => MC [label = "user_interaction (emtc)"];
MC => MTC [label = "EXIT_MTC"];
MTC => MC [label = "connection_termination"];
MC box MC [textbgcolour = "grey"],
HC box HC [textbgcolour = "grey"],
MTC -x MTC;
}
\ No newline at end of file
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1.2", wordwraparcs=on;
TC1 [label = "A\n TC"], MC, TC2 [label = "B\n TC"], TC3 [label = "C\n TC"];
TC1 box TC1 [label = "Reaching a TTCN-3 disconnect operation"],
TC2 box TC2 [label = "Waiting or executing"],
TC3 box TC3 [label = "Waiting or executing"];
TC1 => MC [label = "DISCONNECT_REQ"];
MC => TC3 [label = "DISCONNECT"];
TC3 box TC3 [label = "No more messages can be sent"];
TC1 box TC1 [label = "Blocking"],
TC3 => TC2 [label = "last_message"];
TC2 box TC2 [label = "No more messages can be sent"];
TC2 => TC3 [label = "last_message"];
TC3 => TC2 [label = "connection_termination"];
TC2 => MC [label = "DISCONNECTED"];
MC => TC1 [label = "DISCONNECT_ACK"];
TC1 box TC1 [label = "Waiting or executing"],
TC2 box TC2 [label = "Waiting or executing"],
TC3 box TC3 [label = "Waiting or executing"];
|||;
TC1 box TC1 [textbgcolour = "grey"],
TC2 box TC2 [textbgcolour = "grey"],
TC3 box TC3 [textbgcolour = "grey"];
}
\ No newline at end of file
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1", wordwraparcs=on;
TC1 [label = "A\n TC"], MC, TC2 [label = "B\n TC"];
TC1 box TC1 [label = "Reaching a TTCN-3\n disconnect operation"],
TC2 box TC2 [label = "Waiting or executing"];
TC1 => MC [label = "DISCONNECT_REQ"];
MC => TC2 [label = "DISCONNECT_LOCAL"];
TC1 box TC1 [label = "Blocking"],
TC2 box TC2 [label = "Removing the connection locally"];
TC2 => MC [label = "DISCONNECT_LOCAL"];
MC => TC1 [label = "DISCONNECT_ACK"];
TC1 box TC1 [label = "Continuing execution"],
TC2 box TC2 [label = "Waiting or executing"];
|||;
TC1 box TC1 [textbgcolour = "grey"],
MC box MC [textbgcolour = "grey"],
TC2 box TC2 [textbgcolour = "grey"];
}
\ No newline at end of file
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1.2", wordwraparcs=on;
TC, MC, PTC;
TC box TC [label = "Executing TTCN-3\n done operation"];
PTC box PTC [label = "Executing TTCN-3 code"];
TC => MC [label = "DONE_NOTIFY"];
TC box TC [label = "Waiting for\n new snapshot "],
MC box MC [label = "Registering notification"];
|||;
TC box TC [label = "May continue on\n other branch of alt"];
PTC => MC [label = "STOPPED"];
MC => TC [label = "DONE"];
PTC => MC [label = "connection_termination"];
|||;
TC box TC [textbgcolour = "grey"],
MC box MC [textbgcolour = "grey"],
PTC -x PTC;
}
\ No newline at end of file
///////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1", wordwraparcs=on;
0 [arctextcolor="black", linecolor="white", textcolor="white"], MC, MTC;
MTC box MTC [label = "Waiting"];
0 => MC [label = "user_request (execute control part)"];
MC => MTC [label = "EXECUTE_CONTROL"];
MTC box MTC [label = "Executing\n control part"];
MTC => MC [label = "TESTCASE_STARTED"];
MC => 0 [label = "display_to_user (test case started)"];
MTC box MTC [label = "Executing test case"];
MTC => MC [label = "TESTCASE_FINISHED"];
MC box MC [label = "Stopping all PTCs"],
MTC box MTC [label = "Blocking"];
|||;
MC => MTC [label = "PTC_VERDICT"];
MC => 0 [label = "display_to_user (test case finished)"];
MTC box MTC [label = "Setting final verdict"];
MTC box MTC [label = "Executing\n control part"];
MTC => MC [label = "MTC_READY"];
MC => 0 [label = "display_to_user (control part finished)"];
MTC box MTC [label = "Waiting"];
|||;
MC box MC [textbgcolour = "grey"],
MTC box MTC [textbgcolour = "grey"];
}
\ No newline at end of file
///////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1", wordwraparcs=on;
0 [arctextcolor="black", linecolor="white", textcolor="white"], MC, MTC;
MTC box MTC [label = "Waiting"];
0 => MC [label = "user_request \n (execute test case)"];
MC => MTC [label = "EXECUTE_TESTCASE"];
MTC box MTC [label = "Finding test case"];
MTC => MC [label = "TESTCASE_STARTED"];
MTC box MTC [label = "Executing test case"];
MTC => MC [label = "TESTCASE_FINISHED"];
MC box MC [label = "Stopping all PTCs"],
MTC box MTC [label = "Blocking"];
|||;
MC => MTC [label = "PTC_VERDICT"];
MC => 0 [label = "display_to_user (test case finished)"];
MTC box MTC [label = "Setting final verdict"];
MTC => MC [label = "MTC_READY"];
MTC box MTC [label = "Waiting"];
|||;
MC box MC [textbgcolour = "grey"],
MTC box MTC [textbgcolour = "grey"];
}
\ No newline at end of file
///////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1", wordwraparcs=on;
MC, HC, TC;
TC box TC [label = "Executing\n TTCN-3 function"];
MC => TC [label ="STOP"];
MC => MC,
TC box TC [label = "Stucked in an\n infinite loop"];
MC => HC [label = "KILL"];
HC => TC [label = "kill_signal"];
TC => MC [label = "connection_termination"];
|||;
MC box MC [textbgcolour = "grey"],
HC box HC [textbgcolour = "grey"],
TC -x TC;
}
\ No newline at end of file
///////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1", wordwraparcs=on;
0 [arctextcolor="black", linecolor="white", textcolor="white"], MC, TC;
TC box TC [label = "Reaching a TTCN-3\n log statement"];
TC => MC [label = "LOG"];
MC => 0 [label = "display_to_user\n (log message)"],
TC box TC [label = "Continuing execution"];
|||;
MC box MC [textbgcolour = "grey"],
TC box TC [textbgcolour = "grey"];
}
\ No newline at end of file
///////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1", wordwraparcs=on;
TC1 [label = "TC"], MC, TC2 [label = "TC"];
TC1 box TC1 [label = "Reaching a TTCN-3\n map operation"];
TC1 => MC [label = "MAP_REQ"];
MC => TC2 [label = "MAP"];
TC1 box TC1 [label = "Blocking"],
TC2 box TC2 [label = "Calling user code\n in test port"];
TC2 => MC [label = "MAPPED"];
MC => TC1 [label = "MAP_ACK"];
TC1 box TC1 [label = "Continuing execution"];
|||;
TC1 box TC1 [textbgcolour = "grey"],
MC box MC [textbgcolour = "grey"],
TC2 box TC2 [textbgcolour = "grey"];
}
\ No newline at end of file
///////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1", wordwraparcs=on;
TC, MC;
TC box TC [label = "Reaching a TTCN-3\n component running operation "];
|||;
TC abox TC [label = "No info available about the component"];
TC => MC [label = "IS_RUNNING"];
TC box TC [label = "Blocking"],
MC abox MC [label = "Checking whether PTC is terminated"];
|||;
MC => TC [label = "RUNNING"];
TC box TC [label = "Continuing execution"];
|||;
MC box MC [textbgcolour = "grey"],
TC box TC [textbgcolour = "grey"];
}
\ No newline at end of file
///////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2000-2020 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
msc {
hscale="1", wordwraparcs=on;
TC1 [label = "TC"], MC, TC2 [label = "TC"];
TC1 box TC1 [label = "Executing TTCN-3 code"],
TC2 box TC2 [label = "Executing TTCN-3 code"];
TC1 => MC [label = "MESSAGE_TO"];
MC => TC2 [label = "MESSAGE_FROM"];
TC1 box TC1 [label = "Continuing execution"],
TC2 box TC2 [label = "Putting the message into the queue"];
|||;
TC2 box TC2 [label = "Continuing execution"];
}
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment