邊緣推理的驗(yàn)證方法先確定問題邊緣推理的驗(yàn)證方法的討論先落在硬件型號、編譯選項(xiàng)和內(nèi)存邊界。不要用一段籠統(tǒng)的經(jīng)驗(yàn)替代前提輸入從哪里來、誰負(fù)責(zé)確認(rèn)、失敗后怎樣停止都應(yīng)在開始前寫清。沿著一條路徑檢查圍繞邊緣推理的驗(yàn)證方法做嵌入式開發(fā)實(shí)踐時重點(diǎn)是寄存器、驅(qū)動和中斷時序。把一條代表性路徑從入口走到結(jié)果記錄版本、配置和觀察到的現(xiàn)象。沒有原始記錄時只描述檢查方法不把推測寫成事故結(jié)論。小步驗(yàn)證處理邊緣推理的驗(yàn)證方法時先在目標(biāo)板復(fù)現(xiàn)再改動關(guān)鍵路徑。每次只改變一個因素并保留能夠回看差異的日志、截圖或測試結(jié)果。這樣后續(xù)維護(hù)者能理解當(dāng)時的取舍也能知道哪些條件尚未覆蓋。