第三章 设计准则.pptVIP

第三章 设计准则 I: 正确性和健壮性 Design Principles ICorrectness and Robustness 3.1 正确性和充分性 目标: 每个项目都要满足指定的需求， 然后一 起满足所有应用程序的需求。 Goal: That each artifact satisfies designated requirements, and that together they satisfy all of the application’s requirements. 3.1.1 实现正确的途径 3.1.1.1 达到正确性的非正式方法 在确定最终结果之前， 应该进行简单和模块化设计。 3.1.1.2 达到正确性的正式方法 包含了用数学逻辑的方法来分析变量变化的方向。 3.1.2 模块接口 3.1.2.1 类的接口 Java 部分实现代码: interface Dimensions{ public double getWidth(); public double getLength(); public double getWeight(); } …… class Shipment implements Dimensions, TransportationMeans, GoodsType{ public double getWidth(){ ……} …… } 3.1.2.2 包的接口 3.1.3 模块化 3.1.3.1 选择类 3.1.4 为正确性和充分性而重整 极限编程(extreme programming, XP)是首先为给定的需求进行设计， 然后在额外的需求变得透明时对设计和实现进行修改，这个过程称为重整(refactoring)。 3.2 健壮性 如果设计或实现能处理各种各样的异常情况，比如数据错误、用户错误、环境条件，那么这个设计是健壮的。 3.2.1 检查输入 (保证环境健壮性) 例如: 类型检查 检查与前置条件和不变式不符的输入 设计准则II: 灵活性、可用性和高效性 Design Principles II: Flexibility、Reusability and Efficiency 循环 while、for 远程调用 需要网络 LAN The Internet 函数调用 -- 如果函数调用导致以上情况发生 对象创建 * * 软件设计的目标： 正确性、健壮性、灵活性、可重用性和高效性 正确性、充分性 灵活性、可重用性 纯粹的极限程序设计 XP(extreme programming) 适应未来许多需求变化的设计 一个设计足以实现需求 设计必须完全可理解 设计非常模块化 一个正确设计 有时称为… 最小目标 接下来…… 达到这个目标的常用 方法是…… 类不变式 例 : Invariants for Class Automobile mileage = 0 mileage 1000000 vehicleID 至少为8个字符 value = -300 (300美元是一辆报废车的处理价格) originalPrice = 0 (type == “REGULAR” value = originalPrice) || (type == “VINTAGE” value = originalPrice) Automobile类的方法要考虑这些不变式，这正是我们经常将变量设为私有的原因。 Shipment 原始形式 Shipment setVehicle() perishable() getWidth() printRoute() describeType() getLength() getDuration() setType() getWeight() Dimensions getWidth() getLength() getWeight() TransportationMeans getDuration setVehicle() printRoute() GoodsType describeType() setType() perishable() Shipment Dimensions TransportationMeans GoodsType 通过接口使Shipment类的结构变清晰: 两种表示方法 purchase