通过跟踪并模拟可执行的模型,可以对分析和设计模型进行验证。另外,Rational Rhapsody 动画程序通过实际地执行模型并以动画方式呈示各种 UML 设计图,帮助您在设计级别(而不是源代码级别)调试系统。您可以查看状态实例和关系实例的实际值,而不仅限于模拟应用程序以及查看变量和指针的值。
动画程序允许您在应用程序运行时并排显示它的不同视图。您可以在下列任何视图中监测执行中的动画模型:
在模型执行期间,在相邻窗口中同时查看动画时序图、动画状态图、动画活动图和动画浏览器使您能够验证设计行为是否符合预期。动画图中的突出显示内容可以帮助您确定当前执行状态。
在模型运行期间,您可以使用动画工具栏来单步执行程序、设置和清除断点以及注入事件以半实时方式观察系统的反应。您可以在动画视图中观察系统的操作,也可以通过生成输出跟踪来完成此任务。
动画程序是设计级调试器以及模型验证器。换而言之,动画程序在设计级别支持编程语言调试器的标准功能。您关注的对象是设计级对象;即,在 Rational Rhapsody 中建模的对象。
在动画会话中,可以执行下列活动: