Automated continuous verification and validation for numerical simulation

Introduction Conclusions References

[1]  Eric Jones,et al.  SciPy: Open Source Scientific Tools for Python , 2001 .

[2]  C C Pain,et al.  Anisotropic mesh adaptivity for multi-scale ocean modelling , 2009, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[3]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[4]  P. Roache.  Code Verification by the Method of Manufactured Solutions , 2002 .

[5]  J. Tinsley Oden,et al.  Verification and validation in computational engineering and science: basic concepts , 2004 .

[6]  Lloyd N. Trefethen.  IV.21 Numerical Analysis , 2010 .

[7]  K. Hamilton.  Gravity Currents in the Environment and the Laboratory , 1998 .

[8]  H. Stommel,et al.  The westward intensification of wind‐driven ocean currents , 1948 .

[9]  C.R.E. de Oliveira,et al.  Tetrahedral mesh optimisation and adaptivity for steady-state and transient finite element calculations , 2001 .

[11]  P. Swarztrauber,et al.  A standard test set for numerical approximations to the shallow water equations in spherical geometry , 1992 .

[12]  C. Bruneau,et al.  The 2D lid-driven cavity problem revisited , 2006 .

[13]  O. Botella,et al.  BENCHMARK SPECTRAL RESULTS ON THE LID-DRIVEN CAVITY FLOW , 1998 .

[14]  William L. Oberkampf,et al.  Guide for the verification and validation of computational fluid dynamics simulations , 1998 .

[15]  P. P. Brown,et al.  Sphere Drag and Settling Velocity Revisited , 2003 .

[16]  K. Popper,et al.  The Logic of Scientific Discovery , 1960 .

[17]  Michael Pilato.  Version Control with Subversion , 2004 .

[18]  William Schroeder,et al.  The Visualization Toolkit: An Object-Oriented Approach to 3-D Graphics , 1997 .

[19]  Matthew D. Piggott,et al.  The impact of mesh adaptivity on the gravity current front speed in a two-dimensional lock-exchange , 2011 .

[20]  Andrew J. Mitchell,et al.  Numerical modelling of tsunami propagation with implications for sedimentation in ancient epicontinental seas: The Lower Jurassic Laurasian Seaway , 2010 .

[21]  William E. Howden,et al.  Reliability of the Path Analysis Testing Strategy , 1976, IEEE Transactions on Software Engineering.

[22]  Timothy G. Trucano,et al.  Verification and Validation in Computational Fluid Dynamics , 2002 .

[23]  Colin J. Cotter,et al.  Spud 1.0: generalising and automating the user interfaces of scientific computer models , 2008 .

[24]  M. Gerritsen,et al.  An unstructured-grid, finite-volume, nonhydrostatic, parallel coastal ocean simulator , 2006 .

[25]  Beth A. Wingate,et al.  A better, more discriminating test problem for ocean tracer transport , 2000 .

[26]  Francis X. Giraldo,et al.  A study of spectral element and discontinuous Galerkin methods for the Navier-Stokes equations in nonhydrostatic mesoscale atmospheric modeling: Equation sets and test cases , 2008, J. Comput. Phys..

[27]  Patrick Knupp,et al.  Code Verification by the Method of Manufactured Solutions , 2000 .

[28]  C. Michael Pilato,et al.  Subversion 1.6 Official Guide - Version Control with Subversion , 2009 .

[29]  Dale B. Haidvogel,et al.  Numerical Ocean Circulation Modeling , 1999 .

[30]  Hugh W. Coleman,et al.  VERIFICATION AND VALIDATION OF CFD SIMULATIONS , 1999 .

[31]  Christopher C. Pain,et al.  A new computational framework for multi‐scale ocean modelling based on adapting unstructured meshes , 2008 .

[32]  Curtis C. Ober,et al.  Measuring progress in order-verification within software development projects , 2007, Engineering with Computers.

[33]  J. Douglas Faires,et al.  Numerical Analysis , 1981 .

[34]  Timothy G. Trucano,et al.  Verification and validation. , 2005 .

[35]  M. Kendall,et al.  The Logic of Scientific Discovery. , 1959 .

[36]  Eckart Meiburg,et al.  Analysis and direct numerical simulation of the flow at a gravity-current head. Part 1. Flow topology and front speed for slip and no-slip boundaries , 2000, Journal of Fluid Mechanics.

[37]  E. Erturk,et al.  Numerical solutions of 2‐D steady incompressible driven cavity flow at high Reynolds numbers , 2004, ArXiv.

[38]  C.R.E. de Oliveira,et al.  Three-dimensional unstructured mesh ocean modelling , 2005 .