請輸入產(chǎn)品關(guān)鍵字:
郵編:523588
聯(lián)系人:李小姐
電話:0769-82863486
傳真:0769-82863487
手機:18926849868
售后電話:18122910823
留言:發(fā)送留言
個性化:www.china-seth.com
網(wǎng)址:www.china-seth.com
商鋪:http://sorrent.com.cn/st286895/
試論軟件的可靠性及其保證(二)
點擊次數(shù):1694 發(fā)布時間:2015-1-29
軟件質(zhì)量從構(gòu)成因素上可分為產(chǎn)品質(zhì)量和過程質(zhì)量。
產(chǎn)品質(zhì)量是軟件成品的質(zhì)量,,包括各類文檔、編碼的可讀性、可靠性,、正確性,用戶需求的滿足程度等,。
過程質(zhì)量是開發(fā)過程環(huán)境的質(zhì)量,,與所采用的技術(shù)、開發(fā)人員的素質(zhì),、開發(fā)的組織交流,、開發(fā)設(shè)備的利用率等因素有關(guān)。
還可把質(zhì)量分為動態(tài)質(zhì)量和靜態(tài)質(zhì)量,。紫外線老化試驗箱靜態(tài)質(zhì)量是通過審查各開發(fā)過程的成果來確認(rèn)的質(zhì)量,,包括模塊化程度、簡易程度,、完整程度等內(nèi)容,。動態(tài)質(zhì)量是考察運行狀況來確認(rèn)的質(zhì)量,包括平均故障間隔時間(MTBF),、軟件故障修復(fù)時間(MTRF),、可用資源的利用率。在許多實際工程中,,人們一般比較重視動態(tài)質(zhì)量而忽視靜態(tài)質(zhì)量,。
所定的質(zhì)量標(biāo)準(zhǔn)度量,至少應(yīng)達到以下兩個目的:
(1).明確劃分各開發(fā)過程(需求分析過程,,設(shè)計過程,,測試過程,驗收過程),,通過質(zhì)量檢驗的反饋作用確保差錯及早排除并保證一定的質(zhì)量,。
(2).在各開發(fā)過程中實施進度管理,產(chǎn)生階段質(zhì)量評價報告,,對不合要求的產(chǎn)品及早采取對策,。
確定劃分的各開發(fā)過程的質(zhì)量度量:
(1).需求分析質(zhì)量度量
需求分析定義是否完整、準(zhǔn)確(有無二義性),,和用戶間有沒有理解不同的情況,,文檔完成情況等,要有明確的可靠性需求目標(biāo),、分析設(shè)計及可靠性管理措施等,。
(2).設(shè)計結(jié)果質(zhì)量度量
設(shè)計工時,程序容量和可讀性、可理解性,,測試情況數(shù),,評價結(jié)果,文檔完成情況等,。
(3).測試結(jié)果質(zhì)量度量
測試工時,,差錯狀況,差錯數(shù)量,,差錯檢出率及殘存差錯數(shù),,紫外線老化試驗箱差錯影響評價,文檔等,,以及有關(guān)非法輸入的處理度量,。
(4).驗收結(jié)果質(zhì)量度量
完成的功能數(shù)量,各項性能指標(biāo),,可靠性等,。
zui后選擇一種可靠度增長曲線預(yù)測模型,如時間測量,、個體測量,、可用性,在后期開發(fā)過程中,,用來計算可靠度增長曲線的差錯收斂度,。
在建立質(zhì)量標(biāo)準(zhǔn)之后,設(shè)計質(zhì)量報告及評價表,,在整個開發(fā)過程中就要嚴(yán)格實施并及時作出質(zhì)量評價,,填寫報告表。
2. 選擇開發(fā)方法
軟件開發(fā)方法對軟件的可靠性也有重要影響,。
目前的軟件開發(fā)方法主要有Parnas方法,、Yourdon方法、面向數(shù)據(jù)結(jié)構(gòu)的Jackson方法和Warnier方法,、PSL/PSA方法,、原型化方法、面向?qū)ο蠓椒?、可視化方法,、ICASE方法、瑞理開發(fā)方法等,,其他還有BSP方法,、CSF方法等。這里特別要提一下的是Parnas方法,。
Parnas方法是zui早的軟件開發(fā)方法,,是Parnas 在1972年提出來的,,基本思想是在概要設(shè)計時預(yù)先估計未來可能發(fā)生變化,提出了信息隱藏的原則以提高軟件的可靠性和可維護性,。
在設(shè)計中要求先列出將來可能要變化的因素,,在劃分模塊時將一些可能發(fā)生變化的因素隱含在某個模塊的內(nèi)部,使其他模塊與此無關(guān),,這樣就提高了軟件的可維護性,,紫外線老化試驗箱避免了錯誤的蔓延,也就提高了軟件的可靠性,。還提出了提高可靠性的措施:
(1)考慮到硬件有可能出故障,,接近硬件的模塊要對硬件行為進行檢查,,及時發(fā)現(xiàn)錯誤,。
(2)考慮到操作人員有可能失誤,輸入模塊對輸入數(shù)據(jù)進行合法性檢查,,是否合法,、越權(quán),及時糾錯,。
(3)考慮到軟件本身有可能失誤,,紫外線老化試驗箱加強模塊間檢查,防止錯誤蔓延,。
對瑞理方法可能許多人還不熟悉,,這里簡要介紹一下。
瑞理(Rational)模式是美國瑞理軟件工程公司發(fā)展出來的,,其模式是:
面向?qū)ο螅?br> 螺旋式上升,;
管理與控制;
高度自動化,;
以管理觀點和技術(shù)觀點把軟件生命周期劃分為起始,、規(guī)劃、建構(gòu),、轉(zhuǎn)移,、進化五個階段,也可把這五個階段歸并為研究時期(起始和規(guī)劃)和生產(chǎn)時期(建構(gòu)和轉(zhuǎn)移),,zui后是維護時期(進化),,特別適合對高風(fēng)險部分及變動需求的處理。