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