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