第八讲_软件可靠性设计精编.ppt

第8讲 软件可靠性设计(20);内容;1. 概述/1;2. 避错设计;设计原理;设计原理;设计原理;设计原理;设计原理;*;;*;;*;*;*;;4、模块独立性(Module independence) 每个模块完成一个相对独立的特定子功能，并且和其他模块之间的接口很简单。 模块的独立程度可以由两个定性标准来衡量，这两个标准分别称为耦合性和内聚性。藕合衡量不同模块彼此间互相依赖（连接）的紧密程度；内聚衡量一个模块内部各个元素彼此间结合的紧密程度。 一般较较优秀的软件设计应尽量做到高内聚、低耦合，即减弱模块间的耦合性和提高模块内的内聚性，有利于提高模块的独立性。;*;;独立性的度量：耦合;独立性的度量：耦合;独立性的度量：耦合;独立性的度量：耦合;*;公共环境耦合 若一组模块都访问同一个公共数据环境，则它们之间的耦合就称为公共耦合。公共的数据环境可以是全局数据结构、共享的通信区、内??的公共覆盖区等。;*;;;独立性的度量：耦合;*;独立性的度量：耦合;*;;;;;;;;;;*;;*;*;启发性规则;*;;;*;启发性规则;3. 查错和改错设计;3.1 被动式错误检测/1;3.1 被动式错误检测/2;3.1 被动式错误检测/3;3.2 主动式错误检测/1;3.2 主动式错误检测/2;3.3 改错设计;4. 容错设计;;4.1 N文本法;4.2 恢复块机制;案例:阿丽亚娜5型火箭软件设计的反思;;;;;;小结