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