上海理工大学计算机与电气工程学院 第 第 8 8 讲 讲 软件可靠性设计 软件可靠性设计 (20) (20)上海理工大学计算机与电气工程学院 内容 内容 w 软件可靠性设计概述 w 避错设计 w 查错和改错设计 w 容错设计上海理工大学计算机与电气工程学院 1. 1. 概述 概述 /1 /1 w 实质:在常规的软件设计中,应用必须的方法和 技术,使程序设计在兼顾用户的各种需求时,全 面满足软件的可靠性要求 w 可靠性设计的四种类型: n 避错设计 n 查错设计 n 改错设计 n 容错设计上海理工大学计算机与电气工程学院 2. 2. 避错设计 避错设计 w 使软件产品在设计过程中,不发送错误或少发生 错误的一种设计方法 w 各种软件工程方法有助于避错 w 可靠性设计的Myers设计原则 n 控制程序的复杂度 w 使系统中的各个模块具有最大的独立性 w 使程序具有合理的层次结构 w 当模块或单元之间的相互作用无法避免时,务必使其联系尽 量简单,以防止在模块和单元之间产生未知的边际效应,使 设计人员陷入泥潭,无力自拔 n 与用户保持紧密联系上海理工大学计算机与电气工程学院 设计原理 设计原理