技術總結
本發(fā)明屬于綜合化航空電子系統(tǒng)軟件技術領域，具體涉及一種符合DO?178B/C?A級軟件目標碼覆蓋分析方法。該方法采用編譯工具LDRA?Testbed或者Verocel?VeroCode的主要步驟包括：1)采用源代碼與目標碼追蹤技術制定編碼規(guī)則表；2)對違反編碼規(guī)則的源代碼制定額外目標碼映射表；3)目標碼覆蓋分析。本發(fā)明的使用既不需要經(jīng)過FAA認證的目標碼覆蓋分析工具及硬件仿真設備做支持，又不需求對軟件執(zhí)行徹底的手工評審與分析，大大提高了目標碼覆蓋分析的效率與可信性。

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