Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
"Model-Based Software Testing and Analysis with C#"
Default
value: ??™Red??™.
[/maxTransitions:
]*
Maximum number of transitions to draw in the graph. Default value: ??™100??™.
[/loopsVisible[+|-]]*
Visibility of transitions whose start and end states are the same. Default value:
??™+??™.
[/mergeLabels[+|-]]*
Multiple transitions between same start and end states are shown as one transition
with a merged label. Default value: ??™+??™.
[/acceptingStatesMarked[+|-]]*
Mark accepting states with a bold outline. Default value: ??™+??™.
310 Command Reference
[/stateShape:Box|Circle|Diamond|Ellipse|Octagon|Plaintext]*
State shape. Default value: ??™Ellipse??™.
[/direction:TopToBottom|LeftToRight|RightToLeft|BottomToTop]*
Direction of graph layout. Default value: ??™TopToBottom??™.
[/combineActions[+|-]]*
Whether to view matching start and finish actions by a single label. Default value:
??™-??™.
[/livenessCheckIsOn[+|-]]*
Mark states from which no accepting state is reachable in the current view. Default
value: ??™-??™.
[/safetyCheckIsOn[+|-]]*
Mark states that violate a safety condition (state invariant). Default value: ??™-??™.
/testSuite:]*
File name of a file containing a sequence of actions sequences (test cases) to be
viewed.
[/fsm:]*
File name of a file containing the term representation fsm.ToTerm() of an fsm
(object of type FSM). Multiple FSMs are composed into a product.
Pages:
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398