浅析检察系统软件可靠性设计

1、浅析检察系统软件可靠性设计浅析检察系统软件可靠性设计1、软件可靠性设计的根本概念1.1软件及软件故障。软件(也称程序)本质上是一种把一组离散输入变成一组离散输出的工具,它由一组编码语句组成,这些语句的功能根本上是以下功能之一:(1)计算一个表达式并将其结果存储在单元里;(2)决定下一步要执行哪个语句;(3)进展输入/输出控制。1.2软件可靠性。关于软件可靠性的定义是什么。较多的人认为软件的可靠性与概率统计的可靠性的概念亲密相关,软件的可靠性是软件在规定的条件下、规定的时间周期内执行所要求功能的才能。软件的可靠度是软件在规定的条件下、规定的时间内不引起系统故障的概率,该概率是系统输入与系统使用的

2、函数。2、软件质量的可靠性参数2.1系统平均不工作间隔时间(TBSD或TBD)。设d为软件正常工作总时间,d为系统由于软件故障而停顿工作的次数,那么定义TBSD=Tv/(d+1)。式中,TBSDTBSD；Tv软件正常工作总时间(h)；d系统由于软件故障而停顿工作的次数。TBSD反映了系统的稳定性。2.2系统不工作次数(一定时期内)。由于软件故障而停顿工作,必须由操作者介入再启动才能继续工作的次数。2.3可用度A。设Tv为软件正常工作总时间,TD为由于软件故障使系统不工作的时间,那么定义A=TV/(TV+TD)。它反映了系统的稳定性,亦可表达为A=TBD/(TBD+TDT)。式中,TBDTBD(

3、h),TDT平均不工作时间,以下简称DT(h)。对一般消费用计算机系统,要求A99.8%；银行计算机系统,要求A99.9%。2.4TTR。它反映了出现软件缺陷后采取对策的效率。在一定程度上也反映了软件企业对社会效劳的责任心。对于在线系统而言,TT只要求不超过2天,变差系数应小于1。一般的TTR也应小于7天,变差系数小于1。2.5平均不工作时间(DT)。即由于软件故障,系统不工作的均值。对在线系统而言。DT要求不超过10in一般的DT30in。2.6初期故障。一般以软件交付使用后的三个月内为初期故障期。初期故障率的大小取决于软件设计程度、检查项日数、软件规模、软件调试彻底与否等因素。2.7偶然故

4、障率。一般以软件交付给使用方四个月后为偶然故障期,偶然故障率以每1000h的故障数为单位,它反映了软件处于稳定状态下的质量。一般最少要求偶然故障率不超过1,即每千小时不到1个故障,亦即TBF超过1000h。2.8用户提出补充要求数。这反映软件未能充分满足用户的需要,有时要求是特定用户的特定要求,消费方为了更好地为社会效劳,应该尽力满足他们的要求。2.9处理才能。处理才能有各种指标。例如可用每小时平均处理多少文件、每项工作的反响时间多少秒等来表示,根据需要而定。在评价软件及系统的经济效益时需用这项指标。3、软件可靠性设计方法从软件可靠性的概念可知,软件的缺陷可以导致错误并造成系统的故障,因此,缺

5、陷是一切错误的根源。软件的错误概括地说可能由标准(要求/规格说明)、软件系统设计及编码过程产生。3.1要求/规格说明。只要在规格说明与用户要求说明之间存在误差,就会产生标准错误。标准它不仅规定程序的要求,还规定所用的构造、研制及试验中需要的程序试验要求和文件,以及程序语言、输入和输出的根本要求。通过对这些方面作出适当的规定,就可以建立使产生错误的可能性最孝并保证错误能被发现和改正的程序生成的构造。这种说明书是软件设计人员和用户间互相理解的根底,是软件设计人员进展程序设计、调试的根底和评价软件的根据。要求/规格说明书应具有以下性质:1)可测性:消费出来的软件产品应能根据要求/规格说明书的内容进展

6、测试。2)完好性:对软件要求的描绘要完好无缺。3)明确性:对软件的要求必须是明确的,不存在语义上的支义性。(4)一致性:要求说明书中的概念与标准化。(5)弹性:当软件的工作环境发生变化时,其功能说明也相应地扩大或压缩。3.2软件设计。软件系统是根据要求/规格说明(标准)设计的,通过设计将确定程序构造、测试点及限制等。为设计出可靠的软件,需要在考虑诸如机型、资源、语言、模型及数据构造等实际问题的根底上,采取一些有效的设计方法。3.3软件编码。在软件构造设计的根底上就可以进展编码,编码产生的缺陷是软件错误的主要来源。一般的编码错误是:键入错代码;数值错误(尤其是单位不统一时易出这类错误);丧失代码(如括号);用了被零除这样不定值的表达式等。