Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
"Model-Based Software Testing and Analysis with C#"
[/group:
]*
Name of a state property to use as the abstraction function for grouping, as
described in Section 11.2.5.
[/startTestAction:]*
Name of start action of a test case. This value is used only if a testSuite is
provided. Default value: ??™Test??™.
*
Fully qualified names of factory methods returning an object that is an instance
of ModelProgram. Multiple model programs are composed into a product.
@
Read response file for more options.
Appendices 311
B.2 Offline test generator, otg
B.2.1 Usage
otg [/reference:]* [/file:]* [/append[+|-]]*
[/fsm:]* * @
B.2.2 Examples
otg @otg_args.txt
otg /r:ClientServer.dll ClientServer.Factory.Create /fsm:Scenario.txt
otg /r:ClientServer.dll ClientServer.Factory.Create /file:Test.txt
B.2.3 Options
/?, /help
Displays usage information and exits.
[/reference:]*
Referenced assemblies. (Short form: /r)
[/file:]*
File where test suite is saved. The console is used if no file is provided. (Short
form: /f)
[/append[+|-]]*
If false, the file is overwritten; otherwise the generated test suite is appended at
the end of the file. Default value: ???-??? (Short form: /a).
[/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:
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399