本書圍繞計(jì)算機(jī)代碼的驗(yàn)證工作，以代碼驗(yàn)證的背景和歷史發(fā)展為切入點(diǎn)，從微分方程出發(fā)，提出了一個(gè)逐步驗(yàn)證代碼精度階的方法和流程。重點(diǎn)討論了在驗(yàn)證過程中如何設(shè)計(jì)一套具有覆蓋性的測試相關(guān)問題。詳細(xì)介紹了精度階驗(yàn)證的有關(guān)內(nèi)容，包括代碼驗(yàn)證和解驗(yàn)證、代碼確認(rèn)的區(qū)別，人造精確解方法，并給出了精度階驗(yàn)證的實(shí)例。