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