Measuring progress in order-verification within software development projects |
| |
Authors: | Patrick Knupp Curtis C. Ober Ryan B. Bond |
| |
Affiliation: | (1) Sandia Natinal Laboratories, P.O. Box 5800, Albuquerque, NM 87185, USA;(2) Department 1411, Optimization and Uncertainty Estimation, Albuquerque, MS 1318, USA;(3) Department 1433, Exploratory Simulation Technologies, Albuquerque, MS 0316, USA;(4) Aerosciences Department 1515, Albuquerque, MS 0825, USA |
| |
Abstract: | This document proposes one answer to the question: how does one measure and communicate progress in code verification? The question is addressed within the scope of verifying the order-of-accuracy of codes that solve partial differential equations. A process is described whereby order-verification exercises may be conducted within software development projects. The process entails domain-definition, test-suite construction, and test-suite demonstration phases. Progress measures are proposed to monitor the latter two phases particularly with regard to how close they are to completion. A fitness measure is introduced which measures the verification-fitness of a code relative to a given application. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|