是最早的软件可靠性模型之一.pptxVIP

第三单元软件可靠性;软件可靠性问题的提出;由于软件故障造成的重大事故不乏其例;由于软件故障造成的重大事故不乏其例;软件可靠性的发展;调用路径太多;（1）故障机理 硬件产生故障的原因有四个方面：即设计问题、生产过程中的问题、超载及耗损。硬件故障主要是由于耗损（物理退化）所致的，而软件不存在物理退化现象。这就决定了软件正确性与软件可靠性密切相关，一个正确的软件任何时刻均可靠；然而一个正确的硬件元器件或系统则可能在某个时刻故障。软件没有耗损问题并不等于没有可靠性问题，因在开发过程中常有一些随机因素，不可避免地会在软件中留下缺陷，因而软件也有可靠性问题。所以硬件的故障机理是耗损，而软件的故障机理就是残留缺陷在一定环境下造成的软件错误。;（2）复杂性; 软件可靠性的核心是“思考”问题，软件中不可能象硬件那样分解成元部件，它只有语句。语言本身造成的软件故障较少，且通过静态测试(目测或编译)可加修正。软件错误来源主要是软件设计者的思维错误及软件的复杂性，这是难以控制的。故软件可靠性的提高需从人的思维正确性和减少软件的复杂性两方面着手。这正如我们用汉语写文章，观点有错误不能归咎于语言本身不好，而应归咎于人的思想。 ; 由于软件内部逻辑复杂，运行环境动态变化，且不同的软件差异可能很大，因而软件故障机理可能有不同的表现形式。譬如有的故障过程比较简单，易于追