第7-2软件可靠性设计.ppt

第7章软件可靠性分析与设计
第2 部分软件可靠性设计与分析
软件可靠性分析与设计工作流程
Myers设计原则
Myers专家提出了在可靠性设计中必须遵循的两个原则:
控制程序的复杂程度
使系统中的各个模块具有最大的独立性
使程序具有合理的层次结构
当模块或单元之间的相互作用无法避免时,务必使其联系尽量简单,以防止在模块和单元之间产生未知的边际效应
是与用户保持紧密联系
软件可靠性设计
软件可靠性设计的实质是在常规的软件设计中,应用各种必须的方法和技术,使程序设计在兼顾用户的各种需求时,全面满足软件的可靠性要求。
软件的可靠性设计应和软件的常规设计紧密地结合,贯穿于常规设计过程的始终。
这里所指的设计是广义的设计,它包括了从需求分析开始,直至实现的全过程。
软件可靠性设计的四种类型
容错
设计
改错
设计
查错
设计
避错
设计
软件可
靠性设计
第7-8节软件避错设计
软件可靠性设计的首要方法
各个阶段都要进行避错
从开发方法、工具等多处着手
避免需求错误
深入研究用户的需求(用户申明的和未申明的)
用户早期介入,如采用原型技术
选择好的开发方法
结构化方法:包括分析、设计、实现
面向对象的方法:包括分析、设计、实现
PONENT BASED)
快速原型法
软件避错设计准则
(1)模块化与模块独立
假设函数C(X)定义了问题X的复杂性,函数E(X)定义了求解问题X需要花费的工作量(按时间计),对于问题P1和问题P2,如果C(P1)> C(P2),则有 E(P1)> E(P2)。
人类求解问题的实践同时又揭示了另一个有趣的性质:(P1+ P2)> C(P1) +C(P2)
由上面三个式子可得:E(P1+ P2)> E (P1) + E (P2)
软件避错设计准则
这个结论导致所谓的“分治法”----将一个复杂问题分割成若干个可管理的小问题后更易于求解,模块化正是以此为据。
模块的独立程序可以由两个定性标准度量,这两个标准分别称为内聚和耦合。耦合衡量不同模块彼此间互相依赖的紧密程度。内聚衡量一个模块内部各个元素彼此结合的紧密程度。
软件避错设计准则
(2)抽象和逐步求精
抽象是抽出事物的本质特性而暂时不考虑它们的细节
举例
抽象Ⅰ该CAD软件系统配有能与绘图员进行可视化通信的图形界面,能用鼠标代替绘图工具画各种直线和曲线;能完成所有几何计算以及所有截面视图和辅助视图的设计。
抽象Ⅱ CAD软件任务;
用户界面子任务;
创建二维图形子任务;
管理图形文件子任务;
END CAD
抽象III………………
软件工程过程的每一步都是对软件解法的抽象层次的一次精化
软件避错设计准则
(3)信息隐蔽和局部化
信息隐藏原理指出:应该这样设计和确定模块,使得一个模块内包含的信息对于不需要这些信息的模块来说,是不能访问的。“只有需要才能知道”
如果绝大多数数据和过程对于软件的其他部分而言是隐蔽的,那么在修改期间由于疏忽而引入的错误就很少可能传播到软件的其它部分
局部化是指把一些关系密切的软件元素物理地放得彼此靠近
局部变量