試論軟件的可靠性及其保證（三）

日期：2025-07-14 15:28

瀏覽次數(shù)：1415

摘要：

?? 在以上的眾多方法中，可視化方法主要用于與圖形有關(guān)的應(yīng)用，目前的可視化開發(fā)工具只能提供用戶界面的可視化開發(fā)，對一些不需要復(fù)雜圖形界面的應(yīng)用不必使用這種方法；ICASE 技術(shù)還沒有完全成熟，所以可視在方法和ICASE方法*多只能用作輔助方法。面向數(shù)據(jù)結(jié)構(gòu)的方法、PSL/PSA方法及原型化方法只適合于中小型系統(tǒng)的開發(fā)。
　　面向?qū)ο蟮姆椒ū阌谲浖?fù)雜性控制，淋雨試驗箱有利于生產(chǎn)率的提高，符合人類的思維習(xí)慣，能自然地表達現(xiàn)實世界的實體和問題，具有一種自然的模型化能力，達到從問題空間到解空間的較為直接自然的映射。
　　在面向?qū)ο蟮姆椒ㄖ?，由于大量使用具有高可靠性的庫，其可靠性也就有了保證，用面向?qū)ο蟮姆椒ㄒ怖趯崿F(xiàn)軟件重用。
　　所以建議采用面向?qū)ο蟮姆椒?，借鑒Parnas和瑞理模式的思想，在開發(fā)過程中再結(jié)合使用其他方法，吸取其它方法的優(yōu)點。
　　3.軟件重用
　　*大限度地重用現(xiàn)有的成熟軟件，不僅能縮短開發(fā)周期，提高開發(fā)效率，也能提高軟件的可維護性和可靠性。因為現(xiàn)有的成熟軟件，已經(jīng)過嚴格的運行檢測，大量的錯誤已在開發(fā)、運行和維護過程中排除，應(yīng)該是比較可靠的。在項目規(guī)劃開始階段就要把軟件重用列入工作中不可缺少的一部分，作為提高可靠性的一種必要手段。
　　軟件重用不僅僅是指軟件本身，淋雨試驗箱也可以是軟件的開發(fā)思想方法、文檔，甚至環(huán)境、數(shù)據(jù)等，包括三個方面內(nèi)容的重用：
　　(1)開發(fā)過程重用，指開發(fā)規(guī)范、各種開發(fā)方法、工具和標(biāo)準等。
　　(2)軟件構(gòu)件重用，指文檔、程序和數(shù)據(jù)等。
　　(3)知識重用，如相關(guān)領(lǐng)域?qū)I(yè)知識的重用。
　　一般用的比較多的是軟件構(gòu)件重用。
　　軟件重用的過程如下：候選，選擇，資格，分類和存儲，查找和檢索。在選擇可重用構(gòu)件時，一定要有嚴格的選擇標(biāo)準，可重用的構(gòu)件必須是經(jīng)過嚴格測試的、甚至是經(jīng)過可靠性和正確性證明的構(gòu)件，應(yīng)模塊化（實現(xiàn)單一、的完整的功能）、結(jié)構(gòu)清晰（可讀、可理解、規(guī)模適當(dāng)），且有高度可適應(yīng)性。
　　4.使用開發(fā)管理工具
　　開發(fā)一個大的軟件系統(tǒng)，離不開開發(fā)管理工具，作為一個項目管理員，僅僅靠人來管理是不夠的，需要有開發(fā)管理工具來輔助解決開發(fā)過程中遇到的各種各樣的問題，以提高開發(fā)效率和產(chǎn)品質(zhì)量。
　　如Intersolv公司的PVCS軟件開發(fā)管理工具，淋雨試驗箱在美國市場占有率已超過70％，使用PVCS可以帶來不少好處：規(guī)范開發(fā)過程，縮短開發(fā)周期，減少開發(fā)成本，降低項目投資風(fēng)險；自動創(chuàng)造完整的文檔，便于軟件維護；管理軟件多重版本；管理和追蹤開發(fā)過程中危及軟件質(zhì)量和影響開發(fā)周期的缺陷和變化，便于軟件重用，避免數(shù)據(jù)丟失，也便于開發(fā)人員的交流，對提高軟件可靠性的保證質(zhì)量有很大作用。
　　在我國，開發(fā)管理工具并沒有得到有效地使用，許多軟件公司還停留在人工管理階段，所開發(fā)的軟件質(zhì)量不會很高。
　　人的管理比較困難，在保證開發(fā)人員素質(zhì)的同時，要保持人員的穩(wěn)定性，盡可能避免人員的經(jīng)常流動。人員流動影響了軟件的質(zhì)量，工作連續(xù)性難保證，繼承者不可能對情況了解很清楚等，也可能影響工作進程等。PVCS也提供了適當(dāng)?shù)娜藛T管理方法。
　　5.加強測試
　　軟件開發(fā)前期各階段完成之后，為進一步提高可靠性，淋雨試驗箱只有通過加強測試來實現(xiàn)了。為*大限度地除去軟件中的差錯，改進軟件的可靠性，就要對軟件進行完備測試。要對一個大的軟件系統(tǒng)進行完備測試是不可能的，所以要確定一個*小測試數(shù)和*大測試數(shù)，前者是技術(shù)性的決策，后者管理性的決策，在實際過程中要確定一個測試數(shù)量的下界。總的來說，要在可能的情況下，進行盡可能完備的測試。
　　誰來做測試呢？一般說來，用戶不大可能來進行模塊測試，模塊測試應(yīng)該由*初編寫代碼的程序員來進行，要在他們之間交換程序進行模塊測試，自己設(shè)計的程淋雨試驗箱序自己測試一般都達不到好的效果。

下一篇：試論軟件的可靠性及其保證（四）
上一篇：試論軟件的可靠性及其保證（二）