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.

16 Index<br />

add unambiguous variants ............................................ 32<br />

additional parameters, specifying ................................... 7<br />

assessment<br />

engine ......................................................................... 6<br />

Auto-completion ........................................................... 81<br />

automaton fragments<br />

export into an image file ........................................... 24<br />

save ........................................................................... 24<br />

<strong>TPT</strong> import ................................................................ 24<br />

automatons<br />

copy .......................................................................... 24<br />

cut out selected automaton...................................... 23<br />

debug ........................................................................ 73<br />

delete ........................................................................ 23<br />

export into an image file ........................................... 24<br />

move ......................................................................... 23<br />

parallel automatons .................................................. 22<br />

view ........................................................................... 25<br />

automatons, select<br />

select individual ........................................................ 23<br />

select multiple .......................................................... 23<br />

breakpoint<br />

find ............................................................................ 75<br />

browser<br />

scenario....................................................................... 8<br />

teslet ........................................................................... 8<br />

C-code testing ............................................................... 51<br />

channel,assigning<br />

local ........................................................................... 14<br />

observation ............................................................... 13<br />

stimulation ................................................................ 14<br />

channel,declaration ....................................................... 10<br />

change....................................................................... 12<br />

create ........................................................................ 11<br />

delete ........................................................................ 12<br />

editor ........................................................................ 10<br />

clipboard<br />

copy automaton elements as an image .................... 24<br />

insert automaton elements ...................................... 24<br />

column<br />

first ........................................................................... 84<br />

fourth ........................................................................ 84<br />

second ...................................................................... 84<br />

third .......................................................................... 84<br />

constant,declaration ..................................................... 10<br />

change ...................................................................... 12<br />

create........................................................................ 11<br />

delete........................................................................ 12<br />

editor ........................................................................ 10<br />

converter data ................................................................ 6<br />

create elements<br />

final node elements .................................................. 17<br />

initial node elemnts .................................................. 16<br />

state elements .......................................................... 17<br />

data converter ................................................................ 6<br />

debug<br />

basic modules ........................................................... 73<br />

execute a test ........................................................... 76<br />

plug-in-features ........................................................ 74<br />

definition<br />

parameter ................................................................. 32<br />

scenarios ................................................................... 32<br />

direct-definition,testlet ................................................. 26<br />

signals ....................................................................... 28<br />

editor<br />

template ............................................................. 62, 64<br />

environment<br />

MATLAB/Simulink ..................................................... 41<br />

variables ............................................................. 51, 85<br />

variables ................................................................... 44<br />

equation, testlet<br />

change order ............................................................ 27<br />

define........................................................................ 27<br />

Error message<br />

Compilation on the fly .............................................. 25<br />

EXE Platform ................................................................. 49

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

Saved successfully!

Ooh no, something went wrong!