2 Why We Need Model-Based Testing

312 Command Reference
B.3 Conformance tester, ct
B.3.1 Usage
B.3.2 Examples
B.3.3 Options
ct /iut: [/modelStepper:] /reference:+
[/coverage:]* [/steps:]* [/maxSteps:]*
[/runs:]* [/observableAction:]*
[/cleanupAction:]* [/internalAction:]*
[/waitAction:]* [/timeoutAction:]* [/timeout:]*
[/continueOnFailure[+|-]]* [/logfile:]* [/randomSeed:]*
[/overwriteLog[+|-]]* [/testSuite:]* [/fsm:]*
[/startTestAction:]* * @
ct @ct_args.txt
ct /r:Stepper.dll /iut:ClientServerImpl.Stepper.Create
/testSuite:ContractTest.txt
ct /r:ClientServer.dll ClientServer.Factory.Create /r:Stepper.dll
/iut:ClientServerImpl.Stepper.Create /fsm:Scenario.txt /runs:1
/?, /help
Displays usage information and exits.
/iut:
Implementation under test, a fully qualified name of a factory method that returns
an object that implements IStepper.
[/strategy:]
A fully qualified name of creator method that takes arguments (ModelProgram
modelProgram, string[] coverage) and returns an object that implements
IStrategy. If left unspecified, the default model stepper is used that ignores
coverage point names (if any). (If a testSuite is provided, this option is ignored.)
/reference:+
Referenced assemblies. (Short form: /r)
[/coverage:]*
Coverage point names used by model stepper. (If a testSuite is provided, this
option is ignored.)
[/steps:]*
The desired number of steps that a single test run should have. After the number
is reached, only cleanup tester actions are used and the test run continues until an
more free ebooks download links at:
http://www.ebook-x.com