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

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

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

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