工程碩士文獻綜述報告(編輯修改稿)
2024-12-14 01:09 本頁面
【文章內(nèi)容簡介】 證 。 開發(fā)過程特性包括采用的工程技術(shù)和使用的工具，也包括開發(fā)者個人的業(yè)務(wù)經(jīng)歷水平等。 除了軟件可靠性外，影響可靠性的另一個重要因素是健壯性，對非法輸入的容錯能力。 所以提高可靠性從原理上 看就是要減少錯誤和提高健壯性 [8]。 機載顯示器是飛行員與飛機系統(tǒng)、周圍作戰(zhàn)環(huán)境之間最重要的人機接口之一 [9]。 在某些緊張的飛行狀態(tài) (如起飛和著陸等 )中 ,顯示器必須保證飛行員在極短的時間內(nèi)準確地獲取所需要的信息 ,進行及時、安全的操縱。 一旦 顯示器 發(fā)生故障，可能造成機毀人亡 。 在軍用場合可能貽誤戰(zhàn)機，其后果不堪設(shè)想。 隨著座艙設(shè)計的集成化，軟件所占的比例越來越高。 機載顯示器 顯示的信息越來越豐富，如某型多功能顯示器，顯示內(nèi)容涉及任務(wù)準備階段、導(dǎo)航階段、返航階段、空空攻擊階段、空面攻擊階段，共 100 多幅畫面，代碼量達 8 萬多行。 在硬件設(shè)計技術(shù)日趨成熟的情況下，軟件質(zhì)量的高低直接影響到系統(tǒng)的整體質(zhì)量，因此軟件的設(shè)計成為 機載顯示器 發(fā)展的重中之重。 軟件可靠性工程 軟件工程的定義為：為了達到軟件產(chǎn)品的可靠性要求而進行的一系列軟件工程活動 [10]。 軟件可靠性工程涉及以下四方面活動和有關(guān)技術(shù)：軟件可靠性分析 、 軟件可靠性設(shè)計和實現(xiàn)、軟件可靠性測量、測試和評估 及 軟件可靠性管理 。 軟件可靠性工程是一門雖然得到普遍承認，但還處于不成熟的正在發(fā)展確立階段的新興工程學(xué)科。國外從 60 年代后期開始加強軟件可靠性的研究工作，那時軟件危機被廣 泛討論，軟件不可靠是造成軟件危機的重要原因之一。 JelinskiMoranda 模型 [11]于 1972 年正式提出，它標志著軟件可靠性系統(tǒng)研究的開始。 在 70 年代，軟件可靠性的理論研究獲得很大發(fā)展，一方面提出了數(shù)十種軟件可靠性模型，另一方面是軟件容錯的研究，提出了分別與硬件靜態(tài)冗余和動態(tài)冗余相對應(yīng)的軟件 N 文本方法和恢復(fù)塊方法。在 80 年代，軟件可靠性理論研究停滯不前，沒有質(zhì)的飛躍。但軟件可靠性的工程實踐經(jīng)驗得到不斷積累。不少軟件可靠性技術(shù)在軟件工程實踐中得以應(yīng)用。某些技術(shù)達到實用化程序，如軟件可靠性建模技術(shù)、管 理技術(shù)等?？梢哉f，軟件可靠性從研究階段逐漸邁向工程化。經(jīng)過 20 年左右的研究推出了各種可靠性模型和預(yù)測方法，于 1990 年前后形成較為系統(tǒng)的軟件可靠性工程體系。軟件可靠性逐漸成為軟件開發(fā)考慮的第四個主要因素，軟件可靠性工程在軟件工程領(lǐng)域逐漸取得相對獨立的地位，成為一個生機勃勃的分支[12]。 國內(nèi)軟件可靠性研究起步較晚，始于 80 年代初，是在 70 年代國際軟件可靠性研究高潮之后。我國的軟件可靠性的專家們在軟件可靠性建模、軟件可靠性分配及軟件可靠性管理、軟件避錯技術(shù)[13]、軟件可靠性評估工具和混合硬件一軟件系統(tǒng)可靠 性及軟件容錯方面 [14]、軟件可靠性模型應(yīng)用選擇、軟件可靠性測試、軟件可靠性度量體系 [15]方面進行了一系列的探索。 在工程實踐方面，曾將軟件可靠性評估工具、模糊軟件可靠性模型應(yīng)用于軟件可靠性評估?？偟恼f來，國內(nèi)在軟件可靠性工程實踐方面的工作太少，工作的水平也無法與國外同類工作相比擬，急待開展、深入。 軟件可靠性設(shè)計 軟件可靠性設(shè)計的實質(zhì)是在常規(guī)的軟件設(shè)計中，應(yīng)用各種必須的方法和技術(shù)，使程序設(shè)計在兼顧用戶的各種需求時，全面滿足軟件的可靠性要求 [16]。 軟件的可靠性設(shè)計應(yīng)和軟件的常規(guī)設(shè)計緊密地結(jié)合，貫 穿于常規(guī)設(shè)計過程的始終。這里所指的設(shè)計是廣義的設(shè)計，它包括了從需求分析開始，直至實現(xiàn)的全過程 。 軟件可靠性設(shè)計包括 四種類型 ，分別為避錯設(shè)計、 查 錯設(shè)計、改錯設(shè)計及容錯設(shè)計 [17]。 要消除軟件的錯誤，最明智的做法是在軟件設(shè)計開發(fā)過程中盡可能避免錯誤。然而，由于程序員的思維局限性，軟件錯誤在軟件生命周期的各個階段都可能會被引入。為了保證軟件的可靠性，就應(yīng)在軟件生命周期的各個階段千方百計地查明、排除錯誤。因此，軟件的避錯排錯技術(shù)是提高軟件 可 靠性最主要的措施。 避錯設(shè)計體現(xiàn)了以預(yù)防為主的思想，是軟件可靠性
公司管理相關(guān)推薦
鄂ICP備17016276號-1