软件脆弱性
系统可靠性分析于设计
可用性= 可用时间 / 总时间
串并联模型
串联可靠性(任意是一个失效的概率) = r1 可靠性 * r2 可靠性 * rn 可靠性
并联可靠性（同时失效的概率）= 1 - 串联可靠性
可靠性设计
- N 版本冗余方案 (多个版本计算，交给表决器，表决出一个结果)，并联
- 恢复块方法（主块运行，验证不合格，交给后备块，直到最后一个后备块，直到通过验证通过，通过后执行，不合格异常），串联
- 防卫式程序设计（发现错误后，能撤销错误状态，恢复到一个已知的正确状态中去）
- 双机容错（一台出错，另外一台可用）
- 双机热备（主系统出错后，备用系统才启用）
- 双机互备（同时提供不同的服务，心跳出错，另外一台接管）
- 双机双工（集群）
待复习
软件能力成熟度
设计模式
工作流参考模型
测试
UML
需求工程
ATAM
质量属性场景
ABSD
效用树
DSSA
关系代数