Verification and Validation in HPC Applications

ORNL is working with RNET on VnV which enables the verification and validation of C and C++ software, with focus on numerical simulations. Software is annotated with extra code for verifying and describing the executed processes, typically making use of generic tools provided by VnV. Unit tests are supported across multiple libraries and may be offloaded to separate processes. Multi-process data may be collected from MPI-based applications. The result from VnV is a detailed report of what occurred during the simulation run that explains why the result can be trusted.