2 Why We Need Model-Based Testing

Appendices 309
B.1.3 Options
/?, /help
Displays usage information and exits.
[/reference:]*
Referenced assemblies. (Short form: /r)
[/initialTransitions:]*
Number of transitions that are explored initially up to maxTransitions. Negative
value implies no bound. Default value: ’-1’.
[/transitionLabels:None|ActionSymbol|Action]*
Determines what is shown as a transition label. Default value: ’Action’.
[/nodeLabelsVisible[+|-]]*
Visibility of node labels. Default value: ’+’.
[/initialStateColor:]*
Background color of the initial state. Default value: ’LightGray’.
[/hoverColor:]*
Line and action label color to use when edges or nodes are hovered over. Default
value: ’Lime’.
[/selectionColor:]*
Background color to use when a node is selected. Default value: ’Blue’.
[/deadStateColor:]*
Background color of dead states. Dead states are states from which no accepting
state is reachable. Default value: ’Yellow’.
[/deadStatesVisible[+|-]]*
Visibility of dead states. Default value: ’+’.
[/unsafeStateColor:]*
Background color of states that violate a safety condition (state invariant). 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: ’+’.
more free ebooks download links at:
http://www.ebook-x.com