HIT软件构造课程复习——第三章ADT&OOP第二节设计规格说明

主要内容： 1.规格说明，前置/后置条件 2.行为等价性 3.规约的强度 一、规格说明，前置/后置条件 1.documentation 包括类层次结构和已实现接口的列表，直接子类，类的描述，构造器摘要，方法摘要列（出了我们可以调用的所有方法），每种方法和构造函数的详细描述。 记录假设： 向下写入变量的类型会记录一个关于它的假设：例如，这个变量总是引用一个整数。-ava实际上在编译时检查这个假设，并

>>阅读原文<<