曝光臺 注意防騙 網(wǎng)曝天貓店富美金盛家居專營店坑蒙拐騙欺詐消費(fèi)者

┣━━━┻━━━━━━┫  ┃    ┃    ┃    ┃    ┃    ┃
┃                    ┃  ┃    ┃    ┃    ┃    ┃    ┃
┃                    ┣━╋━━┫    ┃    ┃    ┃    ┃
┃                    ┃  ┃    ┃    ┃    ┃    ┃    ┃
┗━━━━━━━━━━┻━┻━━┻━━┻━━┻━━┻━━┛
塾堡量壟婆矍一．／。
軟件合成過程
喜    令
    ：    i
    丫    |
，………一一
軟件產(chǎn)品
、
、………一_，
＼…—．…——…——…——…—。．一·
圖6．2  軟件各生存周期過程之間基本關(guān)系的示意
一7一
●：--．一．-．_．：．-．：-：●：●：i：．_．：．_．：●：-：●：●：●『
航空器適航司
6．2軟件審查的基本流程和方法
    軟件生存周期過程的特殊性決定了在確保軟件產(chǎn)品的安全性(可
靠性)、可追蹤性、可驗(yàn)證性和可維護(hù)性的過程中軟件審查方法的特
點(diǎn)。如圖6—3所示，軟件審查的基本流程和方法是依據(jù)在型號／系統(tǒng)
的審定基礎(chǔ)中所確定的軟件等級，按DO—178B／ED一12B附件A(按軟
件等級確定的過程目標(biāo)及輸出)表A—l至表A．10中所確定的該軟件
等級在每一邀鮭生盔周翅過猩中的目標(biāo)要求和符合性方法，逐項審查
申請人對這些目標(biāo)要求的符合性輸出，  而這些輸出就是
DO一178B／ED．12B第11章中所述的20種“軟件生存周期文檔”(必
要時，還包括第12．2節(jié)中有關(guān)軟件開發(fā)工具和驗(yàn)證工具的鑒定文檔
等)。其中，塑鮭宣定i土劃、韃鮭壁量塞曼I和敦鮭塞施趣墨是適航部
門在審查并批準(zhǔn)申請人的符合性方法和符合性證據(jù)時最基本的三份
文檔。必須注意的是，DO一1。78B／ED一12B所給出的目標(biāo)要求和符合性
方法都是原則性的，申請人應(yīng)針對其欲開發(fā)軟件的實(shí)際情況并運(yùn)用軟
件工程的專業(yè)知識將這些目標(biāo)要求和符合性方法具體化。同時，為了
便于表明對審定基礎(chǔ)中有關(guān)軟件要求的符合性，申請人還應(yīng)參照上述
表A一1～A一10的內(nèi)容編制具體的“軟件符合性檢查單”并提交給審
查人員。審查人員首先應(yīng)注意審查敦鮭宣定i士劃，批準(zhǔn)申請入所采用
的符合性方法，然后審查軟件開發(fā)過程和合成過程的符合性情況，其
重點(diǎn)是評審和分析軟件的可追蹤性和可驗(yàn)證性，檢查各項驗(yàn)證測試
(必要時也包括試飛)的規(guī)程(程序)和結(jié)果以及對軟件驗(yàn)證結(jié)果的
覆蓋分析等內(nèi)容，以確保申請人：
    ①落實(shí)了對該軟件的安全性考慮；
    ②加載了該軟件的系統(tǒng)／設(shè)備符合安全性要求；
    ③能夠持續(xù)地生產(chǎn)出經(jīng)批準(zhǔn)的軟件產(chǎn)品。
    注：若申請人習(xí)慣于按照“需求評審階段(RR)”、“初步設(shè)計評審
階段(PDR)"、“關(guān)鍵設(shè)計評審階段(CDR)’’、“試驗(yàn)準(zhǔn)備評審階段
航空器適航司
(1"RR)"和“首件檢驗(yàn)階段(F觸)"的“階段”方式來表明對DO—178B／
ED一12B的符合性，則其必須在軟件審定計劃中定義這些階段與各軟
件生存時期過程的對應(yīng)關(guān)系，并落實(shí)軟件對所有相關(guān)目標(biāo)的符合性。
6．3對替代方法的說明
    這里的替代方法是指能夠被用來滿足DO．178B／ED-12B的某個
或某些目標(biāo)要求的其它方法。替代方法不能脫離軟件開發(fā)過程這個主
線。需要說明的是，DO．178B／ED一12B并不限制采用該標(biāo)準(zhǔn)以外的其
它符合性方法來滿足其目標(biāo)要求。但在采用替代方法時，申請人應(yīng)：
    1．表明該替代方法將滿足DO-178B／ED．12B的某個或某些目標(biāo)
    要求；
    2．在軟件審定計劃中表明該方法對軟件開發(fā)過程和生存周期文
    檔的影響以及采用該方法的合理性(即，表明采用該方法仍
    可滿足系統(tǒng)的安全目標(biāo)要求)；
    3．取得適航部門的認(rèn)可；
    4．通過軟件計劃、規(guī)程和預(yù)期的結(jié)果以及該替代方法的使用證
    據(jù)來表明采用該方法的合理性。
    目前，常見的替代方法有：可用于軟件開發(fā)過程的形式法、可替
代某一軟件驗(yàn)證活動的窮舉輸入測試法、對多版本非相似軟件的驗(yàn)證
方法、可用于軟件驗(yàn)證過程的軟件可靠性模型以及產(chǎn)品的使用經(jīng)驗(yàn)
等。DO—178B／ED一12B的12．3節(jié)給出了在采用這些替代方法時的指
南。
    對于從前按DO一178A／ED一12A所批準(zhǔn)的早期軟件而言，
DO一178～ED．12A也可被看作是一種替代的方法。但需要注意的是：
由于DO一178A／ED一12A在有關(guān)用戶可更改軟件(如，數(shù)據(jù)庫)、用戶
可選擇的選裝軟件、軟件開發(fā)和驗(yàn)證工具、從前開發(fā)的模塊化軟件以
航空器適航司
及現(xiàn)場可加載軟件等方面沒能提供足夠的符合性方法，故要使用這類
的早期軟件時，就必須按DO．178B／ED．12B中的相應(yīng)要求來補(bǔ)充表明
　
中國航空網(wǎng) www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：機(jī)載系統(tǒng)和設(shè)備合格審定中的軟件審查方法(4)