单项选择题 在考察系统的一些涉及时序和改变的状况时，要用动态模型来表示。动态模型着重于系统的控制逻辑，它包括两个图：一个是事件追踪图，另一个是（）。

单项选择题 结构化设计是一种面向（）的设计方法。

单项选择题 与确认测试阶段有关的文档是（）。