32、行为模型的验证与确认

行为模型的验证与确认

在系统开发中，行为模型的构建对于理解系统内部的动态交互至关重要。行为模型可以通过多种方式来表示，包括序列图、通信图、行为状态机以及 CRUDE 矩阵。下面我们将详细探讨如何对这些行为模型进行验证和确认，以确保它们的内部一致性。

行为模型的表示方式

• 序列图和通信图 ：用于模拟类实例之间的交互，这些交互共同支持系统中的业务流程。
• 行为状态机 ：描述对象在其生命周期内经历的状态变化。
• CRUDE 矩阵 ：提供系统中对象之间交互的系统级概述。

验证和确认的方法

我们将走查（walkthroughs）与 CRUDE 矩阵结合起来，以更全面地验证和确认行为模型。下面是一些确保行为模型内部一致性的规则：

1. 元素一致性 ：序列图中的每个参与者和对象必须在通信图中作为参与者和对象出现，反之亦然。例如，在某些图中，接待员参与者和患者对象同时出现在序列图和通信图中。
2. 消息与关联一致性 ：如果序列图中有消息，通信图中必须有相应的关联，反之亦然。比如，从接待员参与者向患者对象发送的消息，在通信图中有匹配的关联。
3. 消息一致性 ：序列图中的每条消息必须在通信图的关联中作为消息出现，反之亦然。例如，接待员向患者对象发送的 LookUpPatient() 消息，