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

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

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

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

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