• DocumentCode
    1307094
  • Title

    Software Testing and Verification in Climate Model Development

  • Author

    Clune, Thomas L. ; Rood, Richard B.

  • Author_Institution
    Goddard Space Flight Center, NASA, Greenbelt, MD, USA
  • Volume
    28
  • Issue
    6
  • fYear
    2011
  • Firstpage
    49
  • Lastpage
    55
  • Abstract
    Over the past 30 years, most climate models have grown from relatively simple representations of a few atmospheric processes to complex multidisciplinary systems. Computer infrastructure over that period has gone from punchcard mainframes to modern parallel clusters. Model implementations have become complex, brittle, and increasingly difficult to extend and maintain. Verification processes for model implementations rely almost exclusively on some combination of detailed analyses of output from full climate simulations and system-level regression tests. Besides being costly in terms of developer time and computing resources, these testing methodologies are limited in the types of defects they can detect, isolate, and diagnose. Mitigating these weaknesses of coarse-grained testing with finer-grained unit tests has been perceived as cumbersome and counterproductive. Recent advances in commercial software tools and methodologies have led to a renaissance of systematic fine-grained testing. This opens new possibilities for testing climate-modeling-software methodologies.
  • Keywords
    climatology; digital simulation; geophysics computing; program diagnostics; program testing; program verification; atmospheric process; climate model development; climate simulation; computer infrastructure; computing resources; defect detection; defect diagnosis; defect isolation; parallel clusters; software testing; software verification; system-level regression test; verification process; Atmospheric measurements; Atmospheric modeling; Computational modeling; Global warming; Meteorology; Numerical models; Software development; program verification; software engineering; testing and debugging; testing strategies;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/MS.2011.117
  • Filename
    5999647