Automated Quality Assurance Analysis: WRF – A Case Study

John Collins, Brian Farrimond, Mark Anderson, Darryl Owens, Darryl Bayliss, David Gill

Research output: Contribution to journalArticle (journal)peer-review

135 Downloads (Pure)


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 ( in collaboration with SimCon Ltd ( has applied these tools to WRF, the most widely used program for modeling climate and weather. Preliminary results have been generated. 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. This paper discusses the classes of error that have been identified to date, presents the initial findings from the investigations performed by the project team.
Original languageEnglish
Pages (from-to)2177-2184
JournalJournal of Software
Issue number9
Publication statusPublished - 1 Sept 2013
EventInternational Conference on Computer Engineering and Technology (ICCET) - Vancouver, Canada
Duration: 13 Apr 201314 Apr 2013


Dive into the research topics of 'Automated Quality Assurance Analysis: WRF – A Case Study'. Together they form a unique fingerprint.

Cite this