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.