Verification and validation of TMAP4

The Tritium Migration Analysis Program MODl/CY04 (TMAP4) was written to be used in analyzing experiments and for safety calculations that involve the injection, solution, diffusion, trapping, release, and other related processes experienced by hydrogen isotopes in materials. Because of the desire to make it suitable for analyzing safety issues, it is important that TMAP4 be certified (verified and validated) at Quality Assurance Level A. This report documents the work done to achieve that certification. The process includes assuring that the developed code meets the software requirements specified in the Software Quality Assurance Plan, verifying that the code functions in accordance with the written description and that it is self-consistent and internally correct, and validating that its computed results are in agreement with experimental data and/or known analytical solutions. Quality Level A certification for TMAP4 is specifically for implementation on an IBM PS/2 Model 70 operating under DOS 5.0. Certification for any other environment will require demonstration that all of the verification and validation tests documented here give the same results in the new environment.