民機(jī)機(jī)載軟件適航驗(yàn)證在國(guó)外已較為成熟，兩個(gè)主要適航認(rèn)證機(jī)構(gòu)為美國(guó)聯(lián)邦航空局(FAA)與歐洲航空安全局（EASA）。雖然使用適航、法律、規(guī)章等名稱有所不同，美國(guó)聯(lián)邦航空局(FAA)與歐洲航空安全局（EASA）在適航軟件要求方面基本一致。FAA要求任何機(jī)載設(shè)備軟件系統(tǒng)或與飛機(jī)交聯(lián)的軟件系統(tǒng)必須進(jìn)行認(rèn)證，否則不得為機(jī)載使用。為了適應(yīng)這一要求，美國(guó)航空無(wú)線電技術(shù)委員會(huì)(RTCA)在1992年12月提出的航空工業(yè)的軟件標(biāo)準(zhǔn)DO- 178B，作為軟件合格審定的符合性方法，但不是唯一方法。
隨著機(jī)載軟件規(guī)模的不斷增加、軟件使用范圍的不斷擴(kuò)大，軟件開(kāi)發(fā)新技術(shù)及新工具不斷出現(xiàn)，這些新方法，如模型技術(shù)、形式化技術(shù)、逆向工程技術(shù)及新工具已超出DO-178B范圍，自2002年以來(lái)，RTCA和EUR0CAE共同修訂DO-178B，2011年12月DO-178C正式頒布，成為民機(jī)機(jī)載軟件驗(yàn)證的最新行業(yè)標(biāo)準(zhǔn)。
國(guó)內(nèi)民機(jī)型號(hào)，無(wú)論在通用飛機(jī)、支線飛機(jī)、干線飛機(jī)、旋翼類運(yùn)輸機(jī)等方面均處于快速發(fā)展時(shí)期。LE500、AC311、AC313均已圓滿完成適航取證，而大型飛機(jī)C919、AG600也已進(jìn)入適航取證的關(guān)鍵階段。除此以外，MA700、C929等均處于型號(hào)立項(xiàng)階段。2017年5月5日，國(guó)產(chǎn)大型客機(jī)C919成功首飛，機(jī)載軟件迎來(lái)開(kāi)發(fā)的高峰期。2017年5月5日，國(guó)產(chǎn)大型客機(jī)C919成功首飛，機(jī)載軟件迎來(lái)開(kāi)發(fā)的高峰期。
一、現(xiàn)有軟件適航驗(yàn)證能力及存在問(wèn)題
隨著國(guó)內(nèi)民機(jī)項(xiàng)目的快速發(fā)展，目前民機(jī)機(jī)載軟件適航驗(yàn)證突出問(wèn)題表現(xiàn)為以下三個(gè)方面：
- 1. 無(wú)機(jī)載軟件適航驗(yàn)證工程化體系，對(duì)DO-178B/DO-178C局限于字面認(rèn)識(shí)；
- 2. 無(wú)大規(guī)模機(jī)載軟件驗(yàn)證能力，各軟件驗(yàn)證單位在摸索中開(kāi)展軟件驗(yàn)證工作；
- 3. 無(wú)大規(guī)模適航項(xiàng)目管理能力；
- 4. 適航取證支持能力不夠健全。
二、重點(diǎn)發(fā)展領(lǐng)域和方向
鑒于目前機(jī)載軟件測(cè)試驗(yàn)證方面所存在的差距，為了提高機(jī)載軟件測(cè)試驗(yàn)證的規(guī)模化、產(chǎn)業(yè)化能力，更好的服務(wù)于我國(guó)飛機(jī)事業(yè)的發(fā)展，機(jī)載軟件驗(yàn)證能力建設(shè)必不可少。開(kāi)展機(jī)載軟件驗(yàn)證能力有利于：
- 1. 建立民機(jī)機(jī)載軟件驗(yàn)證環(huán)境，解決有無(wú)問(wèn)題；
- 2. 擴(kuò)大民機(jī)驗(yàn)證規(guī)模，解決能力問(wèn)題；
- 3. 促進(jìn)機(jī)載軟件測(cè)試驗(yàn)證的規(guī)模化、產(chǎn)業(yè)化，解決發(fā)展問(wèn)題；
- 4. 提高適航合格審定能力，解決適航問(wèn)題。
三、廣電計(jì)量機(jī)載軟件適航驗(yàn)證培訓(xùn)咨詢
針對(duì)上述行業(yè)發(fā)展問(wèn)題及方向，廣電計(jì)量結(jié)合公司機(jī)載軟件測(cè)試驗(yàn)證技術(shù)服務(wù)優(yōu)勢(shì)，特推出相關(guān)培訓(xùn)咨詢服務(wù)，內(nèi)容如下：
| 專題 |
測(cè)試技術(shù)及方法 |
| 序號(hào) |
知識(shí)模塊 |
具體內(nèi)容 |
授課時(shí)間 |
| 1 |
軟件驗(yàn)證組織機(jī)構(gòu)與職責(zé) |
軟件驗(yàn)證組織角色與職責(zé) |
30分鐘 |
| 獨(dú)立性考慮 |
| 2 |
不同安全性等級(jí)的軟件驗(yàn)證的目標(biāo)與活動(dòng)總攬 |
軟件驗(yàn)證的目標(biāo)、符合性方法以及對(duì)應(yīng)的驗(yàn)收通過(guò)準(zhǔn)則 |
60分鐘 |
| 3 |
軟件驗(yàn)證中的評(píng)審活動(dòng) |
軟件評(píng)審概述 |
60分鐘 |
| 軟件計(jì)劃的評(píng)審 |
| 軟件需求、設(shè)計(jì)和代碼的評(píng)審 |
| 測(cè)試用例、規(guī)程和結(jié)果的評(píng)審 |
| 其他資料項(xiàng)的評(píng)審 |
| 4 |
軟件驗(yàn)證中的分析活動(dòng)
|
軟件分析概述 |
90分鐘 |
| 最壞情況執(zhí)行時(shí)間分析 |
| 內(nèi)存余量分析 |
| 鏈接和內(nèi)存映像分析 |
| 加載分析 |
| 中斷分析 |
| 錯(cuò)誤和告警分析 |
| 分區(qū)分析 |
| 數(shù)據(jù)耦合控制耦合分析 |
| 5 |
軟件驗(yàn)證中的測(cè)試活動(dòng) |
軟件測(cè)試概述 |
120分鐘 |
| 軟件測(cè)試的目的 |
| 測(cè)試綜述 |
| 測(cè)試策劃 |
| 測(cè)試開(kāi)發(fā) |
| 測(cè)試執(zhí)行 |
| 測(cè)試報(bào)告 |
| 測(cè)試可追蹤性 |
| 回歸測(cè)試 |
| 驗(yàn)證過(guò)程中的自動(dòng)化 |
| 6 |
驗(yàn)證覆蓋分析 |
需求覆蓋分析 |
60分鐘 |
| 結(jié)構(gòu)覆蓋分析 |
| 目標(biāo)碼覆蓋分析 |
| 7 |
驗(yàn)證過(guò)程中的其他考慮 |
問(wèn)題報(bào)告 |
60分鐘 |
| 編譯器假設(shè) |
| 先前開(kāi)發(fā)軟件 |
| 工具鑒定 |
| 8 |
軟件生命周期數(shù)據(jù)（驗(yàn)證環(huán)節(jié)） |
軟件計(jì)劃階段評(píng)審數(shù)據(jù)（SOI#1） |
30分鐘 |
| 軟件開(kāi)發(fā)階段評(píng)審數(shù)據(jù)（SOI#2） |
| 軟件驗(yàn)證階段評(píng)審數(shù)據(jù)（SOI#3） |
| 軟件審定階段評(píng)審數(shù)據(jù)（SOI#4） |