Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
tutorial:state_modeling [2020/06/07 21:34] admin [Generate Test Cases] |
tutorial:state_modeling [2021/01/05 03:00] 127.0.0.1 external edit |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Tutorial: State-based Modeling and Test Generation ====== | ====== Tutorial: State-based Modeling and Test Generation ====== | ||
- | Learning Objectives: | + | ====Learning Objectives |
* [[#What is a State Model]] | * [[#What is a State Model]] | ||
* [[#Create Model]] | * [[#Create Model]] | ||
Line 134: | Line 134: | ||
Click on {{wiki: | Click on {{wiki: | ||
- | You should see some status messages showing up on the bottom of the screen. When done, it should auto select //RESULT// tab like below: | + | You should see some status messages showing up on the bottom of the screen. When done, it should auto select //RESULT// tab like below, if not click on //RESULT// tab on the app header: |
{{wiki: | {{wiki: | ||
- | Explanation on //RESULT// tab is covered in a separate tutorial. | + | Explanation on //RESULT// tab is covered in a separate tutorial. |
- | * Traversal | + | |
- | * Coverage | + | |
- | * Test Case | + | |
- | Click on each of the graphs on {{wiki: | ||
+ | ===== Model Graphs and Test Visualization ===== | ||
+ | In addition to the test case list described in the previous section, you can view the test cases in graphs: | ||
+ | * {{wiki: | ||
+ | * {{wiki: | ||
+ | * {{wiki: | ||
- | ===== Make Changes ===== | + | Click on each of the graphs on {{wiki: |
+ | The graphs should be self-explanatory. | ||
+ | ===== Make Changes ===== | ||
+ | As you followed this tutorial, you should have noticed that you can easily make changes to the model and re-generate test cases with minimum effort. | ||
- | ===== Model Graphs | + | Here are a few more changes you can make to the model: |
+ | * aligning states by selecting (marking) states | ||
+ | * re-routing transitions with transition context menu: | ||
+ | * {{wiki: | ||
+ | * {{wiki: | ||
+ | * refreshing all outgoing and incoming transitions of a state with state context menu {{wiki: | ||
+ | * styling the states and transitions through [[../ | ||
+ | |||
+ | You may also us //Box// node to group or highlight a set of states. | ||
+ | If you are modeling a workflow or process, you can use // | ||