TPT Tutorial - PikeTec

More documents

Recommendations

Info

Page 22 TPT Tutorial 2. Left-click and move your cursor over the testlet. You should see a transition pointing from initial junction to “Simplest Testlet”: 3. Now left-click again to complete the connection: Follow the same procedure to connect the testlet with the final junction. The test case should now look like this:
TPT Tutorial Page 23 Figure 18: Simplest executable test To configure the behaviour of your testlet, do the following steps: 1. Left-click the “Simple Testlet” in the testlet browser and left-click again the direct definition icon in the editor window: 2. Now to assign the signature of the testlet move the cursor right to the testlet. Notice than the area under your cursor changes the colour to gray. 3. Left-click this area to choose both the “light_intensity” and “light_switch” as output-channels for the “Simplest Testlet”. Now the signature of this state has two outputs light_intensity and light_switch.
Page 1 and 2: TPT Tutorial Version 3.0 11. March
Page 3 and 4: TPT Tutorial Page 3 1 Introduction
Page 5 and 6: TPT Tutorial Page 5 1.3 Systematic
Page 7 and 8: TPT Tutorial Page 7 • etc. Furthe
Page 9 and 10: TPT Tutorial Page 9 will see later,
Page 11 and 12: TPT Tutorial Page 11 Functional spe
Page 13 and 14: TPT Tutorial Page 13 cases are prim
Page 15 and 16: TPT Tutorial Page 15 Figure 10: MAT
Page 17 and 18: TPT Tutorial Page 17 Figure 14: Tes
Page 19 and 20: TPT Tutorial Page 19 Figure 17: Dec
Page 21: TPT Tutorial Page 21 3. Now left-cl
Page 25 and 26: TPT Tutorial Page 25 Figure 21: Tra
Page 27 and 28: TPT Tutorial Page 27 Figure 24: lig
Page 29 and 30: TPT Tutorial Page 29 Figure 25: Pro
Page 31 and 32: TPT Tutorial Page 31 automaton inst
Page 33 and 34: TPT Tutorial Page 33 To explore the
Page 35: TPT Tutorial Page 35 “getHeadligh

TPT Tutorial - PikeTec

Create successful ePaper yourself

Delete template?

Save as template?