軟件可靠性工程述評(3)

　　5.軟件工程化與軟件可靠性?

　　在近可能短的開發周期內向用戶提供高可靠軟件是軟件工程師的艱巨任務。提供有效的軟件可靠性評測方法，要求軟件的開發從“自編、自導、自演”的初級模式向工程化方向轉化。

　　軟件工程是一項新興的系統工程，軟件的工程化提出了一些軟件開發的基本原則和要求。其中，為保證大型軟件的可靠性，必須遵循的原則包括：?

　　1)軟件的設計(design)、編碼(coding)、測試(testing)由不同的人員完成，獨立的驗證/確認(IV&V)、象硬件那樣設計、生產、檢驗分開;?

　　2)軟件開發和使用過程具有可追溯性，象硬件有設計圖紙、生產記錄、檢驗結果那樣有各種文檔;?

　　3)像硬件那樣盡可能使用標準件(標準子程序/模塊)和成熟技術(經過驗證的開發過程和算法)。?

　　軟件工程、軟件可靠性工程研究與應用的共性技術包括：?

　　1)軟件故障樹分析(S-FTA)?

　　2)軟件故障模式和影響分析(S-FMEA)?

　　3)危險性分析?

　　4)軟件潛在通路分析?

　　5)安全性分析(Petri Net等)。?

　　6)軟件的避錯(fault avoidance)、排錯(fault removal)、容錯(fault tolerance)、預錯(fault forcasting)等。?

　　軟件可靠性的提高依賴于軟件工程化的步伐。??

　　參考文獻?

　　1.Pham,H,Software Reliability and Testing,IEEE Computer Society Press,1996.?

　　2.Jelinski,Z.,and P.B.Moranda,W.Freiberger ed.,Statistical ComputerPerformance Evaluation,Academic Press,New York,1972.?

　　3.Schick,G.J.,and R.W.Wolerton,“An Analysis of Competing Software Reliability Models”,IEEE Trans.Software Engineering,Vol.SE-4，No.2,Mar.,1978.

　　4.Michael R.Lyu,Handbook of Software Reliability Engineering,Computing Mc GrawHill,New York,1996.?

　　5.何國偉主編 軟件可靠性，國防工業出版社，1998。?

　　6.IEEE Std 6 10.12-1990，Glossary of Software Engineering Terminology.

　　7.Shooman,M.L,"Structure Models for Software Reliability Prediction”Proc,International Conference of Software Engineering.,IEEE Cs Press,Los Alamitos，Califolia.,1984.?

　　8.Yamada,S "S-shaped Software Reliability Growth Models and Their Applications”，IEEETrans.Reliability,Vol.R-33，No.4，Oct.1984.?

　　9.Musa.J.D.A Logarithmic Poisson Execution Time Model For Software Reliability Measurement，Proc.7th International Conf.Software Ing.,1984.

　　10.Littlewood,B.,“Software Reliability Model for Modular Program Structure”,IEEE Trsans.Reliability,Vol.R-28，No.3,Aug.1979.

原文轉自：http://www.ltesting.cn/deltestingde/