4、软件设计与验证全解析

软件设计与验证全解析

1. CRC 卡设计流程

在软件开发中，CRC（类 - 职责 - 协作）卡是一种有效的设计工具。首先，我们需要对问题中的对象进行头脑风暴，并将其抽象为类。之后，过滤类列表以消除重复项。对于每个类，创建一个 CRC 卡，并列出它应支持的明显职责。

接下来，我们要进行场景演练。先从常见场景开始，记录发现的职责和协作。随后，逐步转向特殊和异常情况。当所有能设想的场景都可以通过现有的类、职责和协作来实现时，设计就完成了。

在这个过程中，如果某些场景出现但未添加到任何卡片上，我们需要进一步头脑风暴，看是否能想出未覆盖的新场景。以下是 CRC 卡设计流程的 mermaid 流程图：

graph LR
    A[头脑风暴对象并抽象为类] --> B[过滤类列表消除重复项]
    B --> C[为每个类创建 CRC 卡并列出职责]
    C --> D[进行常见场景演练]
    D --> E[记录职责和协作]
    E --> F{是否有新场景未覆盖}
    F -- 是 --> G[头脑风暴新场景]
    G --> D
    F -- 否 --> H[转向特殊和异常场景演练]
    H --> I{所有场景是否覆盖}
    I -- 是 --> J[设计完成]
    I -- 否 --> D

2. 增强 CRC 卡信息

CRC 卡设计是一种非正式的设计方法，有很多方式可以对其进行增强。例如，当一个职责有明显的步骤时，我们可以在其名称下方