Software Construction之Others

正则表达式

• $*$:{0,}
• $+$:{1,}
• $?$:{0,1}

• :或

• ^:取补集
• [bc]等价于[b-c]

  LSP

• 子类型可以增加方法，但不可删
• 子类型需要实现抽象类型中的所有未实现方法
• 子类型中重写的方法必须有相同或子类型的返回值或者符合 co-variance 的参数
• 子类型中重写的方法必须使用同样类型的参数或者符合 contra-variance 的参数
• 子类型中重写的方法不能抛出额外的异常
• 更强的不变量
• 更弱的前置条件
• 更强的后置条件

  软件构造基础

  

  版本控制

  SCM : 软件配置管理
  VCS : 版本控制
  SCI : 软件配置项(软件中发生改变的基本单元，例如:文件)
  CMDB : 配置管理数据库(存储软件的各配置项随时间发生变化的信息)