2026-10-17软件设计的取舍:抽象、契约与复杂度 · 正文可测试性:怎样写出能发现问题的检查沿任务保存例子解释测试、断言和测试替身,从行为约定推导检查,用三个故意改错的版本检验检查,再接上真实文件说明验证范围。软件工程·原创·概念与设计·20 分钟阅读
2026-10-17课程 · 导读 + 9 章软件设计的取舍:抽象、契约与复杂度从一层封装的收益与代价开始,讨论接口契约、模块边界、状态、错误和重构,并用可运行的案例检查设计判断。软件工程·原创·概念与设计·约 193 分钟 · 查看目录 →