技術總結
本發(fā)明公開了一種符合DO?178B/C?A級軟件的模型驗證方法，用于解決基于模型的軟件開發(fā)中的模型驗證問題。該方法的主要步驟是：1)搭建驗證系統(tǒng)架構；2)將待驗證模型通過模型轉換器轉換為若干個特征模型；3)以若干個特征模型輸入至驗證數(shù)據(jù)和邏輯生成層生成驗證數(shù)據(jù)集和驗證邏輯集；4)將驗證數(shù)據(jù)集和驗證邏輯集生成驗證程序集；從驗證程序集中選取出驗證程序子集；5)根據(jù)驗證程序子集通過DO?178B/C中要求的軟件覆蓋強度級別進行驗證；通過該方法為機載軟件的適航合格審定提供有力支持。

技術研發(fā)人員：田莉蓉;邢亮;牟明;戴小氐;黃暉;逯計劃
受保護的技術使用者：中國航空工業(yè)集團公司第六三一研究所
文檔號碼：201410728455
技術研發(fā)日：2014.11.29
技術公布日：2017.05.17