软件测试 | Hex4C59's Blog

2026-10-17

软件设计的取舍：抽象、契约与复杂度 · 正文

沿任务保存例子解释测试、断言和测试替身，从行为约定推导检查，用三个故意改错的版本检验检查，再接上真实文件说明验证范围。

软件工程·原创·概念与设计·20 分钟阅读

2026-10-17

软件设计的取舍：抽象、契约与复杂度 · 正文

沿异步任务保存程序，把数组实现分步迁移到 Map，用相同约定检查每个阶段，解释重构范围、过渡代码、列表顺序、保存格式和行为变化。

软件工程·原创·概念与设计·20 分钟阅读

2026-10-17

课程 · 导读 + 9 章

从一层封装的收益与代价开始，讨论接口契约、模块边界、状态、错误和重构，并用可运行的案例检查设计判断。

软件工程·原创·概念与设计·约 193 分钟 · 查看目录 →