淺析檢察系統(tǒng)軟件可靠性設(shè)計(jì)

1、淺析檢察系統(tǒng)軟件可靠性設(shè)計(jì)淺析檢察系統(tǒng)軟件可靠性設(shè)計(jì)1、軟件可靠性設(shè)計(jì)的根本概念1.1軟件及軟件故障。軟件(也稱程序)本質(zhì)上是一種把一組離散輸入變成一組離散輸出的工具,它由一組編碼語(yǔ)句組成,這些語(yǔ)句的功能根本上是以下功能之一:(1)計(jì)算一個(gè)表達(dá)式并將其結(jié)果存儲(chǔ)在單元里;(2)決定下一步要執(zhí)行哪個(gè)語(yǔ)句;(3)進(jìn)展輸入/輸出控制。1.2軟件可靠性。關(guān)于軟件可靠性的定義是什么。較多的人認(rèn)為軟件的可靠性與概率統(tǒng)計(jì)的可靠性的概念親密相關(guān),軟件的可靠性是軟件在規(guī)定的條件下、規(guī)定的時(shí)間周期內(nèi)執(zhí)行所要求功能的才能。軟件的可靠度是軟件在規(guī)定的條件下、規(guī)定的時(shí)間內(nèi)不引起系統(tǒng)故障的概率,該概率是系統(tǒng)輸入與系統(tǒng)使用的

2、函數(shù)。2、軟件質(zhì)量的可靠性參數(shù)2.1系統(tǒng)平均不工作間隔時(shí)間(TBSD或TBD)。設(shè)d為軟件正常工作總時(shí)間,d為系統(tǒng)由于軟件故障而停頓工作的次數(shù),那么定義TBSD=Tv/(d+1)。式中,TBSDTBSD；Tv軟件正常工作總時(shí)間(h)；d系統(tǒng)由于軟件故障而停頓工作的次數(shù)。TBSD反映了系統(tǒng)的穩(wěn)定性。2.2系統(tǒng)不工作次數(shù)(一定時(shí)期內(nèi))。由于軟件故障而停頓工作,必須由操作者介入再啟動(dòng)才能繼續(xù)工作的次數(shù)。2.3可用度A。設(shè)Tv為軟件正常工作總時(shí)間,TD為由于軟件故障使系統(tǒng)不工作的時(shí)間,那么定義A=TV/(TV+TD)。它反映了系統(tǒng)的穩(wěn)定性,亦可表達(dá)為A=TBD/(TBD+TDT)。式中,TBDTBD(

3、h),TDT平均不工作時(shí)間,以下簡(jiǎn)稱DT(h)。對(duì)一般消費(fèi)用計(jì)算機(jī)系統(tǒng),要求A99.8%；銀行計(jì)算機(jī)系統(tǒng),要求A99.9%。2.4TTR。它反映了出現(xiàn)軟件缺陷后采取對(duì)策的效率。在一定程度上也反映了軟件企業(yè)對(duì)社會(huì)效勞的責(zé)任心。對(duì)于在線系統(tǒng)而言,TT只要求不超過(guò)2天,變差系數(shù)應(yīng)小于1。一般的TTR也應(yīng)小于7天,變差系數(shù)小于1。2.5平均不工作時(shí)間(DT)。即由于軟件故障,系統(tǒng)不工作的均值。對(duì)在線系統(tǒng)而言。DT要求不超過(guò)10in一般的DT30in。2.6初期故障。一般以軟件交付使用后的三個(gè)月內(nèi)為初期故障期。初期故障率的大小取決于軟件設(shè)計(jì)程度、檢查項(xiàng)日數(shù)、軟件規(guī)模、軟件調(diào)試徹底與否等因素。2.7偶然故

4、障率。一般以軟件交付給使用方四個(gè)月后為偶然故障期,偶然故障率以每1000h的故障數(shù)為單位,它反映了軟件處于穩(wěn)定狀態(tài)下的質(zhì)量。一般最少要求偶然故障率不超過(guò)1,即每千小時(shí)不到1個(gè)故障,亦即TBF超過(guò)1000h。2.8用戶提出補(bǔ)充要求數(shù)。這反映軟件未能充分滿足用戶的需要,有時(shí)要求是特定用戶的特定要求,消費(fèi)方為了更好地為社會(huì)效勞,應(yīng)該盡力滿足他們的要求。2.9處理才能。處理才能有各種指標(biāo)。例如可用每小時(shí)平均處理多少文件、每項(xiàng)工作的反響時(shí)間多少秒等來(lái)表示,根據(jù)需要而定。在評(píng)價(jià)軟件及系統(tǒng)的經(jīng)濟(jì)效益時(shí)需用這項(xiàng)指標(biāo)。3、軟件可靠性設(shè)計(jì)方法從軟件可靠性的概念可知,軟件的缺陷可以導(dǎo)致錯(cuò)誤并造成系統(tǒng)的故障,因此,缺

5、陷是一切錯(cuò)誤的根源。軟件的錯(cuò)誤概括地說(shuō)可能由標(biāo)準(zhǔn)(要求/規(guī)格說(shuō)明)、軟件系統(tǒng)設(shè)計(jì)及編碼過(guò)程產(chǎn)生。3.1要求/規(guī)格說(shuō)明。只要在規(guī)格說(shuō)明與用戶要求說(shuō)明之間存在誤差,就會(huì)產(chǎn)生標(biāo)準(zhǔn)錯(cuò)誤。標(biāo)準(zhǔn)它不僅規(guī)定程序的要求,還規(guī)定所用的構(gòu)造、研制及試驗(yàn)中需要的程序試驗(yàn)要求和文件,以及程序語(yǔ)言、輸入和輸出的根本要求。通過(guò)對(duì)這些方面作出適當(dāng)?shù)囊?guī)定,就可以建立使產(chǎn)生錯(cuò)誤的可能性最孝并保證錯(cuò)誤能被發(fā)現(xiàn)和改正的程序生成的構(gòu)造。這種說(shuō)明書是軟件設(shè)計(jì)人員和用戶間互相理解的根底,是軟件設(shè)計(jì)人員進(jìn)展程序設(shè)計(jì)、調(diào)試的根底和評(píng)價(jià)軟件的根據(jù)。要求/規(guī)格說(shuō)明書應(yīng)具有以下性質(zhì):1)可測(cè)性:消費(fèi)出來(lái)的軟件產(chǎn)品應(yīng)能根據(jù)要求/規(guī)格說(shuō)明書的內(nèi)容進(jìn)展

6、測(cè)試。2)完好性:對(duì)軟件要求的描繪要完好無(wú)缺。3)明確性:對(duì)軟件的要求必須是明確的,不存在語(yǔ)義上的支義性。(4)一致性:要求說(shuō)明書中的概念與標(biāo)準(zhǔn)化。(5)彈性:當(dāng)軟件的工作環(huán)境發(fā)生變化時(shí),其功能說(shuō)明也相應(yīng)地?cái)U(kuò)大或壓縮。3.2軟件設(shè)計(jì)。軟件系統(tǒng)是根據(jù)要求/規(guī)格說(shuō)明(標(biāo)準(zhǔn))設(shè)計(jì)的,通過(guò)設(shè)計(jì)將確定程序構(gòu)造、測(cè)試點(diǎn)及限制等。為設(shè)計(jì)出可靠的軟件,需要在考慮諸如機(jī)型、資源、語(yǔ)言、模型及數(shù)據(jù)構(gòu)造等實(shí)際問(wèn)題的根底上,采取一些有效的設(shè)計(jì)方法。3.3軟件編碼。在軟件構(gòu)造設(shè)計(jì)的根底上就可以進(jìn)展編碼,編碼產(chǎn)生的缺陷是軟件錯(cuò)誤的主要來(lái)源。一般的編碼錯(cuò)誤是:鍵入錯(cuò)代碼;數(shù)值錯(cuò)誤(尤其是單位不統(tǒng)一時(shí)易出這類錯(cuò)誤);喪失代碼(如括號(hào));用了被零除這樣不定值的表達(dá)式等。