软件构造 第5讲 设计规约Spec
方法的规范可以讨论方法的参数和返回值,但它不应该讨论方法的局部变量或方法类的私有字段。确定的规约:给定一个满足precondition的输入,其输出是唯一的、明确的。非确定的规约:同一个输入, 多次执行时得到的输出可能不同。前置条件:对客户端的约束,在使用方法时必须满足的条件。声明式规约:没有内部实现的描述,只有 “初-终”状态,后置条件:对开发者的约束,方法结束时必须满足的条件。契约:如果前置条件满足了,后置条件必须满足。前置条件不满足,则方法可做任何事情。欠定的规约:同一个输入可以有多个输出。
复制链接