SRP：单一职责原则
OCP：开放封闭原则
LSP：里氏替换原则
DBC: Design by Contract（契约式设计）
Pre-condition:
每个方法调用之前，该方法应该校验传入参数的正确性，只有正确才能执行该方法，否则认为调用方违反契约，不予执行。这称为前置条件(Pre-condition)。
Post-Condition:
一旦通过前置条件的校验，方法必须执行，并且必须确保执行结果符合契约，这称之为后置条件(Post-condition)。
Invariant:
对象本身有一套对自身状态进行校验的检查条件，以确保该对象的本质不发生改变，这称之为不变式(Invariant)。 DIP：依赖倒置原则
ISP：借口隔离原则
OOP：面向对象编程（Object Oriented Programming )
OOD：面向对象设计（Object-Oriented Design)
OOA：面向对象分析方法(Object-Oriented Analysis)
OOT：面向对象的测试（Object-Oriented Test）
