Fundamentos de Análisis de Programas y Verificación Estática

La complejidad del software está creciendo rápidamente, haciendo que la revisión manual del código y las pruebas tradicionales sean insuficientes para detectar errores críticos y vulnerabilidades de seguridad.El análisis de programas proporciona los fundamentos matemáticos y las herramientas automatizadas para verificar la corrección del software antes de que se ejecute. Este curso le equipa con los conceptos fundamentales y las técnicas modernas necesarias para analizar, verificar y optimizar el software.Usted pasará de escribir código a razonar sistemáticamente sobre su comportamiento y propiedades de seguridad. Qué aprenderá: Comprender los principios básicos del análisis de programas estáticos y la verificación formal; Explorar los sistemas de comprobación de tipos y cómo los compiladores modernos garantizan la seguridad de los tipos; Aplicar la interpretación abstracta para aproximar el comportamiento del programa sin ejecutar el código; Descubrir técnicas de comprobante de modelos para verificar sistemáticamente los requisitos de software Desarrollar aplicaciones de alto rendimiento con Java EE 7; Implementar y administrar sistemas de tipos y estados; Integrar herramientas de análisis estático en flujos de trabajo de desarrollo modernos y tuberías de CI / CD. Comenzamos con la terminología clave y los fundamentos matemáticos esenciales del comportamiento del programa. Este curso está diseñado para desarrolladores de software, estudiantes de ciencias de la computación y aspirantes a investigadores de seguridad que desean comprender cómo funciona el código bajo el capó.No se requiere experiencia previa con métodos formales, ya que construimos todos los conceptos desde cero.Comience a leer hoy para construir sistemas de software más confiables y seguros.