代碼覆蓋率是軟件測(cè)試中的描述程序中源代碼被測(cè)試的比例和程度。代碼覆蓋是由系統(tǒng)化軟件測(cè)試所衍生的方式，是飛行設(shè)備進(jìn)行安全認(rèn)證中的考量項(xiàng)目之一。基本的代碼覆蓋率準(zhǔn)則有函式覆蓋率、指令覆蓋率、判斷覆蓋率、條件覆蓋率、條件/判斷覆蓋率。

函式覆蓋率呼叫到程式中的每一個(gè)函式；指令覆蓋率用控制流圖表示程式，執(zhí)行到控制流圖中的每一個(gè)節(jié)點(diǎn)；判斷覆蓋率用控制流圖表示程式，執(zhí)行到控制流圖中邏輯運(yùn)算式成立及不成立的情形。