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