技術(shù)特征：
1.一種符合DO-178B/CA級軟件目標碼覆蓋分析方法，其特征在于，包括以下步驟：1)根據(jù)源代碼與目標碼一一對應的映射關(guān)系制定編碼規(guī)則表；所述編碼規(guī)則表用于制定源代碼編碼規(guī)則及目標碼編譯規(guī)則；2)對違反編碼規(guī)則的源代碼制定額外目標碼映射表；3)目標碼覆蓋分析；3.1)選擇編譯工具按照編碼規(guī)則表中定義的編碼規(guī)則對源代碼進行編譯，形成目標碼；3.2)利用編譯工具對目標碼進行插樁，生成帶插樁的可執(zhí)行模塊；3.3)使用一組語句覆蓋、分支覆蓋及判定覆蓋均達到100％的測試用例驅(qū)動可執(zhí)行模塊，生成目標碼覆蓋分析報告；3.4)對目標碼進行目標碼覆蓋分析；若生成的目標碼覆蓋分析報告中目標碼的語句覆蓋及分支覆蓋均為100％，則證明目標碼的合理性；若目標碼的語句覆蓋及分支覆蓋其中一個不能達到100％，則按照以下原則之一執(zhí)行：原則一：添加測試用例再次出具分析報告，證明目標碼的合理性；原則二：利用步驟2)中的額外目標碼映射表，證明額外目標碼的合理性。2.根據(jù)權(quán)利要求1所述的一種符合DO-178B/CA級軟件目標碼覆蓋分析方法，其特征在于：所述編譯工具采用LDRATestbed或者VerocelVeroCode。3.根據(jù)權(quán)利要求1或2所述的一種符合DO-178B/CA級軟件目標碼覆蓋分析方法，其特征在于：所述編碼規(guī)則表包括三個屬性，分別是：標識：對編碼規(guī)則進行標識；內(nèi)容：描述軟件編碼中應符合的編碼結(jié)構(gòu)及編譯參數(shù)；等級:定義編碼規(guī)則執(zhí)行力度。4.根據(jù)權(quán)利要求3所述的一種符合DO-178B/CA級軟件目標碼覆蓋分析方法，其特征在于：所述額外目標碼映射表包括三個屬性，分別是：標識：對額外目標碼結(jié)構(gòu)進行標識；內(nèi)容：描述額外目標碼結(jié)構(gòu)內(nèi)容，為一組重復出現(xiàn)的、獨立的單元；條件：額外目標碼產(chǎn)生的條件。