Patrick Knupp, Kambiz Salari

Verification of Computer Codes in Computational Science and Engineering (eBook, PDF)

• Format: PDF

Produktbeschreibung

How can one systematically show that computer codes are correctly solving equations? Verification of Computer Codes in Computational Science and Engineering sets forth a powerful procedure called OVMSP: Order-Verification via the Manufactured Solution Procedure. Properly implemented, OVMSP offers an exciting opportunity to identify virtually all coding 'bugs' that prevent correct solution of the governing partial differential equations. This book presents a step-by-step guide to OVMSP and demonstrates its effectiveness. The treatment is clear, concise, and suitable for developers of production quality simulation software and as a reference for computational science and engineering professionals.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis
• Seitenzahl: 160
• Erscheinungstermin: 29. Oktober 2002
• Englisch
• ISBN-13: 9781420035421
• Artikelnr.: 52968218

Autorenporträt

Patrick Knupp, Kambiz Salari

Inhaltsangabe

Introduction to Code Verification. The Mathematical Model and Numerical
Algorithm. The Code Verification Procedure. Design of Coverage Test Suite.
Finding Exact Solutions. Benefits of the Order-Verification Procedure.
Related Code Development Activities. Sample Code Verification Exercises.
Advanced Topics. Summary and Conclusions. References. Appendices. Index.