Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
Next revision Both sides next revision
tutorial:state_modeling [2020/06/08 02:42]
admin [Make Changes] 		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 138: Line 138:
 {{wiki:overview:tut_new_model_result_gen.png?600}} {{wiki:overview:tut_new_model_result_gen.png?600}}
  
-Explanation on //RESULT// tab is covered in a separate tutorial.  We will just view three graphs to visualize the test cases generated:+Explanation on //RESULT// tab is covered in a separate tutorial.  We will just review the test cases generated in the "Test Case" section. 
 + 
 + 
 +===== 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:overview:tut_new_model_graph_trav.png?linkonly | Traversal}}   * {{wiki:overview:tut_new_model_graph_trav.png?linkonly | Traversal}}
   * {{wiki:overview:tut_new_model_graph_cov.png?linkonly| Coverage}}   * {{wiki:overview:tut_new_model_graph_cov.png?linkonly| Coverage}}
Line 146: Line 150:
  
 The graphs should be self-explanatory. The graphs should be self-explanatory.
- 
  
 ===== Make Changes ===== ===== Make Changes =====
Line 162: Line 165:
  
 If you are modeling a workflow or process, you can use //Swimlanes// to distinguish multiple different process and actor. If you are modeling a workflow or process, you can use //Swimlanes// to distinguish multiple different process and actor.
- 
- 
-===== Model Graphs and Test Visualization ===== 
-