m0_73489481的博客

设计规约 规约确定性 规约陈述性（只描述输出） 规约的强度 用于判断哪个规约更好 比较两个规约，是否能被替换 S1 >= S2： S1前置条件不强于后者 S1后置条件不弱于后者 即更少的更少的要求，更多的承诺（比较的同一个事） 规约强度有传递性 看后置条件强弱时要满足前置条件 S1前置后置都小于S2，此时称作不可判断 更强的规约表达为更小的区域。 规约要求 spec描述的功能应单一、简单、易理解 一个规约做了两件事，那就要分成两个方法实现 spec信息需要是丰富的，不能产生歧义 太弱的

可变性对于性能和方便性很有用，但它也会导致使用对象的代码在全局级别上表现良好的风险，这使得我们对其正确性所做的推理和测试复杂化了，关键的设计原则是不变性：尽可能多地使用不可变对象和不可变引用。学会了通过快照图可以迅速知道可变性、不可变性对象和引用之间的关系和区别。

这一章主要学习了软件构造的生命周期和过程以及软件配置管理工具git，学会了使用git管理代码版本，简化了回退和多人项目合并代码的复杂度，让开发效率大大增加。

能发现错误不冗余（不会重复去测试一些已经测试过的数据或者同类的数据）重点关注软件的最佳特性别太复杂也别太简单学习内容：测试优先编程。在编写代码之前，请先编写测试。为系统地选择测试用例的划分和边界。白盒测试和声明覆盖范围，以填写一个测试套件。单元-尽可能地测试每个模块，进行隔离。自动回归测试，以防止bug返回。防止错误。测试是在代码中查找bug，测试优先编程是在引入它们之后尽早找到它们。

这一章学习了软件构造的相关概念，了解了多维度视角的软件构造以及软件构造的关键目标，为之后的学习建立基础框架，提醒我们编写代码时注意这些关键的要素。