條件判定覆蓋（condition/decision coverage，簡稱C/DC）準(zhǔn)則是各種安全攸關(guān)軟件測試中常用的測試覆蓋準(zhǔn)則，它要求軟件測試覆蓋程序中每個判定以及條件的真／假取值．現(xiàn)有的自動測試生成方法在針對該準(zhǔn)則的測試用例生成過程中存在很多不足．例如：符號執(zhí)行方法很難處理較為復(fù)雜的非線性條件約束，并在處理程序的規(guī)模上受到很大限制；希爾攀登法由于在搜索過程中易陷入局部最優(yōu)，而難以達(dá)到滿足C/DC準(zhǔn)則的高覆蓋率；模擬退火法和遺傳算法依賴于用戶使用過程中的復(fù)雜配置，測試用例生成效果具有一定的隨機(jī)性．針對這一現(xiàn)狀，提出了一種線性擬合制導(dǎo)測試用例生成方法．依據(jù)C/DC準(zhǔn)則，該方法將程序中的每一個條件判定規(guī)范化為一個與零值比較的數(shù)值函數(shù)，并以插樁與執(zhí)行獲得該函數(shù)當(dāng)前輸入下的采樣．通過擬合這些采樣，能夠逐步判斷出程序中各個條件判定與輸入的關(guān)系，并利用這些關(guān)系生成高覆蓋率的測試用例．相對于傳統(tǒng)方法，該方法具有參數(shù)配置簡易、生成過程高效等優(yōu)點(diǎn)，并且能夠處理帶非線性條件約束、邏輯復(fù)雜的程序．在3個開源軟件庫中的25個真實(shí)程序上運(yùn)行的實(shí)驗(yàn)結(jié)果表明，所提出的方法比目前以覆蓋率見長的遺傳算法（genetic algorithm。簡稱GA）制導(dǎo)方法具備更好的覆蓋能力與更高的執(zhí)行效率．