Herramientas y técnicas
para la verificación y validación
Análisis estático de código
Simuladores de PLC
Pruebas de caja negra y caja blanca
Trazabilidad de requisitos
Análisis estático de código Herramientas automáticas que detectan errores comunes, vulnerabilidades y violaciones de normas de programación segura.
Simuladores de PLC Permiten ejecutar el programa sin hardware real, facilitando la prueba de múltiples escenarios.
Pruebas de caja negra y caja blanca La caja negra se basa en la comprobación de entradas y salidas sin conocer el código interno, mientras que la caja blanca implica el análisis del código y estructura interna.
Trazabilidad de requisitos Se mantiene un registro que relaciona cada requisito de seguridad con las pruebas realizadas y los resultados obtenidos.
9.2 - 4 Botones
CESUR
Created on January 30, 2026
Start designing with a free template
Discover more than 1500 professional designs like these:
View
Puzzle Diagram
View
Gear Diagram
View
Square Timeline Diagram
View
Timeline Diagram
View
Timeline Diagram 3
View
Timeline Diagram 4
View
Timeline Diagram 2
Explore all templates
Transcript
Herramientas y técnicas
para la verificación y validación
Análisis estático de código
Simuladores de PLC
Pruebas de caja negra y caja blanca
Trazabilidad de requisitos
Análisis estático de código Herramientas automáticas que detectan errores comunes, vulnerabilidades y violaciones de normas de programación segura.
Simuladores de PLC Permiten ejecutar el programa sin hardware real, facilitando la prueba de múltiples escenarios.
Pruebas de caja negra y caja blanca La caja negra se basa en la comprobación de entradas y salidas sin conocer el código interno, mientras que la caja blanca implica el análisis del código y estructura interna.
Trazabilidad de requisitos Se mantiene un registro que relaciona cada requisito de seguridad con las pruebas realizadas y los resultados obtenidos.