|
|
|
|
Validator |
To find out whether your state machine design behaves as intended, you use the Validator. You test and validate your application by sending events into the design model, and in the different windows you can see the results of the events. The validator can also use the Designer to animate the applications response directly on your state machine diagram.
Test sequences can be recorded to a log file. The log file can be replayed later so you can carry out exactly the same sequence of test steps. visualSTATE® automatically detects if any behavioral changes have been made in the model. For fine-grained debugging control during simulation, breakpoints can be set on the activation of states, transitions, variables and action functions. |
| |
 |
| Click to see larger image. |
|
|
| |
Dynamic analysis |
| The dynamic analysis tool is used to calculate the exact test coverage and to profile your application. The analysis is based on a test sequence log file from a simulation, prototype execution or target execution. By invoking the dynamic analysis tool visualSTATE will calculate how many times certain events, actions, signals, variables and state-transitions have occurred. It will also identify and pinpoint any unexecuted parts of the application. |
Static analysis |
With the Static Analysis tool you can ask questions about the behavior of your state machines. You can analyze the system from either the event or the action side.
For example, if you ask, "What can happen when the button A event is received?" the analysis tool will report all possible state-transitions and actions triggered by this particular event. The same analysis can be made for a specific action, like "what can clear the display?" IAR visualSTATE will immediately report all possible state-transitions, which cause that particular action. |
RealLink |
The RealLink feature of visualSTATE allows you to communicate with the target over a standard communication interface, like RS-232, CAN or Ethernet. This way you can monitor and control the run-time behavior of the model directly in the target application.
By using the Graphical Back Animation feature and connecting RealLink to the visualSTATE environment, the behavior of the target can be monitored graphically in the visualSTATE Designer. It is also possible to re-run previously logged scenarios and to execute test vectors from the host computer. |
C-SPY®Link |
C-SPYLink bridges visualSTATE and IAR Embedded Workbench® to make true high-level state machine debigging possible directly in C-SPY, in addition to the normal C level symbolic debugging.
C-SPYLink offers the following main features:
- The complete global state of the state machine system can be monitored live.
- State machine level breakpoints. Breakpoints can also be set on specific events or signals.
- A choice between execution at nearly full speed with periodic updating of the IAR Embedded Workbench IDE windows or at maximum speed without window updates.
- No extra user-written support code for communication, configuration of port protocols, etc., is needed.
|
| |
|
|
Download |
| |
| |
| |
| |
| |
Technology |
| |
| |
| |
| |
| |
In-depth information |
| |
| |
| |
| |
| |
| |
|
|
| Design your Chronos watch from TI with IAR visualSTATE. >> |
|
