P101     QA Analysis of the WRF Program

Anderson, Mark, Edge Hill University, England, Brian Farrimond, University of Cape Town, South Africa, and John Collins, SimCon Ltd., England

Powerful software tools are used by the aerospace and power generation communities to check codes for errors.  The Software Validation Project at Edge Hill University (http://www.edgehill.ac.uk) in collaboration with SimCon Ltd (http://www.simconglobal.com) has applied these tools to WRF, and preliminary results are reported.  Although the WRF code has been found to be of a very high standard, some errors have been identified, both in the code and in the compilers used to build it.  An aim of the project is to use CASE tools to correct some classes of error automatically.