软件可靠性性设计和分析.ppt

软件可靠性分析与设计 软件可靠性分析与设计 软件可靠性管理 软件可靠性参数软件可靠性分 软件可靠性测 软件交付与使 与指标的确定 析与设计 试与验证 用 软件可靠性早 软件可靠性预 期预计 计和估计 软件需求分析阶段软件设计与实现阶段软件测试阶段软件交付与使用 软件可靠性分析与设计的原因 ·软件在使用中发生失效(不可靠)会导致 任务的失败,甚至导致灾难性的后果。因 此,应在软件设计过程中,对可能发生的 失效进行分析,采取必要的措施避免将引 起失效的缺陷引入软件,为失效纠正措施 的制定提供依据,同时为避免类似问题的 发生提供借鉴。 ·这些工作将会大大提高使用中软件的可靠 性,减少由于软件失效带来的各种损失。 Myers设计原则 ers专家提出了在可靠性设计中必须遵循的两个 原则: ·控制程序的复杂程度 使糸统中的各个模抉具有最大的独立性 使程序具有合理的层次结构 当模抉或单元之间的相互作用无法避免肘,务必使其 联糸尽量简单,以防止在模块和单元之间产生未知的 边际效应 是与用户保持紧蜜联糸 软件可靠性设计 软件可靠性设计的实质是在常规的软件设计 中,应用各种必须的方法和技术,使程序设 计在兼顾用户的各种需求肘,全面满足软件 的可靠性要求 软件的可靠性设计应和软件的常规设计紧密 地结合,贯穿于常规设计过程的始终。 这里所指的设计是广义的设计,它包括了从 需求分析开始,直至实现的全过程 软件可靠性设计的四种类 型 避错 设计 容错 查错 设计 设计 改错 设计 软件避错设计 ·避错设计是使软件产品在设计过程中,不发生错误或少发生 错误的一种设计方法。的设计原则是控制和减少程序的复杂 性 体现了以预防为主的思想,软件可靠性设计的首要方 各个阶段都要进行避错 从开发方法、工具等多处着手 避免需求错误 深入研究用户的需求(用户申明的和未申明的) 用户早期介入,如采用原型技术 选择好的开发方法 结构化方法:包括分析、设计、实现 面向对象的方法:包括分析、设计、实现 基于部件的开发方法( COMPONENT BASED 快速原型法 软件避错设计准贝 (1)模块化与模块独立 假蛰Q)定妥剧图X数F)X 简题p1和问题P2,如果c(P1)cP2),则有E(P1 E(P2 亼类求解问题的实践回时又揭示了另一个有趣的性 质:(P1+P2)C(P1)+C(P2) 由上面三个式子可得:E(P1+P)E(P1+E复袭 E(P2 这个绩论导錾所谓的分滄法”=将 解,模化芷是以此另 的小问题后更 榜你维路翁宾性魔是不 模 的紧度 软件避错设计准则 (2)抽象和逐步求精 抽象是抽出事物的本质特性而暂时不考虑它们的细节 举例 抽象I该CAD软件系统配有能与绘图员进行可视化通信的图形界面 能用鼠标代替绘图工具画各种直线和曲线;能完成所有几何计算以及 所有截面视图和辅助视图的设计 抽象ⅡCAD软件任务 用户界面子任务 创建二维图形子任务 管理图形文件子任务 END CAD 抽象Ⅲ 软件工程过程的每一步都是对软件解法的抽象层次的一次精化 软件避错设计准则 (3)信息隐蔽和局部化 信息隐藏原理指岀:应该这样设计和确定模块,使 得一个模块内包含的信息对于不需要这些信息的模 块来说,是不能访问的。“只有需要才能知道” 如果绝大多数数据和过程对于软件的其他部分而言 隐蔽的,那么在修改期间由于疏忽而引入的错误 就很少可能传播到软件的其它部分 局部化是指把一些关系密切的软件元素物理地放得 彼此靠近 ·局部变量