Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
state_modeling [2020/06/03 15:59] admin |
— (current) | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Tutorial: State-based Modeling and Test Generation ====== | ||
| - | |||
| - | Learning Objectives: | ||
| - | * How to create a state-based model | ||
| - | * Make changes to the model | ||
| - | * Test the model - generate test cases | ||
| - | * Model graphs and test visualization | ||
| - | |||