读书笔记—敏捷软件开发

标签：des   io   os   for   sp   c   on   cti   r   

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为真。

读书笔记—敏捷软件开发

标签：des   io   os   for   sp   c   on   cti   r   

原文地址：http://www.cnblogs.com/Shaw-Wei-Wei/p/4009678.html