- 相關(guān)推薦
機載軟件適航驗證技術(shù)現狀及展望研究
下面是小編搜集整理的一篇探究機載軟技術(shù)發(fā)展的論文范文，希望對你的論文寫(xiě)作有幫助。
摘要:機載軟件具有實(shí)時(shí)性、高可靠性、嵌入式的特點(diǎn)。軟件的特殊性,給機載軟件驗證帶來(lái)了嚴峻的挑戰。本文首先研究了軟件驗證現狀以及軟件測試、評審方法,最后對目前軟件適航驗證的前沿技術(shù)進(jìn)行了探索。它對于機載軟件適航驗證研究具有一定的借鑒意義。
關(guān)鍵詞:機載軟件;適航驗證;技術(shù)現狀;發(fā)展方向;DO-178B
波音777飛機成功地投入民航運營(yíng),標志著(zhù)民機計算機軟件設計時(shí)代的到來(lái)。
硬件可以而且通常做徹底測試,甚至直到破壞,以保證不存在設計瑕疵,飛機的靜力實(shí)驗、疲勞實(shí)驗、甚至整機適墜性實(shí)驗都可以做。軟件不像硬件設備和部件,它不會(huì )破壞或消耗,但軟件很難達到和硬件相同的安全等級,軟件不允許存在誤差,否則后果不堪設想。比如,美國在一次衛星發(fā)射實(shí)驗中,由于飛行計劃程序里漏掉了一個(gè)連字符而導致了火箭實(shí)驗的失敗。由于軟件的特殊性,特別是機載軟件的日益復雜,給機載軟件驗證帶來(lái)了嚴峻挑戰。
1.軟件驗證簡(jiǎn)述
驗證verification不僅僅是測試test。軟件驗證過(guò)程典型地兼有評審、分析和測試,所以測試僅僅是驗證的一種手段,軟件驗證過(guò)程通過(guò)評審、分析、測試用例和程序的開(kāi)發(fā)、以及測試程序的實(shí)施等各種方式的組合來(lái)實(shí)現其目標。評審和分析對軟件需求、軟件體系架構和源代碼的準確性、完整性和可驗證性進(jìn)行評估。測試用例的開(kāi)發(fā)可對需求的內部一致性和完整性進(jìn)行進(jìn)一步的評估。測試程序的實(shí)施證明了對需求的符合性[1]。目前機載軟件驗證的主要依據是RTCA DO-178(機載系統和設備合格審定的軟件考慮),DO-178B設定了軟件開(kāi)發(fā)和驗證的原則,是世界民用航空領(lǐng)域在適航取證過(guò)程中所廣泛采用的適航標準,也是中國民用航空局適航司認可的民用航空機載設備和系統軟件的適航審查依據。
2.軟件驗證現狀
2.1軟件驗證標準DO-178B
DO-178B標準不僅嚴格規定了軟件開(kāi)發(fā)的流程,而且還規定了每個(gè)流程都必須經(jīng)過(guò)嚴格驗證,光有開(kāi)發(fā)過(guò)程的驗證還不夠,為了保證驗證工作的質(zhì)量,它還明確規定驗證工作本身也要進(jìn)行驗證,如圖1所示。由此可見(jiàn),軟件驗證在整個(gè)開(kāi)發(fā)過(guò)程中的極端重要性。
2.2軟件驗證活動(dòng)
軟件驗證過(guò)程典型地兼有評審、分析和測試。
2.2.1軟件評審
據有關(guān)資料統計,軟件中的大部分缺陷是在編碼之前造成的,因為軟件設計人員設計不當而引入軟件的缺陷占整個(gè)軟件開(kāi)發(fā)階段引入缺陷的50%～65%,而軟件評審技術(shù)可以發(fā)現其中75%左右的設計缺陷。軟件評審作為軟件管理的一項重要活動(dòng),是軟件質(zhì)量保證的重要一環(huán)。目前,我國軟件工程化程度不高,軟件評審隨意性較大,相關(guān)標準缺乏規范,評審過(guò)程基本上停留在管理層面。
軟件評審通常包括:管理評審、技術(shù)評審、審查、走查和審核等5種類(lèi)型[5]。機載軟件評審的依據有DO-178B,NASA和EASA的相關(guān)標準,中國民用航空規章和其它的咨詢(xún)材料等。2.2.2軟件測試
目前,與測試相關(guān)的三個(gè)重要觀(guān)點(diǎn)是:(1)測試是為了證明程序有錯,而不是證明程序無(wú)錯誤;(2)一個(gè)好的測試用例是在于它能夠發(fā)現至今未發(fā)現的錯誤;(3)一個(gè)成功的測試是發(fā)現了至今未發(fā)現的錯誤的測試[2]。
軟件測試的方法主要有:黑盒測試、白盒測試、灰盒測試等[4]。
黑盒測試,又稱(chēng)功能測試。在測試時(shí),完全不考慮程序內部結構與內部特性,測試者在程序接口進(jìn)行測試。黑盒測試的主要方法有:等價(jià)類(lèi)劃分、邊界值分析、因果圖、錯誤推測等,主要適用于軟件確認測試。
白盒測試,也稱(chēng)結構測試。它按照程序內部的結構測試程序,來(lái)檢驗程序中的每條通路是否都能按預定要求正確工作。白盒測試的主要方法有:邏輯驅動(dòng)、基路測試等,這一階段測試以軟件開(kāi)發(fā)人員為主。
白盒和黑盒測試,兩類(lèi)方法各有側重,在測試的實(shí)踐中都實(shí)用,但又各有優(yōu)長(cháng),只有將二者有機結合,即進(jìn)行所謂的“灰盒測試”,才能彌補二者的不足,使測試方法更加完善。
2.3機載軟件測試
2.3.1機載軟件測試目標
機載軟件的測試有兩個(gè)互補的目標。一是證明軟件滿(mǎn)足其需求;二是以高置信度證明由系統安全性評估過(guò)程確定的可能導致不可接受的失效狀態(tài)的那些錯誤已被消除[1]。
2.3.2機載軟件測試的特點(diǎn)
(1)機載軟件多為嵌入式軟件,嵌入式軟件具有兩個(gè)顯著(zhù)特點(diǎn):一是軟件和硬件結合緊密,軟件脫離特定系統往往無(wú)法運行,軟件失效與硬件故障有時(shí)難以區分,甚至相互干擾。二是開(kāi)發(fā)環(huán)境和運行環(huán)境不同。因而,嵌入式軟件還必須進(jìn)行目標環(huán)境的測試。
嵌入式軟件的這兩個(gè)特性給軟件測試提出了新的挑戰,一些新的問(wèn)題必須重視。比如,宿主環(huán)境和目標環(huán)境測試的分配、軟-硬件錯誤的界定、硬件特性對軟件測試的影響、測試所需的硬件信號驅動(dòng)及響應等等。
(2)機載軟件實(shí)時(shí)性強。機載軟件多是實(shí)時(shí)軟件。不但要求軟件執行實(shí)時(shí)性強,而且要求多個(gè)任務(wù)能協(xié)調執行。例如其中的飛控軟件,一般根據任務(wù)組在飛控系統中所具有的作用、重要程度和其本身的變化率,分成各種不同速率組任務(wù)調度執行。為了滿(mǎn)足不同任務(wù)優(yōu)先級的要求,還要進(jìn)行中斷管理。因此在機載軟件測試中,不但要對軟件語(yǔ)句的執行邏輯關(guān)系進(jìn)行驗證,還要對該過(guò)程的執行時(shí)間和規定時(shí)間進(jìn)行比較。
(3)機載軟件屬于安全關(guān)鍵軟件。其性能的不可靠將帶來(lái)災難性的后果,因此對其可靠性、安全性要求很高。為此在機載軟件設計時(shí)采用一些提高可靠性、安全性的先進(jìn)技術(shù),主要有容錯技術(shù)、N版本技術(shù)、安全監控和安全隔離技術(shù)等。
3.軟件適證技術(shù)展望
3.1形式化方法
將形式化方法用于軟件和硬件設計,是期望能夠像其它工程學(xué)科一樣,使用適當的數學(xué)分析以提高設計的可靠性和魯棒性。
形式化方法的一個(gè)研究?jì)热菔切问揭幖s,即用具有精確語(yǔ)義的形式語(yǔ)言書(shū)寫(xiě)的程序功能描述,是驗證程序是否正確的依據;另一個(gè)研究?jì)热菔切问津炞C(Formal Verification),即驗證已有的程序是否滿(mǎn)足其規約的要求,它是形式化方法所要解決的核心問(wèn)題。
而如何基于形式化方法開(kāi)發(fā)適用的軟件測試模型則是未來(lái)研究的熱點(diǎn)問(wèn)題。
3.2適航驗證標準的發(fā)展
現在的DO-178B是面向目標的相對穩定版本,現已使用了17年,由于以下原因,尚需對DO-178B做進(jìn)一步修訂:(1)其目標是“相對穩定”的,它不是“永恒穩定”的。(2)DO-178B對“面向目標”的原則還貫徹得不夠徹底。DO-178B中所定義的66個(gè)目標中,有少量的目標其實(shí)不是真正的“目標”,而是“技術(shù)”。最明顯的例子就是“驗證的驗證”的目標中關(guān)于MC/DC覆蓋、判定覆蓋、語(yǔ)句覆蓋等。這些“技術(shù)”以“目標”的形式出現在標準里,使得DO-178B標準的穩定性大打折扣。
總之,航空電子和軟件開(kāi)發(fā)技術(shù)的發(fā)展推動(dòng)著(zhù)合格審定過(guò)程的更改,DO-178B缺少舊軟件工具的合格審定,而且先進(jìn)的技術(shù)和新航空電子軟件的發(fā)展,也需要有新的合格審定標準。
4.結論
機載軟件具有實(shí)時(shí)性、高可靠性、嵌入式的特點(diǎn),這些特點(diǎn)決定了機載軟件適航驗證技術(shù)必須具有極強的先進(jìn)性。
參考文獻
[1]RTCA . DO178B . Washington,1992
[2]劉皓、李長(cháng)命,《軟件測試簡(jiǎn)述與展望》[J].學(xué)術(shù)交流,2008
[3]劉利枚、汪文勇、唐科,《嵌入式軟件測試方法與技術(shù)》[J].計算機與現代化,2005
[4]李幸超,《實(shí)用軟件測試》[M].北京:電子工業(yè)出版社,2006
[5]石柱、劉華、郭曉慧,《軟件評審類(lèi)型及其實(shí)施要求》[J].航天控制,2007
【機載軟件適航驗證技術(shù)現狀及展望研究】相關(guān)文章：
我國物流研究的現狀及展望05-29
服務(wù)品牌延伸研究現狀及展望09-21
納米熱電材料的研究現狀及展望08-22
陶瓷燒成中棚板材料的研究現狀及展望08-22
臨終護理的現狀及展望10-02
骨科護理的現狀及展望論文06-02
軟件技術(shù)專(zhuān)業(yè)教改實(shí)踐研究10-10
淤泥質(zhì)海岸港口適航水深應用研究07-09