About | Analyze | Check | CraftTest | Flatten | GenTest | ManageTest | Options | Prune | RecordResults | Write
Give information about the JUMBL and included third party software.
| -h or --help |
Describe this command. |
| -O [path] or --object_path=[path] |
Specify the object search path. |
Analyze the specified models or test records. For models, this generates a report about the statistical properties of the model. For test records, this generates an analysis of the test results. Visit http://sqrl.eecs.utk.edu/esp/jumbl.html for more information.
| --gui | Use a GUI for selecting models to analyze. |
| -h or --help |
Describe this command. |
| -k [key] or --key=[key] |
Specify the probability distribution to analyze. |
| --list | List the known analytical engines. |
| --loss=[key] | Specify the loss key to use when computing expected loss. |
| --model=[name] | Specify a model for test record analysis. |
| -M [engine] or --model_engine=[engine] |
Specify an analysis engine to use for computing the analytical results for models. |
| -O [path] or --object_path=[path] |
Specify the object search path. |
| -s [suffix] or --suffix=[suffix] |
Specify the output file name suffix. The suffix is appended to the base name of the input file (the name without its extension). The output is to [base name][suffix].html. If no suffix is specified, a default suffix is used based on the input file type. |
| -T [engine] or --test_engine=[engine] |
Specify an analysis engine to use for computing the analytical results for test records. |
Check the structure of the specified models. This detects states which cannot be reached from the source and states from which the sink cannot be reached. It also reports some statistics about the model.
| --gui | Use a GUI to select the files to check and also to display the results. When using the GUI, model references are not checked. |
| -h or --help |
Describe this command. |
| -O [path] or --object_path=[path] |
Specify the object search path. |
Interactively edit or create single-trajectory test cases.
| -h or --help |
Describe this command. |
| -O [path] or --object_path=[path] |
Specify the object search path. |
Flatten the specified models, either by instantiating all model references, or by simply collapsing the model references (i.e., turning every model reference into a state). The resulting model no longer contains any model references. The default behavior is to flatten by instantiating.
| --collapse | Flatten by collapsing the submodels, instead of instantiating them (which is the default). |
| -h or --help |
Describe this command. |
| --noprune | Do not remove unreachable states from the flattenned model. Such states may occur because of the use of trajectories. |
| -O [path] or --object_path=[path] |
Specify the object search path. |
Generate one or more test cases from each of the models. By default the test cases are generated based on a random walk of the model, constrained by probabilities.
| -f [number] or --first=[number] |
Specify the starting index of the test cases. The index is appended to the test case name after the suffix. |
| -h or --help |
Describe this command. |
| -k [key] or --key=[key] |
Specify the key of the constraints to use for probabilities or costs. If no distribution is specified, the default (unnamed) distribution is used. |
| -m or --min |
Generate the minimum coverage set for each model. |
| -n [number] or --num=[number] |
Specify the number of test cases to generate. By default only one test case is generated for each model specified. This is ignored if generating the coverage set. |
| -O [path] or --object_path=[path] |
Specify the object search path. |
| -r [rec] or --record=[rec] |
Specify a test record to receive the test cases. All test cases generated will be appended to the specified test record, and the test record will be created if it does not exist. |
| -s [suffix] or --suffix=[suffix] |
Set the file name suffix to use for generated test cases. These test cases are written to files with the names [model][suffix]1, [model][suffix]2, etc. The default suffix depends on the generation method used. |
| --sum | Generate test cases in order by sum of weights, starting with lowest sum. This implies --weight. |
| -w or --weight |
Generate test cases in order by weight. By default the test cases are ordered by probability, with the most likely first. |
Manipulate a test record. The following commands are supported: add, delete, export, insert, and list. The command must be followed by the test record on which to act, which need not already exist. Any arguments to the command are provided next (test cases to add or insert, for example).
| -T [val] or --T |
No usage information. [uo_T] |
| --end=[suffix] | Set the suffix for informational lines in exported test cases. |
| -e [ext] or --extension=[ext] |
Override the default extension and specify the file name extension (include the period) for exported test cases. This is only applicable if label data is requested via the --key or -k switch. |
| -h or --help |
Describe this command. |
| -k [key] or --key=[key] |
Specify the key for labels to write when exporting test cases. This causes the labels to be written instead of other information, and is primarily intended for use with automated testing. |
| --no_fail | Do not write recorded test execution information in exported test cases. |
| --no_header | Suppress writing a header block when exporting test cases. |
| --no_step | Suppress writing the step number when exporting test cases. |
| -O [path] or --object_path=[path] |
Specify the object search path. |
| --start=[prefix] | Set the prefix for informational lines in exported test cases. |
| -s [suffix] or --suffix=[suffix] |
Specify a suffix for exported test cases. The suffix is added to the file name prior to the extension. The default is to use no suffix. |
| --trajectory=[t] | Specify a particular trajectory to extract when exporting test cases. This causes only the specified trajectory to be written. |
| --type=[type] | Override the default behavior of export and write tests using the specified output file type. |
Perform editing of the library configuration options. The changed values are written to the user's configuration file and are persistent.
| --force=[option] | Without an argument, force all options to be saved, whether or not they are the default value. With an argument, force that option to be saved. This switch may be given multiple times. |
| -h or --help |
Describe this command. |
| -O [path] or --object_path=[path] |
Specify the object search path. |
Prune the specified models. States which cannot be reached from the model source are removed, and states from which the sink cannot be reached are also removed.
| --gui | Use a GUI for selecting files to prune. |
| -h or --help |
Describe this command. |
| -O [path] or --object_path=[path] |
Specify the object search path. |
Record the results from execution of test cases in the test records. Each test record filename is given, followed by a test case selector, followed by the steps on which failures were detected. If execution of a test case was stopped after the last failure, add an S to the end. So if test case 7 of mytest.str failed at steps 6 and 9, and execution stopped prematurely at step 9, then this is specified as "mytest.str@7,6,9,S".
| --file=[file] | Read the test result information from [file]. This file has the same format as the command line, except that each test record should be placed on a separate line. |
| -h or --help |
Describe this command. |
| -O [path] or --object_path=[path] |
Specify the object search path. |
| -r or --r |
No usage information. [uo_r] |
| --reset | Reset the test, indicating that the test has not been executed. |
Write the specified files to the given type, or to the default type if none is specified. This can be used to convert from one representation to another.
| -e [ext] or --extension=[ext] |
Specify a file extension to override the default extension for the output type, including the period. |
| -h or --help |
Describe this command. |
| --list | List the types which can be used with the --type option. If this option is specified, no other action will be taken. |
| -O [path] or --object_path=[path] |
Specify the object search path. |
| -s [suffix] or --suffix=[suffix] |
Set the file name suffix to use for the generated files. This is to prevent overwriting the original with the new file. The default suffix is the empty string. The new file will be named [base][suffix][extension], where the extension is dependent on the type selected. |
| -t [type] or --type=[type] |
Specify the type of the output. To find out what types are available, use --list. |