验证和代码生成

测试,调试,记录数据,并生成代码

通过使用状态图的动画模拟期间可视化系统的行为。设置断点并通过图表的行动步骤。通过从任何保存的状态重新启动模拟和分析其各种设置和配置的反应运行多个场景。产生在生产快速原型和部署代码。