Calidad y auditoría
4 minutos de lectura
- Calidad y auditoría
Verificación formal y métodos formales
- Especificación formal
- Lógicas temporales (LTL, CTL)
- Propiedades de seguridad vs vivacidad
- Modelado de sistemas concurrentes
- TLA+ y lenguajes de especificación de sistemas distribuidos
- Model checking
- Búsqueda exhaustiva de estados
- Verificación de protocolos concurrentes y distribuidos
- Abstracción para reducir el espacio de estados
- Detección automática de violaciones de invariantes
- Pruebas asistidas por SMT/SAT
- SMT solvers (Z3, CVC4)
- Satisfacibilidad con teoría de enteros, arreglos, memoria
- Chequeo automático de pre/post-condiciones
- Bounded model checking
- Demostración asistida (proof assistants)
- Coq / Isabelle / Lean
- Pruebas de corrección funcional de algoritmos críticos
- Extracción de código certificado
- Verificación de propiedades criptográficas
- Aplicaciones prácticas de métodos formales
- Verificación de hardware (circuitos, buses)
- Protocolos criptográficos y de consenso
- Sistemas de control industrial y automoción
- Software de infraestructura crítica (aviación, salud, nuclear)
- Especificación formal
Testing y aseguramiento de calidad
- Pruebas unitarias
- Pruebas de funciones puras y lógica de negocio local
- Aislamiento de dependencias mediante mocks y stubs
- Estructura AAA (Arrange / Act / Assert)
- Casos borde y entradas inválidas
- Diseño orientado a test (TDD)
- Pruebas de integración
- Integración entre módulos internos
- Integración con servicios externos reales o simulados
- Pruebas con base de datos en entorno controlado
- Migraciones de esquema y compatibilidad de datos
- Configuración, semillas y limpieza de datos entre pruebas
- Pruebas de extremo a extremo
- Flujos completos de usuario
- Validación de requisitos funcionales
- Escenarios críticos de negocio
- Ambientes lo más cercanos a producción
- Automatización de journeys repetibles
- Pruebas de contrato entre servicios
- Productor vs consumidor
- Versionamiento de contratos y compatibilidad retroactiva
- Validación de esquemas y payloads
- Fallos ante cambios no autorizados en la API
- Publicación y validación automática en CI
- Pruebas basadas en instantáneas y estados esperados
- Captura de salidas esperadas complejas
- Control de regresiones visuales / estructurales
- Revisión y actualización intencional de snapshots
- Limitaciones y falsos positivos
- Simulación de dependencias externas y uso de dobles de prueba
- Stubs, mocks, spies y fakes
- Simulación de errores remotos, timeouts y latencia
- Emulación de colas, storage, servicios externos
- Test harnesses para componentes desacoplados
- Pruebas basadas en propiedades
- Generación aleatoria de entradas
- Invariantes y leyes que siempre deben cumplirse
- Minimización de casos que fallan (shrinking)
- Detección de clases de comportamiento inesperadas
- Métricas de cobertura y criterios de calidad
- Cobertura de líneas, ramas, paths lógicos y mutación
- Umbrales mínimos aceptables
- Cobertura útil vs cobertura artificial
- Detección de código muerto o no ejercitado
- Análisis estático y linters
- Análisis sintáctico y estilo
- Análisis semántico y tipos
- Detección temprana de errores comunes
- Reglas personalizadas alineadas a la guía interna
- Integración con el flujo de desarrollo
- Análisis de seguridad automatizado
- Escaneo de dependencias vulnerables
- Detección de secretos en repositorios
- Validación de políticas de autenticación y autorización
- Pruebas dinámicas de seguridad (DAST)
- Endurecimiento de superficie de ataque en CI/CD
- Ejecución automática de pruebas en pipelines de entrega
- Gates de calidad antes de desplegar
- Matrices de entornos / versiones / configuraciones
- Paralelización y reducción de tiempos de feedback
- Reportes automáticos y bloqueo en caso de fallos
- Reejecución selectiva de suites relevantes
- Pruebas unitarias
Procesos de calidad y auditoría
- Integración continua y despliegue continuo
- Validación automática por commit / merge request
- Políticas de ramas, versionado y tagging
- Despliegues progresivos, canary y blue/green
- Rollbacks controlados y reversibilidad segura
- Control de versiones de dependencias externas
- Fijación de versiones (pinning)
- Auditoría de cambios en librerías y SDKs
- Renovación y caducidad de dependencias
- Gestión de SBOM (Software Bill of Materials)
- Revisión de código estructurada y guías internas
- Estándares de revisión técnica y funcional
- Reglas de aprobación mínima y roles responsables
- Comentarios accionables y trazables
- Prevención de deuda técnica introducida
- Auditorías de seguridad y cumplimiento normativo
- Revisión de superficie de ataque
- Gestión de accesos, llaves y secretos
- Modelado de amenazas y evaluación de riesgo
- Verificación de procesos frente a regulaciones aplicables
- Aseguramiento de calidad (QA) y control de calidad (QC)
- QA como prevención de defectos
- QC como detección de defectos
- Estrategias de validación manual y exploratoria
- Priorización de defectos según impacto
- Métricas de calidad operacional
- Densidad de defectos
- Tasa de fallos por despliegue
- MTTR (tiempo medio de recuperación)
- Disponibilidad y SLO/SLA cumplidos
- Pruebas de aceptación y regresión
- Validación contra criterios de negocio acordados
- Suites de regresión automatizadas
- Prevención de reaparición de bugs antiguos
- Validación previa a hitos de lanzamiento
- Estándares de codificación y criterios de aprobación
- Convenciones de estilo y formato
- Reglas de documentación mínima por cambio
- Política de logging y manejo de errores
- Restricciones de complejidad ciclomática y acoplamiento
- Pruebas no funcionales
- Pruebas de rendimiento y latencia
- Pruebas de carga, estrés y escalabilidad
- Pruebas de resiliencia y tolerancia a fallos
- Pruebas de consumo de recursos y costos
- Documentación de calidad y trazabilidad
- Registro de decisiones técnicas (ADR)
- Historial de cambios funcionales y de infraestructura
- Evidencia de validación y certificación
- Mapeo requisito → prueba → resultado
- Cumplimiento de marcos y certificaciones de la industria
- Controles y requisitos regulatorios aplicables
- Estándares de seguridad y privacidad de datos
- Ciclos de reevaluación y recertificación
- Responsabilidades legales y de auditoría externa
- Evaluaciones posteriores al lanzamiento y mantenimiento preventivo
- Post-mortems y análisis de incidentes
- Gestión de deuda técnica acumulada
- Planificación de parches y actualizaciones rutinarias
- Observabilidad continua y alertas tempranas
- Integración continua y despliegue continuo