TPT User's Guide - PikeTec

TPT User's Guide Page 17
initial node
junction
Figure 7: Elements of the graphical testlet model
final node
TPT junctions and initial nodes differ in that initial nodes are not linked to incoming transitions. Thus,
there is no specific symbol or menu entry for initial node elements.
4.3 Creating final node elements
To create a final node select Insert | Final from the menu or use the assigned hotkey
F3. Place the final node in the “content” tab by left-clicking at the desired position. A final node
is represented by the silhouette of a black circle (see Figure 7).
4.4 Creating state elements
To create a state select Insert | State or use the assigned hotkey F2. Left-click in the
“content” tab work area where the state symbol is to be placed. A state is represented by a
yellow or green filled rectangle, depending on whether it contains only simple definitions
(yellow) or another automaton (green). The name of the testlet that is assigned to the state
appears within the rectangle (see Figure 8).
The creation of a state corresponds to the creation of a new testlet. Therefore every state also appears as a
testlet in the testlet browser. This new testlet or state also has to be modelled, either as a sub-automaton
with “time partitioning” or per “direct definition” by means of state equations.