visualSTATE 5.4 part 9 (9-11)

visualSTATE 提供先进的验证和测试工具，能够生成非常紧凑的C/C++ 代码，并与您的系统设计保持100% 一致。 自动从状态机模型生成C/C++ 代码 自动产生全部文档 直观的, 容易的使用图形化编辑器 丰富的验证和模拟工具， 包括使用RealLink进行器件上调试能力 满足UML状态机标准