If a
negative number is specified, the absolute value is used. If left unspecified or if 0
is provided, a random number is generated as the seed. Default value: ??™0??™. (Short
form: /seed)
[/overwriteLog[+|-]]*
If true, the log file is overwritten; otherwise the test results are appended to the
log file. Default value: ??™+??™.
[/testSuite:
]*
File name of a file containing a sequence of action sequences to be used as the
test suite.
[/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.
[/startTestAction:]*
Name of start action of a test case. This value is used only if a testSuite is provided.
The default ??™Test??™ action symbol is considered as an internal test action symbol.
If another action symbol is provided, it is not considered as being internal by
default. Default value: ??™Test??™.
*
Fully qualified names of factory methods returning an object that is a subclass of
ModelProgram. Multiple models are composed into a product.
@
Read response file for more options.
C Glossary
Undefined terms
The following technical terms are used but not defined in this glossary. We assume
their usual meanings from computer science or C#.
agent, algorithm, allocate, argument, Boolean, call, callback function, code, code
branch, compile, compiler, data structure, data type, declaration, decrement, developer,
directory, element, execute, execution, expression, field, file, file type, framework,
global variable, input, instance variable, interleave, key, local variable, main
method, method, memory, memory leak, multithreaded, negate, object, object ID,
output, overloading, program, programming language, parameter, return, return
value, software, statement, static method, static variable, synchronize, system, text
file, type, value, variable
Definitions
a priori testing.
Pages:
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403