07.05.2013 Views

TPT User's Guide - PikeTec

TPT User's Guide - PikeTec

TPT User's Guide - PikeTec

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Page 78 <strong>TPT</strong> User’s <strong>Guide</strong><br />

Figure 56: The user interface of the debugging runtime<br />

These windows always stay on top of all other windows. All interactions with the other<br />

windows remain available.<br />

Consequently all functions available in <strong>TPT</strong> remain accessible during debugging. Deletion or<br />

addition of breakpoints can take place during the debug runtime of a test as during modelling<br />

time through the table view within the debug tab (see Figure 56). Navigation through the<br />

overall automaton using the testlet and scenario trees on the left hand and the automaton<br />

view on the right-hand remain available.<br />

14.3.3 The “control debug session“ window<br />

The dialog with the title “control debug session” provides execution control of the test. The<br />

options are “pausing”, “resumption” or “terminating the execution”, as well as the “stepping”<br />

functions “step cycle” and “step over”. Two more buttons control the fading in/out of the two<br />

additional “channel watch” and “breakpoints overview” windows. The speed of the test<br />

execution can be controlled by using the scroll-bar displayed at the bottom of the window.<br />

The following overview provides a brief overview over the buttons available and their meaning:<br />

Prompts the resumption of a paused test execution (“resume”).<br />

Stops an ongoing test execution (“pause”).<br />

Terminates the test execution and thus the debugging (“terminate”).<br />

Continues a paused test for exactly one execution step (“step cycle”).<br />

Continues a stopped test until the active state changes (“step over”).<br />

Activates/Deactivates displaying the “channel watch” window.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!