MASA : a library for verification using manufactured and analytical solutions

Nicholas Malaya, Kemelli C. Estacio-Hiroms, Roy H. Stogner, Karl W. Schulz, Paul T. Bauman, Graham F. Carey
2012 Engineering with Computers  
In this paper we introduce the Manufactured Analytical Solution Abstraction (MASA) library for applying the method of manufactured solutions to the verification of software used for solving a large class of problems stemming from numerical methods in mathematical physics including nonlinear equations, systems of algebraic equations, and ordinary and partial differential equations. We discuss the process of scientific software verification, manufactured solution generation using symbolic
more » ... tion with computer algebra systems such as Maple TM or SymPy, and automatic differentiation for forcing function evaluation. We discuss a hierarchic methodology that can be used to alleviate the combinatorial complexity in generating symbolic manufactured solutions for systems of equations based on complex physics. Finally, we detail the essential features and examples of the Application Programming Interface behind MASA, an open source library designed to act as a central repository for manufactured and analytical solutions over a diverse range of problems.
doi:10.1007/s00366-012-0267-9 fatcat:xm4b3l5245glbdmk2dfbjfmrfy