Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
"Model-Based Software Testing and Analysis with C#"
*
Fully qualified names of factory methods returning an object that is an instance
of ModelProgram. Multiple models are composed into a product.
@
Read response file for more options.
312 Command Reference
B.3 Conformance tester, ct
B.3.1 Usage
ct /iut: [/modelStepper:] /reference:+
[/coverage:]* [/steps:]* [/maxSteps:]*
[/runs:]* [/observableAction:]*
[/cleanupAction:]* [/internalAction:]*
[/waitAction:]* [/timeoutAction:]* [/timeout:]*
[/continueOnFailure[+|-]]* [/logfile:]* [/randomSeed:]*
[/overwriteLog[+|-]]* [/testSuite:]* [/fsm:]*
[/startTestAction:]* * @
B.3.2 Examples
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
B.3.3 Options
/?, /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).
Pages:
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400