Integración y verificación
[RQ-10-09] te exige verificar que la implementación cumple con la especificación de ciberseguridad. [RC-10-12] recomienda pruebas de componentes, con fuzz testing y escaneo de vulnerabilidades, para minimizar las debilidades no identificadas. Eso es exactamente lo que hacen la enumeración, las comprobaciones de SecurityAccess y el fuzzing de AutoST, de forma repetible.
