testoptimal.api.FSM

Class ModelRequest

java.lang.Object

testoptimal.api.FSM.ModelRequest

public class ModelRequest
extends Object

Copyright 2020 TestOptimal LLC Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

Author:

Yaxiong Lin

Field Summary

Fields

Modifier and Type	Field and Description
String	mbtMode
String	modelName
Map<String,Object>	options For StateModel executions: stopMinute: stop condition - stop MBT execution after the specified number of minutes stopTraversal: stop condition - stop MBT execution after the specified number of trasition traversals have been reached stopTransCoveragePct: stop condition - stop MBT execution when the transition coverage has reached the specified percentage stopAtFinalOnly: stop execution at final states only seqParams: additional sequencer parameters in the format of code=value, separate multiple settings with a semi-colon seed: int to set the seed to be used by random number generator initScript: array of groovy script to be executed before model execution.

Constructor Summary

Constructors

Constructor and Description
ModelRequest()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

modelName

public String modelName

mbtMode

public String mbtMode

options

public Map<String,Object> options

For StateModel executions:

• stopMinute: stop condition - stop MBT execution after the specified number of minutes
• stopTraversal: stop condition - stop MBT execution after the specified number of trasition traversals have been reached
• stopTransCoveragePct: stop condition - stop MBT execution when the transition coverage has reached the specified percentage
• stopAtFinalOnly: stop execution at final states only
• seqParams: additional sequencer parameters in the format of code=value, separate multiple settings with a semi-colon
• seed: int to set the seed to be used by random number generator
• initScript: array of groovy script to be executed before model execution. use this to set user variables. This overrides "Init Scripts" in model setting.
• autoClose: true/false to set Auto Close model after model execution.
• markList: array of UIDs for states and/or transitions

Constructor Detail

ModelRequest

public ModelRequest()