On the role of code comparisons in verification and validation.

Oberkampf, William Louis ; Trucano, Timothy Guy ; Pilch, Martin M.

Sandia National Laboratories

关键词: 99 General And Miscellaneous//Mathematics, Computing, And Information Science;    Verification;    Computer Codes;    Comparative Evaluations;    Security;   

DOI  :  10.2172/918244
RP-ID  :  SAND2003-2752
RP-ID  :  AC04-94AL85000
RP-ID  :  918244

美国|英语

来源: UNT Digital Library

【 摘 要 】

This report presents a perspective on the role of code comparison activities in verification and validation. We formally define the act of code comparison as the Code Comparison Principle (CCP) and investigate its application in both verification and validation. One of our primary conclusions is that the use of code comparisons for validation is improper and dangerous. We also conclude that while code comparisons may be argued to provide a beneficial component in code verification activities, there are higher quality code verification tasks that should take precedence. Finally, we provide a process for application of the CCP that we believe is minimal for achieving benefit in verification processes.