Verificación y Análisis de Sistemas Informáticos

Título original:

Verification and Analysis of Computer Systems

Contenido del libro:

La verificación de sistemas informáticos es una actividad que consiste en evaluar la coherencia, integridad y corrección del software y su documentación de apoyo durante su desarrollo.

Confirma y revisa las tareas dentro del proceso de validación del sistema informático. La validación de sistemas informáticos (CSV), o validación de software, es el proceso para verificar que un sistema informático es capaz de realizar su uso previsto y puede funcionar como se espera.

El clásico "diagrama en V" es la metodología más utilizada en los proyectos de validación. Esta metodología consta de varias fases: planificación de la validación, especificación de los requisitos de usuario (URS), especificaciones funcionales, especificaciones de diseño, construcción del sistema, pruebas de cualificación de la instalación (IQ), pruebas de cualificación operativa (OQ), pruebas de cualificación del rendimiento (PQ) y elaboración de informes. Este libro pretende arrojar luz sobre la verificación y el análisis de los sistemas informáticos.

Se compone de contribuciones realizadas por expertos internacionales. Este libro, con sus análisis y datos detallados, resultará inmensamente beneficioso para los profesionales y estudiantes implicados en esta área de la informática a diversos niveles.