Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
mbt_node [2017/12/21 04:29] admin [MBT Settings] |
— (current) | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ===== MBT Settings===== | ||
- | //>> | ||
- | |||
- | //MBT Settings// contains the settings that affect the test case generation. | ||
- | |||
- | {{http:// | ||
- | |||
- | ---- | ||
- | ==== Setting Definition==== | ||
- | |||
- | All settings have hover messages describing what the properties are. You can get to the hover message for the property by moving your mouse over the property label. Below are a more detailed description of these properties: | ||
- | |||
- | * [[Sequence Mode|Sequence Mode]] - required field, MBT sequencer to be used to generate the test sequences/ | ||
- | * Objective - choice of //Min Traversals// | ||
- | * Coverage Type - choice of // | ||
- | * Random Seed - to initialize the random number generator used by Random Sequencer and Greedy Sequencer. If this field is set, it will cause the sequencer to use the same set of random number and thus same set of test sequences/ | ||
- | * Sequencer Parameters - parameters to be use by sequencers. e.g. MaxDup=3 for PathFinder sequencer to limit amount of variations in sequence paths. (Rel. 4.4.12) | ||
- | * Stop Coverage - transition coverage when reached to stop MBT execution. | ||
- | * Stop Req. Coverage - requirement coverage when reached to stop MBT execution. | ||
- | * Coverage Type - option of transition coverage or path coverage. Coverage type works with [[Sequence Mode|Sequence Mode]]. | ||
- | * Stop Count - integer, the number of transition traversals when reached to stop the MBT execution. | ||
- | * Stop Time - integer, the number of seconds the MBT execution is allowed to run. | ||
- | * Stop Path Count - integer, number of test cases (paths from initial state to final state) when reached to stop MBT execution. | ||
- | * Stop Executions - integer, number of failures when reached to stop MBT executions. | ||
- | * Stop at Final State Only - if MBT execution should stop at final state only. | ||
- | |||
- | The above Stop fields are used to control when the MBT execution should stop. They are ORed, that is, MBT execution stops when any of the condition is evaluated to true. If you are stress/load test your application, | ||
- | |||
- | * Iterations - integer, number of times to execute the model. This is usually used to conduct your load testing when you re-run again and again the model against your web application. If used with the //Threads// field, you can simulate multiple concurrent users (virtual users) running a set of scenarios simultaneously against your application. This setting is ignored by //Random and Greedy// sequencers for which you would set the stop conditions to control how long you want the execution to last instead. | ||
- | * Iteration Delay - integer, number of milliseconds to wait between two consecutive iterations. This delay is also used to pause between the startup of two consecutive threads. (Rel 3.0.32) | ||
- | * Threads - integer, number of testing threads to start to test your application. This is also called Virtual Users to stress and load test your application. If //Threads// is smaller than the // | ||
- | * Thread Delay - integer, number of milliseconds to delay the startup of each thread. | ||
- | * Shuffle Path - //Yes// or //No//, ignored by //Random and Greedy// sequencers. | ||
- | * Parallel Mode - //Shared// or // | ||
- | |||