OCP：open-closed principle 不可修改 可扩展

LSP: liskov substitute principle For a function,a subtype must be able to substitute its base type

一个模型，如果孤立地看，并不具有真正意义上的有效性。

OOD中Is_a关系是就行为方式的，行为方式是可以合理假设的，是客户程序所依赖的。

DBC design by contract 通过contract来获悉可以依赖的行为方式。contract是通过为每个方法声明的preconditions和postconditions来指定的，要使一个方法得以执行，preconditions必须要为真，执行完毕后，该方法要保证postconditions为真。

读书笔记—敏捷软件开发