浅谈计算机软件可靠性设计的认识

时间:2021-03-17 12:31:18 论文范文 我要投稿

浅谈计算机软件可靠性设计的认识

  摘要:随着科学技术的不断进步,软件可靠性成为我们关注的一个问题,软件系统规模越做越大越复杂,其可靠性越来越难保证 针对这一问题,本文仅就软件可靠性工程在软件开发过程中的应用谈谈自己的认识。

  1.软件可靠性设计的基本概念

  1.1软件及软件故障软件(也称程序)本质上是一种把一组离散输入变成一组离散输出的工具,它由一组编码语句组成,这些语句的功能基本上是以下功能之一:(1)计算一个表达式并将其结果存储在单元里;(2)决定下一步要执行哪个语句;(3)进行输入/输出控制。

  1. 2软件可靠性关于软件可靠性的定义是什么。较多的人认为软件的可靠性与“概率统计的可靠性 的概念密切相关,软件的可靠性是软件在规定的条件下、规定的时间周期内执行所要求功能的能力。软件的可靠度是软件在规定的条件下、规定的时间内不引起系统故障的概率,该概率是系统输入与系统使用的函数。

  2.软件质量的可靠性参数

  2.1系统平均不工作间隔时(MTBSD或MTBD设d为软件正常工作总时间,d为系统由于软件故障而停止工作的次数,则定义TBSD=Tv/(d+1)。式中,TBSD—MTBsDITv一软件正常工作总时间(h)·d一系统由于软件故障而停止工作的次数。

  MTBSD反映了系统的稳定性。

  2. 2系统不工作次数(一定时期内)由于软件故障而停止工作,必须由操作者介入再启动才能继续工作的次数。

  2.3可用度A设Tv为软件正常工作总时间,TD为由于软件故障使系统不工作的时间,则定义A=TV/(TV+TD)。它反映了系统的稳定性,亦可表达为A=TBD/(TBD+TDT)。式中,TBD-MTBD(h),TDT一平均不工作时间,以下简称MDT(h)。对一般生产用计算机系统,要求 A≥99.8%;银行计算机系统,要求A>99.9%。

  2.4 M"ITR它反映了出现软件缺陷后采取对策的效率。在一定程度上也反映了软件企业对社会服务的责任心。对于在线系统而言,MTT只要求不超过2天,变差系数应小于l。一般的MTTR也应小于7天,变差系数小于l。

  2.5平均不工作时间(MDT)即由于软件故障,系统不工作的均值。对在线系统而言。MDT要求不超过l0min一般的MDT<3Omin。

  2.6初期故障一般以软件交付使用后的三个月内为初期故障期。初期故障率的大小取决于软件设计水平、检查项13数、软件规模、软件调试彻底与否等因素。

  2.7偶然故障率一般以软件交付给使用方四个月后为偶然故障期,偶然故障率以每l O00h的故障数为单位,它反映了软件处于稳定状态下的质量。一般最少要求偶然故障率不超过l,即每千小时不到1个故障,亦即MTBF超过1000h。

  3.软件可靠性设计方法

  从软件可靠性的概念可知,软件的缺陷可以导致错误并造成系统的故障,因此,缺陷是一切错误的根源。为了提高软件的可靠性,最关键的还是力求减少软件中的缺陷。软件的缺陷来自软件寿命周期的各个阶段,因此应想方设法在寿命周期的各个阶段减少缺陷。缺陷在一定的环境条件下暴露,导致系统运行中出现错误。软件的错误概括地说可能由规范(要求/规格说明)、软件系统设计及编码过程产生。

  3.1要求,规格说明只要在规格说明与用户要求说明之间存在误差,就会产生规范错误。

  规范它不仅规定程序的要求,还规定所用的结构、研制及试验中需要的程序试验要求和文件,以及程序语言、输入和输出的基本要求。通过对这些方面作出适当的规定,就可以建立使产生错误的可能性最小、并保证错误能被发现和改正的程序生成的结构。

  这种说明书是软件设计人员和用户间相互了解的基础,是软件设计人员进行程序设计、调试的基础和评价软件的依据。

  3.2软件设计软件系统是根据要求/规格说明(规范)设计的,通过设计将确定程序结构、测试点及限制等。为设计出可靠的软件,需要在考虑诸如机型、资源、语言、模型及数据结构等实际问题的基础上,采取一些有效的设计方法。

  3.2.1 “自顶向下设计”法。这种设计方法是处理分级问题最有效的设计技术。它是以一个系统功能的最抽象描述开始作为最高层次;从它出发,设计一系列较详细的子系统。由这些子系统来完成员高层次的功能;再以每个子系统为基础,设计出一系列更详细的子系统,等等。如此逐次向下作功能分解,直到最低层次的子系统能够比较方便用计算机程序设计语言来实现为止。自顶向下设计方法的价值在于,它在设计的同时,指出了复杂性不同的'处理层次,而且各种设计要素之间的关系是比较清楚的。通过这样一种结构化构造途径,有可能在早期就洞察出设计问题,从而避免了不必要地先去考虑较低层次的细节问题。

  3.2.2 结构化程序设计。软件结构对软件的可靠性具有重要的意义。结构良好的程序易于编写、检查,便于查错定位、修改和维护。结构化程序设计(也称为模块化程序设计)把程序要求分成若干独立的、更小的程序要求或模块化的功能要求,分别提出各自的要求/规格说明,并注明是如何与程序中的其他部分接口,还必须指出所有的输入与输出,以及测试要求。对每一个更小的程序和模块,可分别编程和测试,使得模块间高度分离。

  3.2.3 容错设计。对软件错误所引起的后果特别严重的情况,如飞机的飞行控制系统、空中交通管制系统、核反应堆安全系统等,需采用容错软件。容错设计的途径有: (1)加强软件的健壮性;使程序设计得能够缓解错误的影响,不致造成诸如死锁或崩溃这样的严重后果,井能指出错误源。(2)采用N(>2)版本编程法:即尽可能用不同的算法与编程语言,经不同的班组编制,以提高各软件版本的独立性。这N个软件版本同时在N台计算机上运行,各计算机间能进行高效通信,并作出快速比较,当结果不一致时,按多数表决或预定的策略选择输出。(3)恢复块法:给需要作容错处理的块(基本块)提供备份块,并附加错误检测和恢复措施。

  3.3软件编码在软件结构设计的基础上就可以进行编码,编码产生的缺陷是软件错误的主要来源。一般的编码错误是:键入错代码;数值错误,丢失代码;用了被零除这样不定值的表达式等。为了减少编码错误,实现设计与生产分离,首先由高水平的软件工程师完成结构设计,再由程序设计员完成程序的编制是合理的、必要的,并在编码过程中尽早地查出缺陷予以改正。