.png){kind=icon}
.png){kind=icon}
Return
Measuring progress in order-verification within software development projects
.png){kind=icon}
PRE
AI
DOI：10.1007/s00366-007-0066-x.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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.
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
4.9
Papers:
2.6K
Citations:
9.3K
Organization
No organization information available