Verification of Computer Codes in Computational Science and Engineering

Author:   Patrick Knupp ,  Kambiz Salari ,  Kambiz Salari
Publisher:   Taylor & Francis Inc
Volume:   Vol. 20
ISBN:  

9781584882640


Pages:   160
Publication Date:   29 October 2002
Format:   Hardback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $326.00 Quantity:  
Add to Cart

Share |

Verification of Computer Codes in Computational Science and Engineering


Add your own review!

Overview

How can one be assured that computer codes that solve differential equations are correct? Standard practice using benchmark testing no longer provides full coverage because today's production codes solve more complex equations using more powerful algorithms. By verifying the order-of-accuracy of the numerical algorithm implemented in the code, one can detect most any coding mistake that would prevent correct solutions from being computed. Verification of Computer Codes in Computational Science and Engineering sets forth a powerful alternative called OVMSP: Order-Verification via the Manufactured Solution Procedure. This procedure has two primary components: using the Method of Manufactured Exact Solutions to create analytic solutions to the fully-general differential equations solved by the code and using grid convergence studies to confirm the order-of-accuracy. The authors present a step-by-step procedural guide to OVMSP implementation and demonstrate its effectiveness.Properly implemented, OVMSP offers an exciting opportunity to identify virtually all coding 'bugs' that prevent correct solution of the governing partial differential equations. Verification of Computer Codes in Computational Science and Engineering shows you how this can be done. The treatment is clear, concise, and suitable both for developers of production quality simulation software and as a reference for computational science and engineering professionals.

Full Product Details

Author:   Patrick Knupp ,  Kambiz Salari ,  Kambiz Salari
Publisher:   Taylor & Francis Inc
Imprint:   Chapman & Hall/CRC
Volume:   Vol. 20
Dimensions:   Width: 15.60cm , Height: 1.40cm , Length: 23.40cm
Weight:   0.180kg
ISBN:  

9781584882640


ISBN 10:   1584882646
Pages:   160
Publication Date:   29 October 2002
Audience:   Professional and scholarly ,  Professional and scholarly ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

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.

Reviews

Author Information

Patrick Knupp, Kambiz Salari

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List