SCM 软件配置管理
SCI 软件配置管理项
CMDB 配置管理数据库:存储软件的各配置项随时间变化的信息+基线
valueof函数是creator
不变量invariant和表示不变性 rep invariant
不变量指的是ADT中在任何时候都为真,一旦创建就不会改变的量,如id。
表示不变性是指表示域中合法的表示。
AF是从表示域到抽象域的映射
选择某种特定的表示方式R,进而指定某个子集是“合法”的(RI),并为该子集中的每个值做出“解释”(AF)——即如何映射到抽象空间中的值。
hashcode
在程序执行期间,只要equals方法的比较操作用到的信息没有被修改,那么对这同一个对象调用多次,hashCode方法必须始终如一地返回同一个整数。
如果两个对象根据equals方法比较是相等的,那么调用两个对象的hashCode方法必须返回相同的整数结果。
如果两个对象根据equals方法比较是不等的,则hashCode方法不一定得返回不同的整数
SCI 软件配置管理项
CMDB 配置管理数据库:存储软件的各配置项随时间变化的信息+基线
valueof函数是creator
不变量invariant和表示不变性 rep invariant
不变量指的是ADT中在任何时候都为真,一旦创建就不会改变的量,如id。
表示不变性是指表示域中合法的表示。
AF是从表示域到抽象域的映射
选择某种特定的表示方式R,进而指定某个子集是“合法”的(RI),并为该子集中的每个值做出“解释”(AF)——即如何映射到抽象空间中的值。
hashcode
在程序执行期间,只要equals方法的比较操作用到的信息没有被修改,那么对这同一个对象调用多次,hashCode方法必须始终如一地返回同一个整数。
如果两个对象根据equals方法比较是相等的,那么调用两个对象的hashCode方法必须返回相同的整数结果。
如果两个对象根据equals方法比较是不等的,则hashCode方法不一定得返回不同的整数
set中的mutable对象一旦改变,使用hashcode查找会找不到该对象,产生错误。
观察等价性,行为等价性区别在于是否调用了mutator方法。