航空類軟件測試方法的研究與實施.pdf

1、軟件測試是軟件質量保證的重要步驟，在軟件開發(fā)生命周期中受到最多關注的就是測試。在大部分軟件開發(fā)活動中，測試被認為是基礎，它對軟件的成功至關重要。而航空類軟件有其高安全性和高穩(wěn)定性的特殊要求，使得對它測試的重要性顯得尤為突出。本文基于一般商業(yè)軟件的測試技術和測試策略，在針對航空類軟件測試的應用上進行了詳細闡述和延伸。主要研究內容包括以下幾個方面： 1.航空領域中的軟件標準，DO-178B規(guī)范介紹DO-178B規(guī)范，是RTCA(航空

2、無線電技術委員會)和EUROCAE(歐洲民航電子設備組織)聯(lián)合開發(fā)的文檔中RTCA/DO-178B提到的一套航空業(yè)標準，名為《空中系統(tǒng)和設備認證中的軟件要求》，用于建立一套開發(fā)人員、安裝人員和用戶在使用計算機技術設計航空設備時需遵從的軟件要求。 DO-178B規(guī)范制定的標準中與測試相關的內容大致包括以下三條： 1、計劃階段，察看軟件開發(fā)的生命周期。 2、對軟件開發(fā)流程的驗證。 3、對軟件的功能進行驗證。

3、 2.通用測試技術和測試策略的介紹及延伸黑盒測試法、白盒測試法，以及灰盒測試法是現(xiàn)在主流的軟件測試技術。本文結合實例，主要介紹了等價類劃分、邊界值分析、因果圖法和錯誤推測等常用的黑盒測試技術以及語句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、組合覆蓋、路徑覆蓋等白盒測試常用的覆蓋方法。此外還重點介紹了在航空軟件測試領域應用越來越廣泛的灰盒測試法。根據(jù)其黑白結合的特點，灰盒測試法在測試的可靠性和安全性方面表現(xiàn)突出，這也正好符合了航空類

4、軟件的特殊要求。 另外，在軟件測試策略方面主要描述了單元測試、集成測試、系統(tǒng)測試和確認測試的特點，以及它們在航空類軟件測試上的延伸。 3.針對航空軟件測試方案的研究盡管航空類軟件的測試相對困難，很難形成一種適合所有具體測試案例的測試方案。但是我們還是可以挖掘一些航空軟件測試的共性部分，形成相對通用的模型。而這種共性部分，特別在測試流程管理上較為容易體現(xiàn)。所以，本課題即選擇從這作為切入點，借鑒一般軟件測試的管理規(guī)范，結合嵌