計(jì)算科學(xué)與工程領(lǐng)域的計(jì)算機(jī)代碼驗(yàn)證

章代碼驗(yàn)證導(dǎo)論
第二章數(shù)學(xué)模型和數(shù)值算法
2.1 數(shù)學(xué)模型
2.2求解微分方程的數(shù)值方法
2.2.1 術(shù)語
2.2.2 有限差分示例
2.2.3 數(shù)值問題
2.2.4 代碼精度階驗(yàn)證
第三章精度階驗(yàn)證流程(OVMSP)
3.1 靜態(tài)測試
3.2 動態(tài)測試
3.3 精度階驗(yàn)證流程概述
3.4 詳細(xì)流程
3.4.1流程開始(第1步~第3步)
3.4.2 運(yùn)行測試確定誤差(第4步~第5步)
3.4.3 解釋測試結(jié)果(第6步~第10步) ..
3.5小結(jié)
第四章 設(shè)計(jì)覆蓋測試套件
4.1 基本設(shè)計(jì)問題
4.2 與邊界條件相關(guān)的覆蓋問題
4.3 與網(wǎng)格和網(wǎng)格加密相關(guān)的覆蓋問題
第五章 確定精確解
5.1 利用正問題獲得精確解
5.2 人造精確解法
5.2.1人造解構(gòu)建準(zhǔn)則
5.2.2 系數(shù)構(gòu)建方針
5.2.3 示例:人造解構(gòu)建
5.2.4 輔助條件的處理
5.2.5 源項(xiàng)深度探索
5.2.6 精確解的物理現(xiàn)實(shí)·
第六章 精度階驗(yàn)證流程的益處
6.1 編碼錯(cuò)誤分類
6.2簡單的偏微分方程代碼
6.3 盲測
第七章相關(guān)的代碼開發(fā)活動        
7.1數(shù)值算法開發(fā)
7.2 代碼魯棒性測試
7.3 代碼效率測試
7.4 代碼確認(rèn)操作
7.5 解驗(yàn)證
7.6代碼確認(rèn)
7.7 軟件質(zhì)量工程
第八章 代碼驗(yàn)證操作范例
8.1笛卡兒坐標(biāo)中的Burgers方程(代碼1)
8.1.1 具有Dirichlet 邊界條件的穩(wěn)態(tài)解
8.1.2 具有 Neumann 和 Dirichlet 混合條件的穩(wěn)態(tài)解
8.2曲線坐標(biāo)中的Burgers方程(代碼2)
8.2.1 穩(wěn)態(tài)解
8.2.2 非穩(wěn)態(tài)解
8.3不可壓縮Navier-Stokes方程(代碼3)
8.4 可壓縮Navier-Stokes方程(代碼4)
第九章 進(jìn)階主題
9.1 計(jì)算機(jī)平臺
……
第十章 總結(jié)與結(jié)論
參考文獻(xiàn)
附錄