航空機載軟體研發要遵循do178標準，do178標準中除了軟體的研發，剩下佔比比較多了就是軟體驗證了。
對於航空機載軟體來說，軟體的安全性無比重要，但是軟體安全性評估是一件很難的事情。所以通過過程控制：
軟體研發從計畫到設計到驗證到質量等等來使得軟體的實現可以達到乙個比較高的安全性。
那麼軟體驗證在整個軟體研發過程中扮演了什麼角色呢？軟體驗證所有的資料輸出，均是證明軟體符合需求的證據。
因此，如果軟體驗證活動的輸出有問題，那麼該軟體可信度就會非常低。
DO178機載軟體驗證的第乙個階段 計畫階段
軟體驗證活動的第乙個階段，即計畫階段。do178中規定了六個計畫三個標準，其中軟體驗證計畫和工具鑑定計畫是屬於軟體驗證的工作。工具鑑定計畫是非必須的，是根據專案的具體情況來定。首先來說說軟體驗證計畫。軟體驗證計畫這個問題是乙個指導性的檔案，它的作用就是指導整個的軟體驗證活動。它不涉及具體的驗證活動 ...