iSAQB CPSA-A FM
iSAQB® CPSA-A - Formal Methods (Curso)
Descripción
Asistir al curso iSAQB® CPSA-A Formal Methods (FM) le otorga a usted 20 Puntos de Competencia Técnica (TC) y 10 Puntos de Competencia Metodológica (MC) 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
El precio del examen global varía según la certificación y su ubicación geográfica.
Reserve un Examen de Certificación
Exámenes Online (Brightest Private Exams)
Exámenes electrónicos para individuos, administrados por un experto de Pearson Vue en tiempo real, a través de una cámara web (también disponible ahora para los exámenes ISTQB).
Exámenes en Centros Acreditados (Brightest Center Exams)
Disponible en varios idiomas, en más de 5200 centros de exámenes, con un registro simplificado a través de la página Brightest del sitio web de Pearson Vue.
Exámenes en Grupo (Brightest Green Exams)
Exámenes electrónicos para grupos con un mínimo de 6 participantes, disponibles en seis idiomas diferentes, en cualquier parte del mundo.
Exámenes en papel (Brightest Paper Exams)
El formato clásico de examen, dirigido a grupos de al menos 6 participantes, en un número creciente de idiomas.