7.3.1 设计约束的建立