Open AccessCertainty in Stockpile Computing: Recommending a Verification and Validation Program for Scientific Software
Author(s) -
J.R. Lee
Publication year - 1998
Language(s) - English
Resource type - Reports
DOI - 10.2172/1901
Subject(s) - stockpile , certainty , computer science , software engineering , software , software verification , verification and validation , programming language , software construction , software system , engineering , mathematics , operations management , political science , geometry , law
As computing assumes a more central role in managing the nuclear stockpile, the consequences of an erroneous computer simulation could be severe. Computational failures are common in other endeavors and have caused project failures, significant economic loss, and loss of life. This report examines the causes of software failure and proposes steps to mitigate them. A formal verification and validation program for scientific software is recommended and described