Offline Test Generator
Generates an offline test suite that achieves link coverage
of the finite state machine
(FSM) generated from a
. The test suite can then be executed by the
. For example, the command
otg /r:PowerSwitch.dll PowerSwitch.Contract.Create
generates the test suite
It is typical to compose a scenario
expressed as an FSM with a contract model program
in C# in order to limit the size of the generated FSM.
otg [/reference:<string>]* [/mp:<string>]* [/file:<string>]* [/append[+|-]]* [/fsm:<string>]* <model>* @<file>
otg /r:ClientServer.dll ClientServer.Factory.Create /fsm:Scenario.txt
otg /r:ClientServer.dll /mp:ClientServer /fsm:Scenario.txt
otg /r:ClientServer.dll ClientServer.Factory.Create /file:ContractTest.txt
otg /r:ClientServer.dll /mp:ClientServer /file:ContractTest.txt
Displays usage information and exits.
Referenced assemblies. (Short form: /r
Model programs given in the form M
is a model program name (namespace) and each
is a feature in M
. Multiple model programs are composed into a product. No factory method is needed if this option is used.
File where test suite is saved. The console is used if no file is provided. (Short form:
If false the file is overwritten, otherwise the generated test suite is appended at the end of the file. Default value: ``-
'' (Short form:
File name of a file containing the term representation
of an fsm
(object of type FSM). Multiple fsms are composed into a product.
Fully qualified names of factory methods returning an object that is an instance of
. Multiple models are composed into a product. No factory method arguments are needed if the
option is used instead.
Read response file for more options.