On the role of code comparisons in verification and validation.

[摘要] 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.

[发布日期] 2003-08-01 [发布机构] Sandia National Laboratories

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