El desarrollo de software para el análisis de centrales nucleares, relacionados con la administración del combustible y la seguridad en la operación del reactor nuclear, viene creciendo y evolucionando en los últimos años como un medio para mejorar y asegurar niveles satisfactorios de disponibilidad y seguridad de la planta.
La importancia de la seguridad del núcleo de un reactor nuclear ha causado interés y preocupación por la fiabilidad de los programas de cómputo empleados, también denominados códigos o software, y la justificación de sus resultados. Al efecto, el equipo de trabajo dedicado a la verificación y validación de los códigos que se desarrollan en la plataforma AZTLAN, tiene como objetivo demostrar que el software desarrollado se ejecuta correctamente y comprobar que aporta resultados aceptables; esto requiere de realizar pruebas al software para determinar que realiza todas las funciones especificadas por completo, correctamente, consistentemente y con precisión, además de comparar las variables de interés con códigos validados. Durante el proceso de validación, se mide el rendimiento de los códigos desarrollados desde la Plataforma AZTLAN comparándolos con resultados de problemas de referencia, conocidos como Benchmarks, y se evalúan los datos de entrada y variables con respecto a la integridad, exactitud y consistencia de los resultados, con el propósito de demostrar que los códigos cumplen con las funciones específicas para las que fueron desarrollados, además de detectar las limitaciones que podrían tener.
Los reportes de verificación y validación de los códigos de AZTLAN, describen los resultados de ejecución de cada código en particular, conforme a la norma 1012-2012 – IEEE “Standard for System and Software Verification and Validation”. La documentación describe y especifica los datos requeridos y el control de entradas, secuencias de entradas, opciones, limitaciones del código, y otras actividades o elementos necesarios para la ejecución del software; donde todos los mensajes de errores que aporten los archivos de salida, deben ser identificados y proporcionar las instrucciones necesarias para corregirlos.
