論文-淺析計算機軟件可靠性設(shè)計(參考版)
2025-08-08 16:52本頁面
【正文】 。為了減少編碼錯誤,實現(xiàn)設(shè)計與生產(chǎn)分離,首先由高水平的軟件工程師完成結(jié)構(gòu)設(shè)計,再由程序設(shè)計員完成程序的編制是合理的、必要的,并在編碼過程中盡早地查出缺陷予以改正。丟失代碼(如括號)。一般的編碼錯誤是:鍵入錯代碼?！?軟件編碼。這N個軟件版本同時在N臺計算機上運行,各計算機間能進行高效通信,并作出快速比較,當(dāng)結(jié)果不一致時,按多數(shù)表決或預(yù)定的策略選擇輸出。使程序設(shè)計得能夠緩解錯誤的影響,不致造成諸如死鎖或崩潰這樣的嚴(yán)重后果,并能指出錯誤源。對軟件錯誤所引起的后果特別嚴(yán)重的情況,如飛機的飛行控制系統(tǒng)、空中交通管制系統(tǒng)、核反應(yīng)堆安全系統(tǒng)等,需采用容錯軟件。對每一個更小的程序和模塊,可分別編程和測試,使得模塊間高度分離。結(jié)構(gòu)良好的程序易于編寫、檢查,便于查錯定位、修改和維護。 結(jié)構(gòu)化程序設(shè)計。自頂向下設(shè)計方法的價值在于,它在設(shè)計的同時,指出了復(fù)雜性不同的處理層次,而且各種設(shè)計要素之間的關(guān)系是比較清楚的。再以每個子系統(tǒng)為基礎(chǔ),設(shè)計出一系列更詳細(xì)的子系統(tǒng),等等。從它出發(fā),設(shè)計一系列較詳細(xì)的子系統(tǒng)。這種設(shè)計方法是處理分級問題最有效的設(shè)計技術(shù)。為設(shè)計出可靠的軟件,需要在考慮諸如機型、資源、語言、模型及數(shù)據(jù)結(jié)構(gòu)等實際問題的基礎(chǔ)上,采取一些有效的設(shè)計方法。 軟件設(shè)計。(4)一致性:要求說明書中的概念與規(guī)范化。（2)完整性:對軟件要求的描述要完整無缺。 這種說明書是軟件設(shè)計人員和用戶間相互了解的基礎(chǔ),是軟件設(shè)計人員進行程序設(shè)計、調(diào)試的基礎(chǔ)和評價軟件的依據(jù)。 規(guī)范它不僅規(guī)定程序的要求,還規(guī)定所用的結(jié)構(gòu)、研制及試驗中需要的程序試驗要求和文件,以及程序語言、輸入和輸出的基本要求。 要求/規(guī)格說明。缺陷在一定的
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1