TPT User's Guide - PikeTec

More documents

Recommendations

Info

Page 18 TPT User’s Guide New state elements appear as testlet in testletbrowser State elements Figure 8: State elements 4.5 Renaming states or testlets, respectively State elements A new state or testlet receives an automatically generated name during its creation (“testletxx”). Change the name by first selecting the testlet within the automaton or the testlet browser, then use F2 or left-click on the state symbol. After a slight delay a cursor appears within the symbol and the new name can by typed. To enter names that consist of multiple lines press ENTER to move the cursor to the next line, and SHIFT+ENTER to finish editing. 4.6 Embedded testlets As mentioned previously a testlet is assigned to each state (which has been modelled with “time partition” or “direct definition”). The hierarchy of testlets is reflected in the testlet browser. To directly select a testlet shown within any of the tabbed work areas, click on the corresponding testlet’s entry in the testlet browser. You will immediately see the content of the selected testlet in the “content” tab of the main window, either in the form of an associated sub-automaton or as a set of equations. Alternatively, you may select the content of a testlet by double-clicking on the state assigned to it in the currently displayed automaton. If this testlet in turn is an automaton, this can be repeated until you encounter a testlet that has been modelled with definition equations. Such a testlet may not contain other testlets. The overall test model is finished only if all testlets are have been modelled completely and correctly. If the testlet browser still contains testlet nodes with grey question marks, the modelling of these testlets has not been completed.
TPT User's Guide Page 19 4.7 Creating transitions To create a transition select the Insert | Transition or use the assigned hotkey F4. Then, in the “content” tab work area click once on the initial node, junction or state, from which the transition should start. Click again on the final node, junction or state at which the transition should end. Transitions themselves may neither be copied nor cut individually, since they are linked to source and target objects. See Selecting, cutting, copying, inserting and copying as an image for further editing options. If a transition is created, it is displayed as a straight arrow. However, it is also possible to give the transition the form of a Bezier curve (see Shaping transitions graphically). 4.8 Establishing transition specifications Every transition has one or more “transition specifications” assigned to it. Each transition specification consists of a formal condition and action statements (see Figure 9). To define one or more transition specifications, double-click on a transition in the automaton. The transition editor opens, which shows the list of available transition specifications on the left side (“transition tree”) and formal conditions and actions on the right. To create a new transition specification, carry out the following steps, preferably in the given order: Creating a transition specification A new and empty transition specification is created by clicking the “Add New” button (see Figure 9). Entering a formal condition (optional) On the right-hand side of the transition editor, enter the desired transition condition into the text field (“formal condition”) (see Figure 9). Entering action statements (optional) On the right-hand side of the transition editor, enter the desired actions into the text field “actions” (see Figure 9). Transition specifications may be deleted by selecting the corresponding transition specifications in the transition editor and then using the “delete” button.
Page 1 and 2: TPT User's Guide Version 3.1 13 Feb
Page 3 and 4: TPT User's Guide Page 3 5 Modelling
Page 5 and 6: TPT User's Guide Page 5 1 Introduct
Page 7 and 8: TPT User's Guide Page 7 1.1.6 Speci
Page 9 and 10: TPT User's Guide Page 9 1.2.5 Menu
Page 11 and 12: TPT User's Guide Page 11 2.3 Creati
Page 13 and 14: TPT User's Guide Page 13 3 Signatur
Page 15 and 16: TPT User's Guide Page 15 4 Graphica
Page 17: TPT User's Guide Page 17 initial no
Page 21 and 22: TPT User's Guide Page 21 Figure 10:
Page 23 and 24: TPT User's Guide Page 23 To create
Page 25 and 26: TPT User's Guide Page 25 You will b
Page 27 and 28: TPT User's Guide Page 27 5.2 Defini
Page 29 and 30: TPT User's Guide Page 29 6 Definiti
Page 31 and 32: TPT User's Guide Page 31 each state
Page 33 and 34: TPT User's Guide Page 33 The rules
Page 35 and 36: TPT User's Guide Page 35 7 Organisa
Page 37 and 38: TPT User's Guide Page 37 _ Figure 2
Page 39 and 40: TPT User's Guide Page 39 8 Test set
Page 41 and 42: TPT User's Guide Page 41 9 Platform
Page 47 and 48: TPT User's Guide Page 47 9.3.1.1 Ex
Page 49 and 50: TPT User's Guide Page 49 9.4 The ex
Page 51 and 52: TPT User's Guide Page 51 tpt_vmapi_
Page 53 and 54: TPT User's Guide Page 53 For now, l
Page 55 and 56: TPT User's Guide Page 55 10 Test Ex
Page 57 and 58: TPT User's Guide Page 57 Platforms
Page 59 and 60: TPT User's Guide Page 59 11 Test An
Page 61 and 62: TPT User's Guide Page 61 A toolbar
Page 63 and 64: TPT User's Guide Page 63 11.3.1 Rep
Page 69 and 70:
TPT User's Guide Page 69 13 Functio
Page 71 and 72:
TPT User's Guide Page 71 13.3.3 Asy
Page 73 and 74:
TPT User's Guide Page 73 14 Debuggi
Page 75 and 76:
TPT User's Guide Page 75 Figure 53:
Page 77 and 78:
Page 79 and 80:
TPT User's Guide Page 79 Activates/
Page 81 and 82:
Page 83 and 84:
TPT User's Guide Page 83 15.7 The l
Page 85 and 86:
TPT User's Guide Page 85 15.10 Envi
Page 87 and 88:
TPT User's Guide Page 87 is 0 if an
Page 89 and 90:
16 Index add unambiguous variants .
Page 91:
TPT User's Guide Page 91 shortcuts
show all

TPT User's Guide - PikeTec

Create successful ePaper yourself

Delete template?

Save as template?