软件可靠性度量和测试PPT课件.pptVIP

* 冗余软件的设计原则 相异性是指对实现同一功能的多版本产品，在制作时为防止出现共因故障而有意识地使之产生某种差异的性质； 冗余版本之间相互屏蔽故障不能完全依靠背靠背编程（随机相异）； 应有意识地实行相异化编程（强制相异）： 相互独立的不同人员 不同的算法 不同的编程语言 不同的编译程序 不同的设计工具、测试方法 …… * 恢复块机制 某一恢复块结构的句法: ensureacceptance testby P0 else-by P1 else fail 软件系统带有3个部分，两个程序P0 (主要的) 和P1 (可选的), 和接受性测试（acceptance test）. 系统的设计就是按照句法所指的控制结构. 执行P0，如果满足接受性测试，正常返回，如果不符合测试条件，或者超过了规定时间，发出调用替补过程P1的指令，如果再次失败或再次超时，则出错 只要一台计算机 * 恢复块法 M1 A1 A2 M2 A3 M3 MN AN 接收测试失效 基本块 替换块 接收测试N 告警 输入 接收测试1 “正确”输出 成功 “正确”输出 * 恢复块法 恢复块法适合只有一台计算机的情况； 允许只对较为复杂、容易出故障的程序段进行冗余； 基本块与替换块的设计应尽可能相异； 接收测试的作用非常重要，应能检测程序执行结果与预期结果的偏离，或检测和防止能触发安全事故的输出： 需求检查法 帐目检