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