Descripción
Asistir al curso iSAQB® CPSA-A Formal Methods (FM) le otorga a usted 10 Puntos de Competencia Técnica (TC), 10 Puntos de Competencia Metodológica (MC) y 10 Puntos de Competencia Comunicativa (CC), que contribuyen a los 70 puntos necesarios para ser elegible para el examen iSAQB CPSA-A con Brightest. Es importante recordar que, como parte de los 70 puntos requeridos para tomar el examen iSAQB CPSA-A con Brightest, usted necesitará al menos diez puntos de competencia en cada una de las siguientes áreas:
- Competencia Técnica (TC)
- Competencia Metodológica (MC)
- Competencia Comunicativa (CC)
La formación acreditada iSAQB® FM - Formal Methods (CPSA-A) se basa en el plan de estudios actual de iSAQB®:
Parte 1 - Lógica
- Conocer la estructura básica de la lógica proposicional
- Conocer la estructura básica de la lógica de predicados/primer orden
- Conocer la estructura básica de los operadores temporales
- Comprender los conceptos básicos de un cálculo lógico
- Comprender la diferencia entre la lógica intuicionista y la clásica
Parte 2 - Especificación e Implementación
- Diferenciar las nociones de especificación
- Comprender que las especificaciones pueden pertenecer a diferentes tipos de componentes
- Comprender que las especificaciones pueden pertenecer a diferentes cualidades
- Diferenciar entre especificaciones formales y otros tipos de especificaciones
- Conocer las propiedades distintivas de al menos tres lenguajes de especificación diferentes
- Comprender la noción de refinamiento
Parte 3 - Métodos Formales y el Proceso de Desarrollo
- Identificar dónde son aplicables los métodos formales
- Conocer las cualidades relevantes que indican el uso de métodos formales
- Comprender la relevancia de la especificación precisa
- Conocer las compensaciones entre los métodos formales
- Introducir los métodos formales gradualmente
- Seleccionar métodos formales apropiados
- Evaluar la arquitectura con métodos formales
Parte 4 - Herramientas
- Aplicar pruebas basadas en propiedades
- Comprender el rol de los sistemas de tipos
- Aplicar la verificación de modelos para verificar propiedades de autómatas
- Aplicar asistentes de prueba para verificar propiedades de sistemas de software arbitrarios
- Aplicar solucionadores SMT para verificar las restricciones de sistemas de software arbitrarios
- Aplicar la interpretación abstracta para predecir el comportamiento dinámico de forma estática
Público objetivo
El seminario CPSA-A de Métodos Formales es particularmente valioso para usted si busca implementar técnicas y arquitecturas para asegurar la corrección de su sistema de software.
Requisitos
Para unirse a cualquier curso iSAQB® CPSA - Advanced Level, usted debe tener el certificado iSAQB® Certified Professional for Software Architecture - Foundation Level (CSPA-F).
Requisitos de conocimientos:
Usted debe tener los siguientes conocimientos previos:
- Conocimientos básicos de álgebra
- Conocimientos básicos de lógica
Los conocimientos en las siguientes áreas pueden ayudarle a comprender algunos conceptos tratados en este curso:
- Programación funcional
- Razonamiento ecuacional sobre programas
- Semántica de lenguajes de programación
¡Los planes de estudio y los exámenes de muestra vienen pronto!
¡Los planes de estudio y los exámenes de muestra vienen pronto!
