2026 OO课程总结：从代码实现到正向建模的架构演进

钱菀淇-ZC061015 2026-06-20 14:06:50

随着第四单元的结束，2026 年的面向对象设计与构造（OO）课程正式落下帷幕。本单元通过实现一个包含信用分、借阅期限及续订功能的图书馆管理系统，不仅考验了我们的编码能力，更是一次对“正向建模与开发”思想的深度实践。以下是我对第四单元以及整个学期 OO 课程的总结与反思。

一、正向建模与开发实践：两阶类图的核心作用

在本单元的图书馆系统中，开发模式从以往的“边想边写”彻底转变为“先建模型，后写代码”的正向开发。

在正向建模过程中，两阶类图（概念类图与设计类图）发挥了至关重要的作用：

第一阶：概念类图（Domain Model）。在动手写代码前，首先通过概念类图梳理业务领域中的核心实体及其关系。例如，明确 User（用户）、Book（图书）、Library（图书馆）和 CreditSystem（信用系统）之间的交互脉络。这一阶段忽略具体的方法和属性，重点在于理清业务边界和逻辑关系。
第二阶：设计类图（Design Model）。在概念类图的基础上，进一步细化类的属性、方法、可见性以及具体的数据结构。到了这一步，类图已经成为了可以直接指导编码的“施工图纸”。

两阶类图的作用在于分步降维：将极度复杂的业务逻辑拆解为“认清事物”和“设计实现”两步，极大地降低了开发初期的认知负载，也避免了后期因架构缺陷导致的大规模重构。

二、第四单元架构设计与UML追踪关系

在最终的架构设计中，我采用了典型的分层与模块化设计：

核心控制层：Library 类作为核心单例，负责接收外部请求并进行分发。
业务处理模块：包括图书借还模块、续订逻辑验证模块以及独立出来的信用分计算模块（解耦了复杂的信用增减逻辑）。
状态机模型：对于核心实体 Book，利用状态机模式管理其在“在架”、“被借出”、“预约中”等状态间的流转。

代码设计与 UML 模型的追踪关系分析： 在开发过程中，我深刻体会到了 UML 建模与最终代码之间的严密映射。代码中的每一个类、字段、方法签名，甚至方法的可见性（如 private, protected），都与设计类图保持高度一致。在进行 UML 与代码一致性检查时，顺序图（Sequence Diagram）上的消息传递，精准对应了代码中对象间的方法调用链。一旦出现编译错误或 CheckStyle 规范问题，往往意味着代码实现偏离了最初的 UML 架构，这种追踪关系强制我们在整个开发生命周期中保持架构的一致性与严谨性。

三、如何引导大模型在复杂场景中辅助架构设计

在第四单元中，我大量尝试了使用大模型来辅助正向建模和架构探索，这也极大提升了开发效率。总结下来，在复杂场景中引导大模型完成架构设计需要遵循以下几个策略：

提供清晰的业务上下文与约束：大模型需要明确的边界。在提问时，不仅要给出规格说明，还要明确强调面向对象的设计原则（如单一职责、开闭原则）以及评测的具体约束条件。
渐进式引导（从骨架到细节）：不要指望大模型一次性输出完美的完整代码。正确的引导方式是：先让大模型进行业务逻辑分析，输出核心概念类图；确认无误后，再让其细化特定模块（如信用分计算规则）的 UML 或代码骨架。
将大模型作为“校验器”而非“全自动打字机”：在定位 UML 一致性检查的 Bug 或排查设计漏洞时，将自己的代码结构图与大模型的重构建议进行对比，找出逻辑断层。大模型的输出必须经过严格的二次校验，确保严密契合具体业务逻辑。

四、四个单元中架构设计思维的演进

回望四个单元，我的架构设计思维经历了显著的跨越：

第一单元（基础面向对象）：思维仍带有较强的面向过程痕迹，对象往往只是数据的载体，架构比较单薄。
第二单元（并发与多线程）：在实现电梯调度的 ALS 和 LOOK 策略时，我开始真正理解架构决定了系统的安全性。如何合理设计共享对象、如何加锁、如何避免死锁，让我从单线程思维跃迁到了并发交互架构。
第三单元（契约式编程）：基于规格的设计让我认识到了接口和契约的威力。架构设计的重心变成了满足规格说明，保证模块之间的调用严格符合前置和后置条件。
第四单元（正向建模与模型驱动）：思维达到了模型驱动的层面。不再急于编写代码，而是先用全局视角绘制 UML，用设计图来推演系统流转，最终代码只是水到渠成的产物。

五、四个单元中测试思维的演进

与架构演进同步的，是测试思维的成熟：

初期：依赖最原始的 print 打印进行黑盒调试，遇到 Bug 就全盘翻找，效率低下且容易遗漏边界情况。
中期（多线程阶段）：由于并发 Bug 的不可复现性，倒逼我引入了系统化的日志分析和状态监控思维，开始针对核心调度策略设计专门的高并发测试用例。
后期（规格与建模阶段）：测试思维转向了形式化验证和白盒测试。结合大模型生成的覆盖性测试用例，从单纯的“找 Bug”转变为“验证实现是否偏离了 UML 模型和契约规格”。测试不再是开发后的补救，而是伴随建模的验证环节。